[DMANET] Call for Papers: MCW 2024 Workshop on Counting, Sampling, and Synthesis

Dear All,

We are pleased to announce the Workshop on Counting, Sampling, and Synthesis (MCW 2024) as part of the SAT 2024 conference. The workshop will convene in Pune, India, on August 20, 2024.

MCW 2024 aims to bring together researchers in model counting, sampling, and synthesis, covering advanced topics such as weighted and projected counters/samplers across various domains, including SAT, SMT, ASP, and CP. This year, we are expanding our focus to include the role of model counters, samplers, and solvers in automated synthesis.

We invite submissions on cutting-edge theoretical and practical insights related to model counting, sampling, and synthesis. Researchers are encouraged to submit their work, whether previously published or not, for presentation as talks or posters.

Important Dates:
​- Submission Deadline: May 28, 2024
​- Notification of Acceptance: June 14, 2024
​- Workshop: August 20, 2024

For more details and to submit your work, please visit the workshop website at https://modelcounting.org/.

If you have any questions or need more information, contact us at mcw@modelcounting.org.

We look forward to your participation in MCW 2024!

Best regards,

Paulius Dilkas
Research Fellow
National University of Singapore

________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.
**********************************************************
*
* 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/
*
**********************************************************