french TASC - INRIA Rennes - LINA CNRS UMR 6241

The TASC research team

TASC -- Theory, Algorithms, and Systems for Constraints -- is a joint team of the INRIA's research center of Rennes and of the CNRS's computer science laboratory of Nantes-Atlantique (LINA). It gathers about 20 teachers/researchers from the École des Mines de Nantes and from Nantes University, working in the area of constraint programming.

This website presents the objectives and productions of the team:

the constraint solver CHOCO:
the global constraint catalog:
the global constraint seeker:


may 28-june 1, 2012, Nantes:
The TASC team and the LigéRO group organize CPAIOR'2012. Conference chair: Narendra Jussien and Thierry Petit; Program chair: Narendra Jussien, Nicolas Beldiceanu and Éric Pinson
july 2011:
6 new papers to appear in conference CP'2011 including the best student paper for Marie Pelleau et al. Octagonal Domains for Continuous Constraints
april 2011:
Creation of the TASC team-project of INRIA Rennes; the Constraints team is renamed TASC
april 2011:
The global constraint seeker is now online

Contact us

Please feel free to contact us with any questions, comments, or other inquiries you have.

Professor Nicolas Beldiceanu,, tel: +33 (0)2 51 85 82 42
vice head
Associate professor Thierry Petit,, tel: +33 (0)2 51 85 82 08
Catherine Fourny, tel: +33 (0)2 51 85 82 12, fax: +33 (0)2 51 85 82 49
postal mail
École des Mines de Nantes
Équipe Contraintes - Département Informatique
4 rue Alfred Kastler, BP 20722
44307 Nantes Cedex 03, France

Last publications

W3C: XHTML - last update : july 2011, SD