The Workshop on Counting, Sampling, and Synthesis is an event for researchers in model counting and sampling. It covers advanced topics such as weighted and projected counters/samplers and various domains such as SAT, SMT, ASP, and CP. This year, the workshop has expanded its focus to include the role of model counters, samplers, and solvers in automated synthesis. The goal of the workshop is to facilitate the exchange of cutting-edge theoretical and practical insights, with a particular emphasis on innovative solver technologies and their real-world applications. Additionally, the workshop provides an opportunity for developers of model counters to showcase their work and share detailed competition results, to encourage 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. Presenters can choose between giving a talk or presenting a poster. If there are too many talk submissions, some authors may be requested to present a poster instead. To submit, please provide a reasonable description in PDF format and upload it on EasyChair.

Committees

Organizing Committee

• Paulius Dilkas (National University of Singapore, Singapore)
• Priyanka Golia (Indian Institute of Technology Delhi, India)

Steering Committee

• Johannes K. Fichte (Linköping University, Sweden)
• Markus Hecher (Massachusetts Institute of Technology, USA)
• Kuldeep S. Meel (University of Toronto, Canada)

Venue

The conference will be held in Pune, India, as part of SAT 2024.

Contact

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