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.

Activities

The IRN organizes a general meeting every year. In addition, it supports selected events organized by its members, and encourages collaborations by providing travel grants.

Next general meeting

In Lyon, 23-24 June 2026

Travel grants

In addition to the events directly organized or supported by the IRN, a fraction of its budget is dedicated to funding missions on request by its members. These must fit the scientific scope of the IRN: e.g., a collaboration between members of both countries, the organization of a small workshop (see our previous email), the participation in events organized or supported by the IRN.

Members of the IRN can request such funding by writing directly to the coordinators (lionel.vaux@math.cnrs.fr and tortora@uniroma3.it), and providing:

The coordinators will answer each request, as early as possible, after discussing its relevance with the scientific committee whenever necessary (please send your request well in advance, preferable at least 2 months before departure).

Coordination

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:

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.