16:00-17:00 | Online - Zoom meeting
Special talk by Mariya Toneva on Data-Driven Transfer of Insight between Brains and AI Systems
Mon01Mar
17:00-18:00 | Online - Zoom meeting
Special talk by Talia Ringer on Proof Engineering Tools for a New Era
Tue09Mar
17:00-18:00 | Online - Zoom meeting
Special talk by Chenglong Wang on Bridging the "Programmability Gap" with Program Synthesis
Wed10Mar
15:00-16:00 | Online -Zoom meeting
Special talk by Toby Li on Human-Centered Interactive Systems for Configuring, Extending, and Developing AI Applications
Thu11Mar
17:00-18:00 | Online - Zoom meeting
Special talk by Florian Tramer on Measuring and Enhancing the Security of Machine Learning