Workshop on Counting, Sampling, and Synthesis 2025

Registration

To be updated soon.

Purpose

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. The workshop has expanded its focus to include the role of model counters, samplers, and solvers in the area of 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.

Venue

This year’s event will be held alongside other workshops at the SAT 2025 conference. For more information, please visit the SAT 2025 website.

Date

Day: Monday, August 11th, 2025

Timeline

See Dates.

Format

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. Each talk will have a 20-minute time slot for the presentation, followed by a 10-minute Q&A session.

Submissions

There are no specific format requirements for the submission. We expect you to provide a reasonable description in PDF format.

• Submission. Please upload a PDF on EasyChair.

• Procedure for selecting papers. All submissions will be reviewed by 1-2 program committee members, who will make recommendations for paper selection. If there are too many talk submissions, some authors may be requested to present a poster instead.
• Plans for dissemination. There will be no proceedings, but the abstracts and slides will be made available on the website. If authors decide to prerecord a video, it will be shared with the participants.

Contact

If you have any questions about the workshop, the best way to contact the organizers is by emailing mcw at modelcounting.org.

Team

Organizers

• 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 (Massachusetts Institute of Technology, USA)
• Kuldeep S. Meel (University of Toronto, Canada)