La réunion aura lieu au Laboratoire d'Informatique de Paris-Nord , salle B311, Institut Galilée (Université
Paris-Nord).
Il s'agit de la 1ère rencontre dans le cadre de l'action spécifique
Méthodes formelles pour la mobilité,
coordonnée par Roberto Amadio.
Intervenants invités: Giorgio Ghelli (Pise, Italie),
Marc Pouzet (Paris, LIP6).
Résumés des exposés. Les transparents de certaines des interventions sont disponibles ci-dessous.
Jeudi 5 décembre:
14h-14h15 | Roberto Amadio | Présentation de l'Action Spécifique |
14h15-15h | Marc Pouzet (Paris, LIP6) | The semantics of Lucid Synchrone |
15h-16h | Roberto Amadio (Marseille, LIF) | Extraction of complexity bounds for |
first-order functional programs. (slides: .pdf, related paper here) | ||
16h-16h30 | pause café | |
16h30-17h15 | Giorgio Ghelli (Pise) | Manipulating Trees with Hidden Labels  ( .pdf, .pdf ) |
17h15-18h | Etienne Lozes (ENS Lyon) | Separability, Expressiveness and Decidability |
in the Ambient Logic ( .pdf) | ||
18h-18h30 | discussion |
Vendredi 6 décembre:
9h30-10h15 | Silvano Dal Zilio (Marseille, LIF) | XML Schema, Tree Query Logic and Tree Automata ( .pdf) |
10h15-11H | Giuseppe Castagna (Paris, LIENS) | CDuce: a general language for XML |
11H-11h30 | pause | |
11h30-12h15 | Ivano Salvo (Paris, LIENS) | Information Flow Analysis in Boxed Ambient ( .pdf) |
12h15-12h45 | Discussion | |
Déjeuner | ||
14h-14h45 | Vincent Danos (Paris, PPS) | Dependent types for a higher order communication language ( .ps.gz) |
14h45-15h30 | David Teller (ENS Lyon) | Using ambients to control resources ( .pdf, related paper .ps.gz) |
15h30-16h | pause café | |
16h-16h45 | Patrick Baillot (Paris, LIPN) | Type inference in light logic and constraints on words |
16h45-17h30 | Réunion interne | (participants de l'action) |
--------------------------------------
INSCRIPTION: il n'y a pas de frais d'inscription, mais pour des raisons d'organisation il est demandé d'informer Patrick Baillot (pb@lipn.univ-paris13.fr ) de votre participation.
ACCES:
voir les indications.
En bref: en transports en commun: train de banlieue depuis gare du nord (gare de surface) pour
Epinay-Villetaneuse (10 min. de trajet); puis bus numéro 156 ou 356 pour l'arret Paris
XIII. Sur le campus: Institut Galilée, salle B311 (plan du campus sur la page web).
CONTACT : Patrick Baillot (01 49 40 40 67, bureau A205).
-------