Salle 1C18 (1er étage), 175 rue du Chevaleret, 75013 Paris.
Comment venir
Orateurs invités: Emmanuel
Chailloux (PPS), Jean-Pierre Jouannaud (LIX), Ugo Dal Lago (Bologne, Italie).
Programme préliminaire:
lundi 13 juin:
10h15 accueil
10h30 Roberto Amadio (LIF). The Synchronous Language, revisited
11h15 Vincent Atassi (LIPN). Sur l'inférence de type en Logique linéaire
élémentaire et son implémentation.
12h discussion
12h30 déjeuner
14h30 Jean-Pierre Jouannaud (LIX). Ordres d'ordre supérieur.
15h15 Ugo Dal Lago (Bologna).The Geometry of Linear Ramified Recursion.
16h pause
16h45-17h30 Julien Verlaguet et Emmanuel Chailloux (PPS). HirondML: Fair threads
Migrations for Objective Caml
mardi 14 juin:
9h Gérard Boudol (INRIA Sophia) . Sur le typage du flux d'information
9h45 Roberto Amadio (LIF). Feasible reactivity for synchronous cooperative
threads
10h30 pause
11h15 Paulin Jacobé de Naurois (LORIA).Implicit Complexity over an Arbitrary
Structure: Sequential and Parallel Polynomial Time.
12h Romain Péchoux (LORIA). Synthesis of Quasi-Interpretations
12h45 déjeuner
14h discussion
quelques adresses d' hotels ( page du LIAFA )
Contacts: Patrick Baillot, Virgile Mogbil, ({pb,vm}'at'lipn.univ-paris13.fr)