Beyond Satisfiability
Next event (Weekly): May 11, 2021 View all dates
All scheduled dates:
- Feb 9, 2021 (ended)
- Feb 16, 2021 (ended)
- Feb 23, 2021 (ended)
- Mar 9, 2021 (ended)
- Mar 16, 2021 (ended)
- Mar 23, 2021 (ended)
- Mar 30, 2021 (ended)
- Apr 6, 2021 (ended)
- Apr 13, 2021 (ended)
- Apr 20, 2021 (ended)
- Apr 27, 2021 (ended)
- May 4, 2021 (ended)
- May 11, 2021
| 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) |
