Workshops
Spring 2021

Theoretical Foundations of SAT/SMT Solving

Feb. 10, 2021, Feb. 17, 2021, Feb. 24, 2021, Mar. 3, 2021, Mar. 10, 2021, Mar. 17, 2021, Mar. 24, 2021, Apr. 7, 2021, Apr. 14, 2021, Apr. 21, 2021, Apr. 28, 2021, May 5, 2021, May 12, 2021
Add to My Calendar
Wednesday, February 10th, 2021
8:30 am10:30 am
Vijay Ganesh (University of Waterloo), Laurent Simon (Bordeaux INP), and David Mitchell (Simon Fraser University)
Wednesday, February 17th, 2021
8:30 am10:30 am
Jordi Levy (Artificial Intelligence Research Institute, Spanish National Research Council), Stefan Szeidar (TU Wien), and Ralf Rothenberger (University of Potsdam)
Wednesday, February 24th, 2021
8:30 am9:30 am
Oliver Kullmann (Swansea University), Ciaran McCreesh (University of Glasgow), and Maria Bonet (Universitat Politècnica de Catalunya)
9:30 am10:30 am
Wednesday, March 3rd, 2021
8:30 am10:30 am
Robert Robere (McGill University), Susanna de Rezende (Czech Academy of Sciences), and Joanna Ochremiak (CNRS)
Wednesday, March 10th, 2021
8:30 am10:30 am
Marc Vinyals (Technion - Israel Institute of Technology), Noah Fleming (University of Toronto), and Ian Li