The International Workshop on Counting, Sampling, and Synthesis is an event for researchers in model counting, sampling, and automated synthesis. It covers advanced topics such as weighted and projected counters/samplers in various domains, including SAT, SMT, ASP, and CP. The workshop facilitates the exchange of cutting-edge theoretical and practical insights, focusing on innovative solver technologies and their real-world applications. Additionally, the workshop allows developers of model counters to showcase their work and share detailed competition results, encouraging discussions that bridge theory and practice.

Submission Guidelines

You can showcase your best work in counting, sampling, or synthesis, whether it has been published elsewhere or not. To submit, please provide a reasonable description in PDF format and upload it to EasyChair.

Committees

Organizing Committee

• Paulius Dilkas (University of Toronto, Canada)
• Priyanka Golia (Indian Institute of Technology Delhi, India)

Steering Committee

• Johannes K. Fichte (Linköping University, Sweden)
• Markus Hecher (Computer Science Research Institute of Lens, France)
• Kuldeep S. Meel (Georgia Institute of Technology, USA)

Venue

The conference will be held at the University of Glasgow in Glasgow, Scotland.

Contact

All questions about the workshop should be emailed to mcw@modelcounting.org.