Thursday

On the constructive content of infinitary classical theories
10:00 am - 11:00 am
by Sara Negri

Break
11:00 am - 11:30 am

Proof Assistants Foundations
11:30 am - 12:30 pm
chair: Jesper Cockx

Lunch
12:30 pm - 1:30 pm

Modal Type Theory
1:30 pm - 2:15 pm
chair: Conor McBride

Break
2:15 pm - 2:30 pm

Business Meeting
2:30 pm - 3:30 pm

Social Gathering
5:00 pm - 6:00 pm
This is open-ended. 🙂