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).

Kickoff meeting

The IRN held its kickoff meeting on 12-13 May 2025 in Rome, jointly with the inaugural session of the LYSMimpactΦ seminar, and just before the second edition of the PACMAN workshop.

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.