LMO 1996: Leysin, Switzerland

Session 1: Object-oriented programming

• Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz: Using Metaobjects to Model Concurrent Objects with PICT. 1-12
• François Laburthe, Yves Caseau: Ecrire du code élégant pour des algorithmes complexes. 13-28
• Philippe Collet, Roger Rousseau: Classification et réification des assertions - Application au langage Eiffel. 29-45

Session 2: Object-oriented analysis and design

• Michel Augeraud: Conception orientée objet d'applications concurrentes. 46-61
• Pascal André: Vers un modèle formel en analyse à objets. 62-78

Session 3: Objects and data bases

• F. Mansouri: Raisonnement taxinomique dans les bases de données objets spatiales. 79-81
• Zohra Bellahsene: Modifications virtuelles d'une hiérarchie de classes. 92-107
• Stéphane Demphlous, Franck Lebastard: Intégration de langages et de bases de données à objets : une approche par les méta-objets. 108-119

Session 4: Object-oriented knowledge representation

• Isabelle Bournaud, Jean-Gabriel Ganascia: Construction de hiérarchies conceptuelles pour l'organisation de connaissances. 120-133
• Isabelle Crampe, Jérôme Euzenat: Fondements de la révision dans un langage d'objets simple. 134-149
• Marie-Pierre Chouvet, Florence Le Ber, Jean Lieber, Ludmila Mangelinck, Amedeo Napoli, Arnaud Simon: Analyse des besoins en représentation et raisonnement dans une représentation à objets - L'exemple de Y3. 150-169
• Yves Caseau: La définition de règles logiques sur les objets dans le langage Claire. 170-182

Session 5: Classification

• Roland Ducournau: Les incertitudes de la classification incertaine. 183-200
• Philippe Vismara: Appariements dirigés pour le raisonnement par classification sur des hiérarchies de graphes. 201-214

Session 6: Applications

• Timo Breidenstein, Francis Wolinski: Un modèle de representation des connaissances pour l'imputation comptable. 215-227

Keynote speaker

• Didier Rémy: Synthèse de types dans les langages à objets. 228-230

Session 7: Logic and objects

• T. Berger, T. Kessel, François Rousselot, Michael Schlick: C3L : un système qui intègre logique de description et frames. 231-246
• Laurent Dami: Liaison dynamique: sémantique formelle et exploitation fonctionnelle. 247-260
• Gilles Kassel: LCPaide: un langage de concepts et de propositions hybride. 261-274