Workshop on Counting, Sampling, and Synthesis 2026

Registration

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 FLoC 2026 (affiliated with the SAT 2026) conference. For more information, please visit the FLoC 2026 website.

Date

Day: Saturday, July 25th, 2026

Schedule

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

• Johannes K. Fichte (Linköping University, Sweden)
• Markus Hecher (French National Centre for Scientific Research (CNRS), University d’Artois (CRIL), France)
• Kuldeep S. Meel (Georgia Institute of Technology, USA)