Wednesday

Logical and Semantic Principles
10:00 am - 11:00 am
chair: Herman Geuvers

Break
11:00 am - 11:30 am

Model Theory
11:30 am - 12:30 pm
chair: Fredrik Nordvall Forsberg

Lunch
12:30 pm - 1:30 pm

Proof Theory
1:30 pm - 2:15 pm
chair: Delia Kesner

Break
2:15 pm - 2:30 pm

Working Groups
2:30 pm - 4:00 pm