PROGRAM

We will have invited lectures on Proof Nets, Geometry of Interaction, Ludics, Implicit Complexity, Operator Algebras, emphasizing the most relevant recent results and the main open problems and perspectives, by some of the leading researchers in the field. While this will not cover the whole wide range of the mathematical achievements of Jean-Yves Girard, we aim at catching some of the challenges that his recent and ongoing research presents to the mathematical community.
This is our way of saying

Bon Anniversaire, Buon Compleanno, Happy Birthday, Jean-Yves !

LEGENDA  
   
Girard: “Logic and Operator Algebras : Geometry of Interaction”, 4 hours
Curien- Faggian : “Ludics”, 2 hours
Baillot- Dal Lago: “On the Linear logic approach to implicit computational complexity”, 3 hours
Pagani- Regnier : “Introduction to linear logic proof-nets” , 1 +1/2 hour
“Introduction to the Geometry of Interaction interpretation”, 1+1/2 hour
Paul-André Melliès: “Towards an algebra of duality”, 1 hour
Kazushige TERUI : “A logical foundation for the theory of computational complexity”, 1 hour
Contributed(n): Contributed papers (number of), 30 minutes each
   
Thursday 17
11.30 Registration Desk opening- Accommodation
  Buffet lunch
14.15 Welcome
14.30 Curien- Faggian
16.30 Coffee break
17.00 Pagani-Regnier
18.30 Contributed(1)
20.00 Social dinner

After dinner session : 21.30-22.30 : Contributed (2), Discussion
   
Friday 18
9.00 Girard
11.00 Coffee break
11.30 Contributed (3)
13.00 Lunch
14.30 Contributed (1)
15.00 Pagani-Regnier
16.30 Coffee break
17.00 Baillot- Dal Lago
18.30 Contributed(1)
20.00 Dinner
   
Saturday 19
9.00 Baillot- Dal Lago
10.30 Contributed (1)
11.00 Coffee break
11.30 Mellies
12.30 Contributed (1)
13.00 Lunch
14.30 Terui
15.30 Contributed (2)
16.30 Coffee break
17.00-19.00 Girard
20.00 Dinner
   
Sunday 20
9.00 Possible “Meeting of the Willing…”
11.00 Coffee Break
  Departure