EA 4187

LINEAR LOGIC :

INTERACTION,

PROOFS AND COMPUTATION

(LL2016)

UNIVERSITÉ JEAN MOULIN LYON 3 & ÉCOLE NORMALE SUPÉRIEURE DE LYON

Scientific committee:

Michele Abrusci (Univ. Roma Tre, Italy) [chair]

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, Germany)

Jean-Baptiste Joinet (IRPhil, Univ. Jean Moulin Lyon 3, France)

Olivier Laurent (CNRS, LIP, ENS Lyon, France)

Mitsuhiro Okada (Univ. Keiô, Tokyo, Japan)

Myriam Quatrini (I2M, Univ. Aix-Marseille, France)

Phil Scott (Univ. Ottawa, Canada)

Lorenzo Tortora de Falco (Univ. Roma Tre, Italy)

REGISTRATION AND INFORMATIONS : https://ll2016.sciencesconf.org/

FIRST PART, 07 & 08 NOVEMBER

Venue : Université Jean Moulin Lyon 3,

Amphithéâtre Huvelin, 15 Quai Claude Bernard,

Lyon 7e

Monday 07/11, morning and afternoon

Tuesday 08/11, morning

INTRODUCTORY SCHOOL IN LINEAR LOGIC

(Masters and PhD students in mathematics,

computer science, philosophy of logic and

computing theory).

Speakers : JB. Joinet, O. Laurent, D. Mazza, L. Vaux

Tuesday 08/11, afternoon

WORKSHOP “LINEAR LOGIC AND PHILOSOPHY”.

Speakers : M. Abrusci, JY. Girard, JB. Joinet,

M. Okada, M. Petrolo, P. Pistone

SECOND PART, 09 & 10 NOVEMBER

Venue : École Normale Supérieure de Lyon

Site Monod, Salle du 1 place de l'École, Lyon 7e

Wednesday 09/11, morning and afternoon

Thursday 10/11, morning and afternoon

WORKSHOP “LINEAR LOGIC, MATHEMATICS

AND COMPUTER SCIENCE”

Invited speakers : Willem Heijltjes (Bath - UK),

Dale Miller (Saclay - France), Michele Pagani

(Paris - France), Elaine Pimentel (Natal - Brazil),

Kazushige Terui (Kyoto - Japan)

Contributed talks : Matteo Acclavio, Arthur

Azevedo De Amorim, Kaustuv Chaudhuri,

Stefano Del Vecchio, Harley Eades, Giuseppe

Greco, Charles Grellois, Stefano Guerrini

Clément Jacq, Roberto Maieli, Sonia Marin, Kei

Matsumoto, Paul-André Melliès, Richard Moot,

Dominic Orchard, Alice Pavaux, Benoît Valiron

NO

VE

MB

ER

20

16

07-

10

Organizing committee:

Patrick Baillot

Emmanuel Beffara

Anupam Das

Catherine Desplanches

Wendy Hammache

Jean-Baptiste Joinet

Olivier Laurent

Nazaré Marques

Avec le soutien du

GDRI LL