Call for paper: Workshop on Counting, Sampling, and Synthesis
Dear all, This is a call for papers for the Workshop on Counting, Sampling, and Synthesis (MCW) 2025. 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 2025. The workshop 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 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 2025, and will be held in University of Glasgow in Glasgow, Scotland. This year, SAT 2025 will be colocated with the 31st International Conference on Principles and Practice of Constraint Programming (CP), the 18th International Symposium on Combinatorial Search (SoCS), and the 23rd International Workshop on Satisfiability Modulo Theories (SMT). For more information visit the website: https://mccompetition.org/2025/mcw_description.html Regards, Priyanka Golia – On behalf of the workshop organizers: Paulius Dilkas and Priyanka Golia
participants (1)
-
Priyanka Golia