MCW 2025 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.
We invite submissions describing work on model counting, sampling, or synthesis. Submissions may present previously published or new work. Please submit a PDF with a reasonable description of the work via EasyChair.
Submission deadline: May 28, 2025
Notification: June 15, 2025
Workshop: August 11, 2025
Workshop website: https://mccompetition.org/2025/mcw_description
Submission link: https://easychair.org/conferences/?conf=mcw2025
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)
For questions, contact mcw@modelcounting.org.
We look forward to your submissions and participation.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************