Last minute information

Due to a France Turkey football game at stadium de Gerland, the dinner foreseen at Ninkasi brewery will be moved to restaurant  Le Potager des Halles 3 rue de la Martinière, metro Hotel de Ville

Program

Friday June 5

9h	Katarzyna Grygiel	Random lambda terms - how they look like and how they behave
9h45	Jakub Kozik	Lambda terms counting and leader-switching tours
10h30	Break
11h	Antoine Genitrini	Quantitative comparison of Intuitionistic and Classical logics -- Full propositional system
11h45	Lunch
14h	Pawel Waszkiewicz	Q-categories as generalized domains.
14h45	Mateusz Kostanek	The limit-colimit coincidence for Q-domain
15h30	Break
16h	Jan Jezabek	Resource augmentation for buffer management with bounded delay
16h45	Mikolaj Pudo	Satisfiability threshold for 2SAT in new model

Saturday June 6

9h	Grzegorz Matecki	Online chain partitioning problems
9h45	Lech Duraj	On-line graph orientation - reachability maximization problem
10h30	Break
11h	Barbara Petit	A lambda calculus with pattern matching and polymorphism
11h45	Pierre Lescanne	Infinite extensive games and escalation

Location

The conference will take place in amphitheater B, 3rd floor of the main building of ENS de Lyon
ENS de Lyon is located between station Debourg and station Stade de Gerland on line B.

Lodging

Participants will be lodged 

• at Résidence Park Avenue 2 rue Marie Madeleine Fourcade 69007 LYON (all the participants but 2), access:  metro B, station Jean Jaures (trick: if you come by the shuttle leave it at Mermoz Pinel and take the subway -- line D then line B at Saxe Gambetta to station Jean Jaures--, it is simple and avoids traffic jam.)   I (PL) will pick you up at the airport and give you the keys. 
• at Résidence ENS de Lyon.

In case of trouble call Pierre Lescanne at +336 85 70 94 31

Meal

• We will have a workshop diner at Le Potager des Halles Have a look at the painted wall nearby call the fresque des Lyonnais.
  
• On June 4, I (PL) propose we meet at pizzaria Latino at 7pm.

See the map.

Historical links

• Casimir III the Great
• Ninkasi
• La fresque des Lyonnais
• Blandina