Talks will run for around four hours each day (including breaks). We will stagger the start times to accommodate different time zones.
We have scheduled a mix of casual and more formal presentations. Talks were selected to create a balanced, interesting, and diverse program rather than by ranking each proposal in a fixed order.
Recordings of all talks are on the Lean community YouTube channel.
Times below are displayed in your browser time zone, . You can also view the schedule on https://researchseminars.org.