8:20 am – 8:30 am |
Introductions |
|
8:30 am – 10:30 am |
Valentine Kabanets (Simon Fraser University) |
8:30 am – 10:30 am |
Armin Biere (Johannes Kepler University) |
8:30 am – 10:30 am |
Sam Buss (UC San Diego) |
8:30 am – 10:30 am |
Jakob Nordström (University of Copenhagen & Lund University) |