Workshops
Spring 2021
Satisfiability: Theory, Practice, and Beyond Reunion
Tuesday, Jun 14, 2022 to Friday, Jun 17, 2022
Organizers:
Albert Atserias
(Universitat Politècnica de Catalunya; chair),
Sam Buss
(UC San Diego),
Vijay Ganesh
(University of Waterloo),
Antonina Kolokolova
(Memorial University of Newfoundland),
Jakob Nordström
(University of Copenhagen & Lund University)
This reunion workshop is for long-term participants in the program "Satisfiability: Theory, Practice, and Beyond" held in the Spring 2021 semester. It will provide an opportunity to meet old and new friends. Moreover, we hope that it will give everyone a chance to reflect on the progress made during the semester and since, and sketch which directions the field should go in the future. In an effort to keep things informal and to encourage open discussion, none of the activities will be recorded. Participation in the workshop is by invitation only. Please note: the Simons Institute regularly captures photos and video of activity around the Institute for use in videos, publications, and promotional materials.