L'équipe "Contraintes et Preuves" rassemblent des compétences provenant de la programmation par contraintes (PPC) et de la preuve avec pour objectifs de couvrir des thématiques communes à ces deux domaines, comme la validation et la vérification de programmes, mais aussi plus spécifiques à l'un de ces domaines, telle que la résolution de problèmes sur le continu ou sur le fini. Elle fait partie du pôle MDCS de l'I3S.

• Visite de M. Rueher au NII (National Institute of Informatics, Tokyo, Japon) pendant le mois de Mars 2013
• Séminaire de Laurent Perron (Google Paris), "Recherche Opérationnelle à Google", Mardi 19 Mars à 13h à l'I3S.
• Séminaire de JC Régin, "Modelling in CP", séminaire TAO, LRI, Orsay, Vendredi 15 Mars à 14h30, invité par Michèle Sebag
• Accueil de Paul Khuong (Univ. Montréal, Canada), qui séjournera à l'I3S du 5 Mars 2013 au 29 Avril 2013 et travaillera avec JC Régin sur le problème du voyageur de commerce.

L'équipe est actuellement impliqué dans les projets suivants :

• Pajero (Projet OSEO)
• AEOLUS (Projet ANR)
• VACSIM (Projet ANR)