8:30 am – 10:30 am |
Kuldeep Meel (National University of Singapore) |
8:30 am – 10:30 am |
Daniela Kaufmann (Johannes Kepler University Linz) |
8:30 am – 10:30 am |
Romain Wallon (Laboratoire d'informatique de l'École polytechnique) & Daniel Le Berre (Université d'Artois) |
8:30 am – 10:30 am |
Adnan Darwiche (UCLA) |
8:30 am – 10:30 am |
Ciaran Mccreesh (University of Glasgow) |
8:30 am – 10:30 am |
TBD |
8:30 am – 10:30 am |
Ambros Gleixner (Zuse Institute Berlin) |