Satisfiability: Theory, Practice, and Beyond Reunion

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.