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. The INS2I currently has 2 IRNs underway:

Alea Network

Créé en 2015, l'IRN Alea Network réunit des chercheurs sur les structures aléatoires discrètes issus de différents domaines : informatique, mathématiques discrètes, probabilités, physique statistique, bio-informatique . Dans ce contexte multidisciplinaire, l’objectif est d’élaborer des méthodes pour quantifier les aléas et analyser les propriétés statistiques des structures combinatoires fondamentales.

Alea associe :

  • En France : le CNRS, Sorbonne Université, l’Université Paris 13, l’Université Versailles Saint-Quentin en Yvelines, l’Université de Bordeaux, Bordeaux INP
  • En Autriche : Technische Universität Wien
  • En Suède : Royal Institute of Technology
  • En Grande-Bretagne : University of Oxford
  • En Allemagne : Ludwig-Maximilians-Universität München

Logique linéaire

Créé en 2015, l'IRN Logique linéaire est un réseau visant à organiser et coordonner la recherche entre la France et l’Italie sur de nombreux aspects de la sémantique des langages de programmation et de théorie de la preuve. La logique linéaire est maintenant un outil essentiel dans la sémantique dénotationnelle, dans la théorie des langages de programmation, de la concurrence, de la complexité, des méthodes formelles, etc.

Logique linéaire associe :

  • En France : le CNRS, l’Université Paris-Diderot, Aix-Marseille Université, l’École Centrale de Marseille, l’École Normale Supérieure de Lyon, l’Université Claude Bernard
  • En Italie : Instituto Nazionale di Alta Matematica, Università degli Studi « Roma Tre », Alma Mater Studiorum – Università di Bologna et Università degli Studi di Torino.

Mots-clés : logique linéaire, langages de programmation