Presentation

The IRN-LI is a French-Italian International Research Network, created in 2025 and supported by the french CNRS.

Its purpose is to gather researchers of both countries, working on a spectrum of themes from the Curry-Howard correspondence at the interface between Mathematics and Computer Science, to Logic as a bridge between those disciplines and Philosophy and Linguistics.

The coordinators of the IRN are Lorenzo Tortora de Falco and Lionel Vaux Auclair. The project that led to the creation of the IRN by CNRS Mathematics is available here (in French).

The activities of the IRN are supervised by its scientific committee:

• Patrick Baillot, CNRS, Université de Lille
• Laura Fontanella, Université Paris-Est Créteil
• Simone Martini, Università di Bologna
• Antonio Piccolomini d'Aragona, Eberhard Karls Universität Tübingen
• Alexis Saurin, CNRS, Université Paris Cité
• Lorenzo Tortora de Falco, Università Roma Tre
• Lionel Vaux Auclair, Université d’Aix-Marseille
• Margherita Zorzi, Università di Verona

Mailing List

Communication within the project is done on the irn-li mailing list: to subscribe, send an email to irn-li-request at listes.math.cnrs.fr.