Les journées de pôle

«Contraintes et Programmation Logique»

Collaboration de solveurs. Une demi-journée a été consacrée à la préparation d'une proposition d'action FRT sur le thème de la collaboration de solveurs.

• «Manipulation de contraintes en utilisant des systèmes de calcul» Carlos Castro (Loria, Nancy).
• «Dynamic Backtracking with constraint propagation» Narendra Jussien, Olivier Lhomme et Patrice Boizumault (École des Mines de Nantes)
• «Automates de formes normales et réductibilite inductive» Benjamin Monate (LRI, Orsay).
• «A Note on Partial Consistencies over Continuous Domains» Hélène Collavizza, François Delobel, Michel Rueher (I3S, Université de Nice)

«Programmation par Objets»

• «Coordination entre objets distants : architecture et implémentation en Corba» L. Berger, Mireille Blay, Anne-Marie Pinna (I3S, Université de Nice)
• «Compatibilité et composition de métaclasses» Noury Bouraqadi (École des Mines de Nantes)
• «Le langage OQUAL par l'exemple. Bilan et perspectives du projet» Philippe Collet, Gilles Orsini et Roger Rousseau (I3S, Université de Nice)
• «Conception par objets d'un système pour combiner raisonnement formel et satisfaction de contraintes» Anne Liret, Pierre Roy et Francois Pachet (Laforia, Paris)
• «TinyCORBA ou petit ORB réflexif» Thomas Ledoux (École des Mines de Nantes)
• «Apprentissage et aide à l'utilisation de l'environnement Smalltalk» Jean-David Ruvini, C.Dony, P.Reitz (Lirmm, Montpellier)
• «Relations entre les grammaires attribuées et la programmation objet» Didier Parigot (Inria, Rocquencourt)

«Preuves et Spécifications Algébriques»

• «Un exemple de spécification structurée hétérogène : une agence de voyage» Sophie Coudert (Sagace LAMI, EVRY)
• «Petite Logique Linéaire Mixte Classique et Sémantique des Phases» A. Demaille, Jean Leneutre (ADER, ENST, Paris)
• «Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes» David Delahaye, Benjamin Werner, Roberto di Cosmo (Coq, INRIA Rocquencourt et ENS)
• «Preuve de programmes impératifs et théorie des types» Jean-Christophe Filliatre (Coq LRI, Orsay)
• «Preuve automatique de propriétés de sûreté» J.-P. Bodeveix, M. Filali (ADER, IRIT Toulouse)
• «ETOILE : une logique orientée classe d'objet» Christophe Gaston (Sagace, LAMI EVRY)