Dear all,
This is a call for papers for the Workshop on Counting, Sampling, and Synthesis (MCW)
2024. We invite you to submit your already published work or work in progress on model
counting, sampling, and synthesis to this year's edition of MCW 2024.
The workshop 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. It is a pre-conference workshop as part of SAT 2024,
<http://satisfiability.org/SAT24/cfw.php> and will be held in Pune, India.
For more information visit the website:
https://mccompetition.org/2024/mcw_description.html
Regards,
Priyanka Golia
–
On behalf of the workshop organizers: Paulius Dilkas and Priyanka Golia