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) |
8:30 am – 9:30 am |
Kuldeep Meel (National University of Singapore) |
|
9:30 am – 10:30 am |
Nikolaj Björner (Microsoft Research) |