GET IN TOUCH
MC 2025

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.