The event will be held as a webinar, and if you have problems, please contact the event organizers directly: Mathias Preiner <preiner@cs.stanford.edu> and Aina Niemetz <niemetz@cs.stanford.edu>.

YouTube video: https://www.youtube.com/watch?v=KYqFhpvQ05Y

Sessions

• Session 2 (Jul 21 08:00-09:00) Logic Lounge