LMO'96

Programme
LANGAGES ET MODÈLES A OBJETS Leysin (Suisse) 16, 17 et 18 octobre 1996

LMO'96 la conférence francophone sur les objets prend de l'altitude cette année et vient s'installer dans les Alpes Vaudoises à Leysin. Le succès de la conférence va grandissant et de ce fait LMO'96 s'étendra sur trois jours.

Ce nouveau colloque, qui se tiendra dans le même esprit que le précédent, devrait aborder des questions sur les relations entre la notion d'objets en programmation, en bases de données et en représentation de connaissances, sur les points de convergence et de divergence entre ces approches, et sur les tendances futures.

Le colloque LMO'96 devrait mettre en évidence les différentes perspectives d'utilisation actuelles des objets, et les capacités de modélisation, de programmation et de représentation qui leur sont attachées.

Activités sociales

Le but de LMO est de réunir la communauté francophone concernée par l'objet; les échanges entre participants seront encouragés par le fait que la conférence aura lieu dans l'hôtel même où tous les participants seront logés. Les échanges interpersonnels seront facilités par une soirée spéciale à la fromagerie de Leysin (le jeudi 17).

Situation

La conférence aura lieu en lieu unique, l'hôtel Classic Hôtel à Leysin (Vaud, Suisse) qui propose un environnement calme, des chambres confortables et une grande salle de conférence. L'accès à l'hôtel se fait soit en voiture soit en train-funiculaire. Le train à crémaillère partant de la gare d'Aigle, qui peut être jointe facilement depuis les aéroports de Genève (1 heure 30), Zurich (2 heures 30) ou depuis la gare de Lausanne (1 heure); les gares de Genève et Lausanne sont desservies par le TGV qui peut constituer un moyen rapide et économique de rallier la conférence. Les horaires de train à destination de Leysin Feydey peuvent être atteints directement ici.

INFORMATIONS SUPPLEMENTAIRES

Yves DENNEBOUY
LMO'96
DI/LBD
EPFL
CH 1015 LAUSANNE
E-mail : LMO96@lbdsun.epfl.ch
Fax. (+1 207) 581 22 06
secrétariat: (+41 21) 693 52 11
Fax. (+41 21) 693 51 95

COMITÉ DE PROGRAMME

Patrick Albert (ILOG, Gentilly, France)
Stephane Barbey (EPFL, Lausanne, Suisse)
Jean-Pierre Briot (LAFORIA, Paris, France)
Bernard Carré (LIFL, Lille, France)
Françoise Carré (Matra Marconi Space, Toulouse, France)
Michel Dao (CNET, Issy-les-Moulineaux, France)
Yves Dennebouy (EPFL, Lausanne, Suisse)
Christophe Dony (LIRM, Montpellier, France)
Roland Ducournau (LIRM, Montpellier, France)
Jérôme Euzenat (INRIA - IMAG, Grenoble, France)
Annick Fron (AFC Europe, Villeneuve-Loubet, France)
Serge Garlatti (ENST Bretagne, Brest, France)
Robert Godin (Université du Québec à Montréal (UQAM), Québec)
Rachid Guerraoui (EPFL Lausanne, Suisse)
Michel Habib (LIRM, Montpellier, France)
Marianne Huchard (LIRM, Montpellier, France)
Jacques Malenfant (Université de Montréal, Québec)
Amedeo Napoli (CRIN - INRIA, Nancy, France)
Oscar Nierstrasz (Université de Berne, Suisse)
Mourad Oussalah (EERIE, Nimes, France)
Jean-François Perrot (LAFORIA, Paris, France)
Joël Quinqueton (INRIA - LIRM, Montpellier, France)
François Rechenmann (INRIA-IMAG, Grenoble, France)
Roger Rousseau (I3S, Sophia Antipolis, France)
Jean-Claude Royer (Université de Nantes, France)
Pierre-Yves Schobbens (Université de Namur, Belgique)

ORGANISATION

École Polytechnique Fédérale de Lausanne

Programme

Mercredi 16 octobre

14 h - 14 h 30 Ouverture du colloque

14 h 30- 16 h 15 Session: La Programmation par Objets

présidée par Serge Garlatti Telecom Bretagne
Using Metaobjects to Model Concurrent Objects with PICT
Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz
Institut für Informatik (IAM) Universität Bern
Écrire du code élégant pour des algorithmes complexes
François Laburthe, Yves Caseau
Bouygues -Direction Scientifique
Classification et reification des assertions, Application au langage Eiffel
Philippe Collet et Roger Rousseau
UNSA/ IS3 -CNRS

16 h 15 - 16 h 45 Pause café

16 h 45- 18 h Session: Analyse et conception Objet

présidée par Jean-Claude Royer IRIN Université et École Centrale de Nantes
Conception orientée objet, spécification de la dynamique et vérification
Michel Augeraud
Laboratoire L3I
Vers un modèle formel en analyse à objets
Pascal André
IRIN, Faculté des Sciences et des Techniques, Université de Nantes

Jeudi 17 octobre

8 h 30 - 10 h 15 Session: Bases de Données et Objets

présidée par Michel Dao Centre National d'Etudes des Télécommunications, Paris
Raisonnement Taxinomique dans les Bases de Données Objets Spatiales
Farouk Mansouri
Laboratoire d'ingénierie des Systèmes d'Information INSA-Lyon
Modifications Virtuelles d'une Hiérarchie de Classes
Zohra Bellahsene
LIRMM
Intégration de langages et de bases de données à objets: une approche par les méta-objets
Stéphane Demphlous, Franck Lebastard
INRIA/CERMICS

10 h 15 - 10h 45 Pause

10h 45 - 12 h 30 Session: Représentation par Objet

présidée par Marianne Huchard LIRMM
Construction de hiérarchies conceptuelles pour l'organisation de connaissances
Isabelle Bournaud, J.-G. Ganascia
LAFORIA-IBP, Université Paris IV
Fondements de la révision dans un langage d'objets simple
Isabelle Crampé, Jérôme Euzenat
INRIA Rhône-Alpes
Analyse des besoins en représentation et raisonnement dans une représentation à objets : L'exemple de Y3
MP Chouvet, F Le Ber, J Lieber, L Mangelinck, A Napoli, A Simon
CRIN CNRS - INRIA Lorraine

12 h 30 - 13h 45 Déjeuner

14 h - 15 h Conférence invitée

Introduction par Amedeo Napoli Loria
La programmation par règles dans le langage CLAIRE
Yves Caseau
Bouygues

15 h - 17 h promenade

17 h - 18 h 15 Session: La Classification

présidée par Amedeo Napoli Loria
Les incertitudes de la classification incertaine
Roland Ducournau
L.I.R.M.M.
Appariements dirigés pour le Raisonnement par Classification sur des Hiérarchies de Graphes
Philippe Vismara
L.I.R.M.M.

Vendredi 18 octobre

8 h 30 - 9 h 45 Session: Applications

présidée par Jacques Malenfant Université de Montréal
Un modèle de représentation de connaissances pour l'imputation comptable
Timo Breidenstein, Francis Wolinski
Informatique CDC DT-RDT

9 h 45 - 10 h 45 Conférence invitée

Introduction par Jean-François Perrot LAFORIA, Paris
Synthèse de types dans les langages à objets.
Didier Remy
INRIA-Rocquencourt

10 h 45 - 11h 15 Pause

11h 15 - 12 h 30 Table ronde

présidée par Pr Stefano Spaccapietra École Polytechnique Fédérale de Lausanne
Représentation Par Objets et Bases de Données Objet

12 h 30 - 14h Déjeuner

14 h - 15 h 30 Session : Objets et Logiques

présidée par Pierre-Yves Schobbens Université de Namur
C3L: a System Integrating Description Logics and Frames
T. Berger, T. Kessel, F. Rousselot, M. Schlick
ERIC, ENSAIS
Liaison Dynamique: Sémantique Formelle et Exploitation Fonctionnelle
Laurent Dami
Université de Genève Centre Universitaire d'Informatique
LCPAIDE: un langage de concepts et de propositions hybride reposant sur une syntaxe unique
Gilles Kassel
Université de Technologie de Compiègne

15 h 30- 16 h Café d'adieu - Clôture du colloque LMO