Date Start Time - End Time Speaker Talk Title
Monday 9:30 AM - 9:50 AM Coffee
9:50 AM - 10:00 AM Vijay Ganesh Opening Remarks
10:00 AM - 11:00 AM Pascal Poupart Reinforcement Learning - An introduction and robustness issue
11:00 AM - 11:30 AM Coffee Break
11:30 AM - 12:30 PM Nicolas Papernot A Marauder's Map of Security and Privacy in Machine Learning
12:30 PM - 2:00 PM Lunch
2:00 PM - 3:00 PM Bo Li Secure learning in adversarial environments
3:00 PM - 3:30 PM Coffee Break
3:30 PM - 4:30 PM Dirk Nowotka Robust Neural Networks
4:30 PM End of Day
Tuesday 8:30 AM - 9:00 AM Coffee
9:00 AM - 10:00 AM Mayur Naik Learning to Reason about Programs
10:00 AM - 10:30 AM Coffee Break
10:30 AM - 11:30 AM Vijay Ganesh Machine Learning for SAT Solvers
11:30 AM - 12:30 PM Yaoliang Yu Adversarial Machine Learning: Old and New
12:30 PM - 2:00 PM Lunch
2:00 PM - 3:00 PM Prateek Saxena The Symbiosis of Program Analysis and Machine Learning
3:00 PM - 3:30 PM Coffee Break
3:30 PM - 4:30 PM Alexey Kurakin Neural network verification of adversarial robustness
4:30 PM End of Day
Wednesday 8:30 AM - 9:00 AM Coffee
9:00 AM - 10:00 AM Florian Kerschbaum On the robustness of watermarking neural networks
10:00 AM - 10:30 AM Coffee Break
10:30 AM - 11:30 AM Yichen Yang + Martin Rinard Correctness verification of neural networks
11:30 AM - 12:30 PM Arie Gurfinkel Machine Learning and Invariant Synthesis
12:30 PM - 2:00 PM Lunch
2:00 PM - 3:00 PM Kshitij Bansal Machine Learning of Higher-Order Theorem Proving
3:00 PM End of Day
5:00 PM Vector Networking Reception Location: E7, 2nd floor atrium (Map) . Register here. (Password:Vector123)
Thursday 8:30 AM - 9:00 PM Coffee
9:00 AM - 10:00 AM Kuldeep Meel Formal Methods and AI: Yet Another Entanglement
10:00 AM - 10:30 AM Coffee Break
10:30 AM - 11:30 AM Gagandeep Singh Safe and Robust Deep Learning
11:30 AM - 12:30 PM Aleksander Madry Adversarial Robustness: Theory, Practice and Beyond
12:30 PM - 2:00 PM Lunch
2:00 PM - 3:00 PM Antonina Kolokolova Proof Complexity of SAT/SMT Solvers
3:00 PM - 3:30 PM Coffee Break
3:30 PM - 4:30 PM Elias Khalil Machine Learning for Integer Programming: Opportunities, Methods, and Impact
4:30 PM End of Day
7:00 PM Speakers Dinner
Friday 8:30 AM - 9:00 AM Coffee
9:00 AM - 10:00 AM Krzysztof Czarnecki Assuring safety of machine-learned perception functions for automated driving
10:00 AM - 10:30 AM Coffee Break
10:30 AM - 11:30 AM Nina Narodytska Logic-based verification and explanation of neural networks.
11:30 AM - 12:30 PM Craig Larson Automated Conjecturing in Mathematics - with the CONJECTURING Program
12:30 PM - 2:00 PM Lunch
2:00 PM - 3:00 PM Sebastian Wetzel Interpreting Neural Networks in the Context of Physical Phase Diagrams
3:00 PM End of Day
7:00 PM Workshop Dinner