Les sessions plenières

PPD 1

«Analyses statiques de langages d'Acteurs» Jean-Louis Colaço, Marc Pantel, Patrick Sallé (Irit, Toulouse).

PF 1

«Propriétés de sécurité des applets typées» Xavier Leroy et François Rouaix (Inria, Rocquencourt).

PF 2

«Un cadre générique de définition d'analyseurs dynamiques et statiques» Valérie Gouranton (Irisa, Rennes).

PF 3

«Une proposition de reconstruction partielle de types ML à l'exécution» Emmanuel Chailloux, Pascal Manoury et Bruno Pagano (LIP6, ERS 587, Université Pierre et Marie Curie, Paris).

PF 4

«Un langage explicitement parallèle fonctionnel pur d'ordre supérieur» Frédéric Loulergue (LIFO, Université d'Orléans).

PSA 1

«Outils pour la validation partielle de programmes logiques» Sébastien Limet (CQFD Lifo, Orléans) et Frédéric Saubion (Leria, Angers)

PSA 2

«Réécriture de Graphes Admissibles: Confluence et Stratégie» Rachid Echahed et J.-C. Janodet (Sagace, Grenoble)

PSA 3

«Correction du typage de ML en Coq» C. Dubois (Lami, Evry) Valérie Ménissier-Morain (LIP6, Paris 6)

PSA 4

«Spécification formelle d'objets paramétrés en modélisation géométrique» Jean-François Dufourd (Sagace LSIIT, Strasbourg)

PSA 5

«RHODES: Un environnement d'assistance centré sur le procédé de développement» X. Crégut et B. Coulette (ADER Enseeiht, Toulouse)

PSA 6

«Ensembles intentionnels, programmation logique et spécifications» A. Tellez-Arenas et Gilles Richard (CQFD Lifo, Orléans)

PO 1

«Vers une sémantique formelle du langage Java» I. Attali, D. Caromel, M. Russo (Inria, Sophia Antipolis)

PO 2

«De la compilation efficace de l'envoi de message» R.Ducournau (Lirmm, Montpellier)

PO 3

«Extension d'UML à la prise en compte du comportement d'objets composites» Sylvain Vauttier, Mourad Oussalah, Martine Magnan (Lgi2p, Nimes)

IE 1

«Composition Symbolique» Loic Correnson, Etienne Duris, Didier Parigot, Gilles Roussel (Inria, Rocquencourt)

IE 2

«Boosting Interval Narrowing» Michel Rueher (Université de Nice) et Olivier Lhomme (École des Mines de Nantes)

CPL 1

«Preuves Observationnelles par Contextes Critiques» Adel Bouhoula, Narjes Berregeb et Michael Rusinowitch (Loria, Nancy)

CPL 2

«Set constraints and logic programs» Jean-Marc Talbot, Sophie Tison et Philippe Devienne (LIFL, Lille)

CPL 3

«Optimisation de la propagation d'intervalles par des méthodes de recherche locale» Fredéric Benhamou (Université de Nantes), Frédéric Goualard, Laurent Grandvilliers (Orléans)

CPL 4

«Clarification of the bases of declarative diagnosers for CLP» Gérard Ferrand, Alexandre Tessier (Lifo, Orléans)