The 1st International Workshop on
MiniZinc (MZN 2011)

To be held at
the 17th International Conference on the
Principles and Practice of Constraint Programming (CP 2011)

Perugia, Italy
Monday 12 September 2011

MiniZinc is a simple and expressive modelling language that is easy to interface to different solvers. It maps models in MiniZinc down to FlatZinc is a manner that is specializable to different underlying solvers. It is currently supported by constraint programming systems Gecode, Eclipse Prolog, Sicstus Prolog, JaCoP, solvers from the G12 group including a translator to CPLEX, the mathematical programming hybrid CP solver SCIP, as well as having translators that create SAT models from FlatZinc (fzntini), and create SMT models from FlatZinc (fzn2smt).

MiniZinc is a leading candidate for standardizing modelling for constraint programming, since it is the modelling language currently supported by most systems.

The aim of this workshop is to examine the design decisions of MiniZinc and set out the requirements for version 2.0. We wish to take input from the whole CP community, not just solver developers.

The Workshop

This is a half-day workshop open to anyone interested in the MiniZinc. The event will have a strong workshop flavour, with ample time allocated to discussion.

The preliminary program is:

Time Presentation Authors
9:00 -- 9:05 Welcome P. Stuckey
9:05 -- 9:30 Search Combinators for MiniZinc [PDF] T. Schrijvers, G. Tack, H. Samulowitz, P. Wuille, and P. J. Stuckey
9:30 -- 9:55 Towards Resource Usage Analysis of MiniZinc Models [PDF] F. Bueno, M. Garcia de la Banda, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera, and P. J. Stuckey
9:55 -- 10:20 W-MiniZinc: A Proposal for Modeling Weighted CSPs with MiniZinc [PDF] C. Ansotegui, M. Bofill, M. Palahi, J. Suy, and M. Villaret
Coffee Break
10:55 -- 11:20 libmzn - A modular CP infrastructure based on MiniZinc [PDF] G. Tack
11:20 -- 11:55 MiniZinc Issues [PDF] P.J. Stuckey
11:55 -- 12:30 Open Discussion
12:30 -- 12:35 MiniZinc Challenge 2011 Results P.J. Stuckey

Organizing Committee

Peter J. StuckeyNICTA + University of Melbourne, Melbourne, Australia
Guido TackKatholieke Universiteit Leuven, Belgium
Mark WallaceMonash University, Australia

Important Dates

Submission deadlineFriday 24th June 2011 Sunday 3rd July 2011 (extended)
Author notificationSunday 24th July 2011
Camera-Ready Copy deadlineFriday 19 August 2011
WorkshopMonday 12 September 2011


Paper submission is now closed.

Submissions must be formatted in the Lecture Notes in Computer Science (LNCS) style and must not exceed 15 pages. Submissions of shorter papers, of all forms, are welcome and indeed expected.

Papers must be submitted in PDF format using EasyChair.

All submissions will be reviewed and those that are well written and make a worthwhile contribution to the topic of the workshop will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at CP 2011. At least one author of each accepted paper must attend the workshop.