CMT Lab Logo

CMT Lab

Constraint-based Methods and Technologies Laboratory


The mission of the Constraint-based Methods and Technologies Laboratory (CMT Lab) is to develop basic and applied research on all facets of constraint-based programming.

CMT Lab was extablished within the Department of Mathematics of the University of Parma in 2008 and counts today a number of permanent researchers, temporary research assistants and students.