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 |
Supratik Chakraborty (IIT Bombay) |
8:30 am–10:30 am |
Ambros Gleixner (Zuse Institute Berlin and HTW Berlin) |
8:30 am–10:30 am |
Torsten Schaub (University of Potsdam) |
8:30 am–10:30 am |
Jeremias Berg (University of Helsinki), Matti Järvisalo (University of Helsinki), and Ruben Martins (Carnegie Mellon University) |
8:30 am–10:30 am |
Bart Bogaerts (Vrije Universiteit Brussel) |
8:30 am–10:30 am |
Martina Seidl (Johannes Kepler University Linz), Florian Lonsing (Stanford University) |
8:30 am–10:30 am |
Mikoláš Janota (Czech Technical University) |
8:30 am–10:30 am |
Aida Khajavirad (Lehigh University) |