Constraints and Applications

The research team "Constraints & Applications" (C&A) gathers experts in:

• operational research, artificial intelligence with a focus on constraint programming,
• model checking applied to biology and neurosciences,
• concurrency theory and logics

We are involved in the following hot topics identified in the Villani report on AI:

• Artificial intelligence an algorithmic approach
• Decision aid
• Knowledge representation and reasoning
• Automatic learning (Machine learning, deep learning, big data analysis)
• Automatic language processing
• Logics and formal proofs

Members

Permanent staff

Jean Charles REGIN (Team Leader)
Elisabetta DE MARIA
Cinzia DI GIUSTO
Arnaud MALAPERT
Marie PELLEAU

Associated Staff

Carine FEDELE
Michel RUEHER (Emerite)

PhD students

Alexandre BONLARRON
Camille BONNIN
Loic GERMERIE-GUIZOUARN
Steve MALALEL
Florian REGIN
Victor JUNG

Past PhD students

Giovanni GATTI-PINHEIRO
Arthur FINKELSTEIN
Nicolas ISOART
Assia KAMAL IDRISSI EL AFOUANI
Laetitia LAVERSA

Collaborations

Network

We are involved in national and international research groups and associations such as GdR RO, GdR IA, AFPC, ROADEF, SIF, ACP, GdR Im, GdR Bioss
We collaborate with researchers on the following topics:

• Traveling salesman and scheduling problems: (CIRRELT, Université de Montréal, Canada)
• Traveling salesman problem: (Carnegie Mellon, USA)
• Bin packing problem: (Université Louvain-la-neuve, Belgium)
• Vertical transportation problems:  (KONE, Finland)
• Multimodal transportation problems: (INRIA), Milanamos, Instant Sytem (France)
• Automatic text and music generation:  (Sony music, Spotify)
• Session types: (INRIA, University of Groningen, Holland)
• Modeling of biological systems (Université d'Evry, France)

Contacts with companies

We have received grants from Google and Microsoft. Moreover we have established tight collaborations (through phd grants) with local companies such as Milanamos and Instant system.

Projects

We participate/have participated to the following projects.

European projects and actions:

• Cost Action Betty (2012-2016)

National Projects:

• ANR project Multimod (2018-2021)
• ANR project Aeolus (2010 - 2014)
• ISI project Pajero
• PICS project SUCCESS (2016-2018).

Publications

The members of C&A publish in AI journals and conferences such as AAAI, IJCAI, CP, JAIR, artificial intelligence...