The Workshop on Model Counting allows optional publication: there will be electronic proceedings in which accepted contributions may be published in case the authors wish so. But to allow for publication elsewhere and the submission of work already published, the authors also have the option of their contribution not appearing in the proceedings. Consequently, there we invite two types of submissions:
For both types of submissions source code and data downloads are appreciated. An appendix or external material is allowed, but will be considered at the reviewers’ discretion. For presentation-only contributions the authors can also add published or preprint version of the submitted work.
The contributions must be submitted electronically through EasyChair as a PDF file in the format described above.
Submissions are not expected to be double-blind, but can be submitted double blind if the authors prefer.
Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the workshop.
here.