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).
-------