About

This workshop will discuss the connection between logic and circuits. Topics of interests include logic-guided circuit construction, lower/upper bounds, as well as problems related to (approximate) model counting.

Chairs/Organizers
Invited Participants

Alessandro Antonucci (IDSIA), Cassio de Campos (TU Eindhoven), Alexis de Colnet (TU Wien), Brendan Juba (Washington University in St. Louis), Ondrej Kuzelka (Prague University), Marta Kwiatkowska (University of Oxford), Kuldeep Singh Meel (National University of Singapore), Robert Peharz (TU Graz), Andy Shih (Stanford University), Eugenia Ternovska (Simon Fraser University), Martin Trapp (Aalto University), Antonio Vergari (University of Edinburgh), Zhe Zeng (UCLA), Honghua Zhang (UCLA)

Register

Registration is required to attend this workshop in person. Space may be limited, and you are advised to register early. To submit your name for consideration, please register and await confirmation of your acceptance before booking your travel. 

For additional information please visit: https://simons.berkeley.edu/participating-workshop.

Please note: the Simons Institute regularly captures photos and video of activity around the Institute for use in videos, publications, and promotional materials. 

Register Now