Model Counting (MC-2025)
Important Dates
- Mar 20: Call for Benchmarks and Participation
- Apr 16: Benchmark Submission Deadline
- May 26: Public Instance Publication
- May 30: Solver Submission Deadline
- Jul 2: Notification of public results
- Jul 16: Notification of private results
- Jul 30: Comments Deadline by Participants
- Aug 14: Result Presentation at SAT Conference (expected)
Submission
Please register
Workshop on Counting, Sampling, and Synthesis
Important Dates
- May 30, 2025: Submission deadline
- June 13, 2025: Notification of acceptance
- August 11, 2025: Workshop on Counting, Sampling, and Synthesis @ SAT 2025
Submission
Submission via EasyChair
- There are no specific format requirements for the submission. We expect you to provide a reasonable description in PDF format.
There will be no proceedings, but the abstracts and slides will be made available on the website. If authors decide to prerecord a video, it will be shared with the participants.