Workshops
Spring 2021

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 
Add to My Calendar
Tuesday, February 9th, 2021
8:30 am10:30 am
Kuldeep Meel (National University of Singapore)
Tuesday, February 16th, 2021
8:30 am10:30 am
Daniela Kaufmann (Johannes Kepler University Linz)
Tuesday, February 23rd, 2021
8:30 am10:30 am
Romain Wallon (Laboratoire d'informatique de l'École polytechnique) & Daniel Le Berre (Université d'Artois)
Tuesday, March 9th, 2021
8:30 am10:30 am
Adnan Darwiche (UCLA)
Tuesday, March 16th, 2021
8:30 am10:30 am
Ciaran Mccreesh (University of Glasgow)
Tuesday, March 23rd, 2021
8:30 am10:30 am
Supratik Chakraborty (IIT Bombay)
Tuesday, March 30th, 2021
8:30 am10:30 am
Ambros Gleixner (Zuse Institute Berlin and HTW Berlin)
Tuesday, April 6th, 2021
8:30 am10:30 am
Torsten Schaub (University of Potsdam)
Tuesday, April 13th, 2021
8:30 am10:30 am
Jeremias Berg (University of Helsinki), Matti Järvisalo (University of Helsinki), and Ruben Martins (Carnegie Mellon University)
Tuesday, April 20th, 2021
8:30 am10:30 am
Bart Bogaerts (Vrije Universiteit Brussel)
Tuesday, April 27th, 2021
8:30 am10:30 am
Martina Seidl (Johannes Kepler University Linz), Florian Lonsing (Stanford University)
Tuesday, May 4th, 2021
8:30 am10:30 am
Mikoláš Janota (Czech Technical University)
Tuesday, May 11th, 2021
8:30 am10:30 am
Aida Khajavirad (Lehigh University)