L∃AN together – live stream schedule

Summary

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. Live program 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.