International Research Networks (IRN)

An International Research Network involves several partners from France and other countries and creates a beneficial forum for scientific exchanges on a given research theme.

An IRN brings together from one to three laboratories per country working under the supervision of a coordinating committee for a renewable 5-year period. CNRS Informatics currently has 2 IRNs underway:

Alea Network

Created in 2015, the IRN Alea Network brings together researchers on discrete random structures from different fields: computer science, discrete mathematics, probability, statistical physics, bioinformatics . In this multidisciplinary context, the objective is to develop methods for quantifying hazards and analysing the statistical properties of fundamental combinatorial structures.

Alea associates:

  • In France: CNRS, Sorbonne Université, Université Paris 13, Université Versailles Saint-Quentin en Yvelines, Université de Bordeaux, Bordeaux INP
  • Austria: Technische Universität Wien
  • Sweden: Royal Institute of Technology
  • In Great Britain: University of Oxford
  • In Germany: Ludwig-Maximilians-Universität München

Linear logic

Created in 2015, the IRN Linear logic is a network aimed at organizing and coordinating research between France and Italy on many aspects of the semantics of programming languages and theory of evidence. Linear logic is now an essential tool in denotational semantics, in the theory of programming languages, competition, complexity, formal methods, etc.

Linear logic combines:

  • In France: CNRS, Université Paris-Diderot, Aix-Marseille University, École Centrale de Marseille, École Normale Supérieure de Lyon, Université Claude Bernard
  • In Italy: Instituto Nazionale di Alta Matematica, Università degli Studi “Roma Tre”, Alma Mater Studiorum – Università di Bologna and Università degli Studi di Torino.

Keywords: linear logic, programming languages