LL2016

Logique Linéaire : interaction, preuves et calcul

Du 7 au 10 novembre 2016 à Lyon

Lieux :

  • Université Jean Moulin Lyon 3
  • ENS de Lyon

> 93 participants

Comité scientifique

  • Michele Abrusci (Univ. Roma Tre, Italie) [président]
  • Patrick Baillot (CNRS, LIP, ENS Lyon, France)
  • Thomas Ehrhard (CNRS, IRIF, Univ. Denis Diderot – Paris 7, France)
  • Martin Hofmann (Ludwig-Maximilians-Universität München, Allemagne)
  • Jean-Baptiste Joinet (IRPhil, Univ. Jean Moulin – Lyon 3, France)
  • Olivier Laurent (CNRS, LIP, ENS Lyon, France)
  • Mitsu Okada (Univ. Keiô, Tokyo, Japon)
  • Myriam Quatrini (I2M, Univ. Aix-Marseille, France)
  • Phil Scott (Univ. Ottawa, Canada)
  • Lorenzo Tortora de Falco (Univ. Roma Tre, Italie)

Comité d’organisationCapture d’écran 2017-01-17 à 19.01.35

  • Patrick Baillot
  • Emmanuel Beffara
  • Anupam Das
  • Catherine Desplanches
  • Wendy Hammache
  • Jean-Baptiste Joinet
  • Olivier Laurent
  • Nazaré Marques

La rencontre internationale et interdisciplinaire sur la Logique Linéaire (événement du GDRI LL) a été composée de :

Une école introductive (1,5 jours)

> Pour étudiants de master et doctorants

Comprendre les motivations et origines de la logique linéaire, ses connecteurs logiques, son calcul de séquents, ses réseaux de démonstration, ses sémantiques, les liens avec les logiques classique et intuitionniste, etc.

Orateurs :

Colloque Logique linéaire et philosophie (1/2 journée)

Enjeux philosophiques mis en avant par la logique linéaire comme les fondements calculatoires de la logique, le problème de la représentation des démonstrations et l’interface entre la logique et la physique.

Orateurs :

  • Jean-Baptiste Joinet (Lyon – France)
  • Jean-Yves Girard (Marseille – France)
  • Mitsu Okada (Tokyo – Japan)
  • Mattia Petrolo (Paris – France)
  • Paolo Pistone (Marseille – France)

Colloque logique linéaire, mathématiques et informatique (2 jours)

Exposés et contributions en rapport avec la logique linéaire et ses liens avec les mathématiques et l’informatique, dont : réseaux de démonstration, sémantique dénotationnelle et catégorique, sémantique de jeux, systèmes de types linéaires, complexité calculatoire implicite.

Orateurs :

 

Sponsors

Capture d’écran 2017-01-17 à 18.47.09Capture d’écran 2017-01-17 à 18.56.39Capture d’écran 2017-01-17 à 18.56.48

 


Site