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