----------------------------------------------------------------------- Journées du GDR Programmation 20-22 novembre 1996 Orleans ----------------------------------------------------------------------- Les journées du Groupement De Recherche (GDR) Programmation ont lieu une fois par an. Leur but est de refléter l'activité du GDR dans ses principaux axes de recherche, à savoir : Preuves et spécifications algébriques Interfaces et environnements Programmation fonctionnelle Programmation par objets Programmation parallèle et distribuée Contraintes et programmation logique Ces journées auront lieu les jeudi 21 et vendredi 22 novembre 1996 à l'Université d'Orleans. Elles seront précédées le mercredi 20 novembre 1996 des journées de pôles du GDR. Appel à participation ---------------------- Vous trouverez ci-joint, le programme des journées plénières la liste provisoire des démonstrations et des exposes des journés de pole, ainsi qu'un bulletin d'inscription BULLETIN A REMPLIR ET A RETOURNER AVANT LE 23 OCTOBRE 1996 à : clairand@labri.u-bordeaux.fr exclusivement par courrier electronique. Le site http://web.univ-orleans.fr/LIFO/Journees-GDR/ contient une copie de ce document et de nombreuses informations pratiques (plan d'acces, liste d'hotels, ...) ----------------------------------------------------------------------- Jeudi 21 Novembre 1996 (journée plénière) ----------------------------------------------------------------------- 8h30-9h00 : Accueil 9h00-10h30 : session programmation fonctionnelle Objective ML. Didier Rémy et Jérôme Vouillon INRIA-Rocquencourt (ML). Automatisation de la stratégie des accumulateurs par les systèmes de réécriture "épluchés". Françoise Bellegarde, Stéphane Varnier, LIB, Univ. Besançon (TFTP). Grammaires Attribuéés et Folds: Opérateurs de Contrôle Génériques. E. Duris, D. Parigot, G. Roussel, M. Jourdan (pôle Interfaces et Environnements, Minotaur) 10h30-11h00 : pause 11h00-12h00 : session programmation parallèle et distribuée (Ch. Queinnec) Parallélisation de boucles sisal: génération de pipelines. I. Attali, D Caromel, R Guider, A Wendelborn Un modèle orienté objet pour la synchronisation et la configuration d'applications réparties. JP Bahsoun, L Feraud, JF Pouilly, JC Sakdavong 12h00-13h30 : déjeuner 13h30-14h00 : démonstrations 14h00-14h30 : session programmation parallèle et distribuée (suite) Les amalgames: un mécanisme pour la structuration et la construction incrémentale de programmes déclaratifs. O. Michel 14h30-16h00 : session programmation objet (Ch. Dony) Satisfaction de contraintes et programmation par objets. Francois Pachet (LAFORIA) OQUAL : un langage commun pour les assertions et les reqûetes basé sur Eiffel Ph.Collet (I3S) Compréhension de la délégation, application aux objets morcelés. D.Bardou (LIRMM) 16h00-16h30 : pause 16h30-18h00 : session contraintes et programmation logique (Ph. Devienne) Preuve de terminaison par résolution de contraintes d'ordre sur une structure partagée. Thomas Genet et Isabelle Gnaedig, CRIN/INRIA (DEMETHEO) Slicing pour programmes Prolog. S. Schoenig et M. Ducasse, Rennes (LANDE) Programmes concurrents par contraintes et logique linéaire non-commutative. P. Ruet, F. Fages, LIENS, Paris (SCALP/GASP). 18h30-19h30 : réunion de l'équipe de direction élargie sur l'avenir du GDR PROGRAMMATION. ----------------------------------------------------------------------- Vendredi 22 novembre 1996 (journée plénière) ----------------------------------------------------------------------- 8h30-10h30 : session interfaces et environnements (I. Attali) Manipuler les graphes avec Cabri-graph. Y. Carbonneaux, J.-M. Laborde, M. Madani (MC2) Un langage objet pour la construction d'interfaces graphiques. E. Gallesio (CISe) Les trois services du noyau sémantique indispensables a l'IHM. J-D. Fekete (ISIS) TrFl: un langage de description de transformations. I. Attali et C. Roudet (Minotaur) 10h30-11h00 : pause 11h00-11h30 : session contraintes et programmation logique (suite) Ensembles intentionnels par les substitutions explicites. G. Richard, F. Saubion et A. Tellez-Arenas, Orleans (SCALP/CQFD). 11h30-12h00 : session preuves et spécifications algébriques (Ch. Paulin) De la décidabilité de l'unifiabilité dans les systèmes de réécritures. Sebastien Limet et Pierre Rety, Orleans (CQFD) 12h00-13h30 : déjeuner 13h30-14h00 : démonstrations 14h00-14h45 : conférence invitée Yves Caseau, Directeur de Recherche chez Bouygues CLAIRE: Un language pour résoudre des problèmes d'optimisation combinatoire par propagation de contraintes : Cet exposé présente l'application de la programmation par contrainte à un certain nombre de problèmes d'optimisation combinatoire, classiques tels que l'ordonnancement ou les tournées, ou plus originaux, tels que ceux que nous avons traité chez Bouygues. Nous montrons comment des algorithmes hybrides, combinant des techniques de propagation avec d'autres méthodes nous ont permis d'obtenir des résultats satisfaisants (compétitifs). Nous présentons ensuite le langage CLAIRE, qui nous sert à implémenter ces algorithmes hybrides de facon efficace ET élégante. 15h00-16h30 session preuves et spécifications algébriques (suite) Vérification d' un modèle de procédé de développement. Xavier Crégut, Bernard Coulette (ADER) From incomplete proofs to incomplete lambda-terms in Type Theory. C. Munoz (COQ) Spécification algébrique et sortes ordonnées pour un multi-modeleur déxtensions de cartes. Yves Bertrand et Pascal Lienhardt (SAGACE) ----------------------------------------------------------------------- Démonstrations ----------------------------------------------------------------------- Déduction Automatique avec Contraintes en DATAC. Laurent Vigneron, Nancy (DEMETHEO) Prelog, un processeur Prolog. G. Canet et K. Musumbu, Bordeaux (GASP) Using CalICo for interactive books. M. Delest, J. M. Fedou, Bordeaux (MC2) Scilab et Metanet: calcul sur les graphes et les réseaux. C. Gomez et M. Goursat (MC2) Manipuler les graphes avec Cabri-graph. Y. Carbonneaux, J.-M. Laborde, M. Madani (MC2) Interfaces graphiques en Scheme. E. Gallesio (CISe) Outils de navigation et de maintenance dans un script de preuve. O. Pons (Minotaur) Compilation du filtrage avec types dépendents. C. Cornes, COQ, A new proof manager and graphic interface for the larch prover. Frédéric Voisin, SAGACE Preuve de théorèmes dans les théories de Horn avec des Algèbres prédéfinies. N. Andrianarivelo, W Bousdira, J. Chabin, CQFD ----------------------------------------------------------------------- Journées des pôles Mercredi 20 novembre 1996 sessions en parallèles (liste provisoire) ----------------------------------------------------------------------- Pole "Contraintes et Programmation Logique" (Philippe Devienne) : --------------------------------------------------------------- Graphes PATCH: une structure de données pour la complétion efficace des groupes finiment présentés. Christopher Lynch, Polina Strogova, Nancy (DEMETHEO) Travailler avec des ensembles infinis de termes représentés par des termes iterés. A.Amaniss, M.Hermann, D. Lugiez, Nancy (DEMETHEO) Filtrage d'ordre supérieur et automates. H. Comon et Y. Jurski, Orsay (DEMETHEO) La recherche de cycles pour la compilation logique. O. Roussel et P. Mathieu, Lille (SCALP). Une caractérisation des arbres SLD en programmation logique avec contraintes A. Tessier, Orleans (SCALP) Induction de programmes logiques avec contraintes. L. Martin et C. Vrain, Orleans (SCALP). CSP continu et consistance locale. F. Benhamou et L. Granvilliers, Orleans (SCALP). Une sémantique operationnelle pour la relaxation de contraintes. P. Boizumault, Nantes (SCALP). Titre à préciser JL. Imbert, Clermont-Ferrand (SCALP). Boosting the Interval Narrowing Algorithm. O. Lhomme, A. Goetlib, M. Rueher, P. Taillibert (SCALP). Engineering Transformations of Attributed Grammars in LambdaProlog. Olivier Ridoux, Rennes (LANDE) Parametric Polymorphism for Logic Programming. P. Louvet et O. Ridoux, Rennes (LANDE) Pole "Interfaces et Environnements" (Isabelle Attali) : ------------------------------------------------------ Outils de navigation et de maintenance dans un script de preuve. O. Pons (Minotaur) Généricité dans les Grammaires Attribuées. Loic Correnson (Minotaur) Serveur www pour Calico. Maylis Delest (MC2): Pole "Preuves et spécifications algébriques" (Christien Paulin) : ------------------------------------------------------------------ Logique et Synthèse de Programmes Impératifs. P. Bellot, J.-P. Cottin, A. Demaille, J. Leneutre, D. Sarni, E. Zarpas (ADER) Assistance à la preuve de programmes UNITY à l'aide du démonstrateur COQ. X. Thirioux, G. Padiou (ADER) Procédures de décision dans les systèmes avec types dépendents. Samuel Boutin (COQ) Arbres de Boehm et Lustre. H. Laulhere (COQ) Un calcul de modules pour Coq. J. Courant (COQ) Preuve de théorèmes dans les théories de Horn avec des Algèbres prédéfinies. N. Andrianarivelo, W Bousdira, J. Chabin (CQFD) Modélisation et preuve d'architectures distribuées avec le démonstrateur de Boyer-Moore. Laurence Pierre (CQFD) Spécifications algébriques avec état implicite. C. Khoury (SAGACE) Introduction du temps réel dans les spécifications algébriques avec états. Stefan Beroff, Marc Aiguier (SAGACE) Sur le test probabiliste de formules et ses applications au test de logiciel. Pascale Le Gall, Laurent Bouaziz et Gilles Bernot (SAGACE) Une méthode de retro-ingénierie utilisant les spécifications algébriques. Christine Choppy et Sophie Cherki (SAGACE) Dérivation de systèmes de réécriture pour construire efficacement des subdivisions planes. Jean-François Dufourd et David Cazier (SAGACE) Pole Programmation Fonctionnelle (Michel Mauny) : ----------------------------------------------- Ajout de conditionnelle dans un système de modulesà la Caml Special Light. Francois Pessaux, INRIA-Rocquencourt (ML). Inférence de types pour le $\pi$-calcul polyadique avec relation de sous-typage. Mina Abdiche, LRI, Univ. Paris 11 (ML). Simulation des systèmes forward-branching par des systèmes constructeurs. Bruno Salinier, Robert Strandh, LaBRI, Univ. Bordeaux I L'approche Berry-Curien des langages fonctionnels: application au parallélisme en processus statiques. Gaétan Hains, LIFO, Univ. d'Orléans. Pole Programmation par Objet (Christophe Dony) : ---------------------------------------------- Dépendances interobjets et sémantique formelle. M.Blay (U.Nice) Utiliser les objets pour la programmation // et répartie - Synthèse. J.P.Briot (LAFORIA) Compilation de la liaison dynamique des langages de classes. Le compilateur SmallEiffel. D.Colnet (CRIN) DIMA : un environnement de conception et de réalisation de systèmes multi-agents. Z. Guessoum (Laforia) "Design patterns" pour l'intégration de regles et d'objets. F.Pachet (Laforia) Description de NeoClasstalk. Frederic Rivard (Ecole des Mines de Nantes) Méta-manipulations en génie logiciel. R.Rousseau (I3S) Application du cadre de conception modulaire d'objets CROME à Smalltalk Gille Vanwormhoudt (LIFL) Le contrôle de type en objet: le noeud problème et des solutions. J.C.Royer (IRIN) ----------------------------------------------------------------------- QUELQUES INFORMATIONS PRATIQUES (voir aussi http://www.univ-orleans.fr/LIFO/Journees-GDR/) ----------------------------------------------------------------------- ------------------ Inscription ------------------ L'inscription aux journées donne droit à un exemplaire des actes des journées, aux repas de midi et aux pauses-café. ---------------------------------- Remboursement de frais de mission ---------------------------------- Pour se faire rembourser les frais de mission à Orleans, les participants devront envoyer leurs titres de transport à Fabienne Clairand, à l'issue de leur mission. Les participants "non CNRS" devront envoyer, en plus, un ordre de mission sans frais émanant de leur laboratoire. ---------------------------- Comment se rendre à Orleans ---------------------------- Compter une heure en train entre Paris Austerlitz et la Gare des aubrais. Il est fortement conseillé d'acheter son billet un MOIS à l'avance afin de bénéficier de 50% de réduction (JOKER). ------------------ Hôtels ------------------ Une liste complete d'hotels est disponible sur le site web des journées. Pour chaque hotel, le prix, le nombre de chambres et le moyen d'acces au lieu des journées est précisé. Il y a m^eme des photos !!! Si vous choisissez un hotel en ville, compter 30mn de bus du centre-ville au lieu des journées. ------------------ Lieu des journées ------------------ Les journées du GDR Programmation auront lieu au Domaine Universitaire Orleans La Source, tout pres du LIFO (Laboratoire d'Informatique Fondamentale d'Orleans). ----------------------------------------------------------------------- Bulletin d'Inscription/Ordre de mission ----------------------------------------------------------------------- INSCRIPTION JOURNEES DU GDR PROGRAMMATION 96 A remplir et renvoyer AVANT LE 23 OCTOBRE 1996 à : clairand@labri.u-bordeaux.fr VOYAGE ------ Veuillez indiquer ci-dessous votre jour et heure d'arrivee à Orleans. J'arriverai le ....................................... par le train de (heure) .............................. IL VOUS EST DEMANDE DE PRENDRE DES BILLETS JOCKER AFIN DE REDUIRE LES COUTS DE TRANSPORT (billet prix un mois a l'avance= 50 % de reduction) INSCRIPTION ----------- NOM : ............................................................ PRENOM : ...................................................... DATE DE NAISSANCE : ............................................. Numero de Securite Sociale : .............................. NOM du pole du GDR Programmation : ............................... Nom du projet GDR Programmation : ................................ date de depart : ........................................... date de retour : .......................................... Motif du Deplacement : JOURNEES du GDR PROGRAMMATION Destination principale de la mission : ORLEANS Moyen de transport utilise : ............................................... Adresse Personnelle : ....................................................... ............................................................................... Adresse Administrative : .................................................... ............................................................................... TELEPHONE : .................................................................. TELECOPIE : .................................................................. email : .................................................................. Personnel CNRS [ ] Personnel non CNRS [ ] FONCTIONNAIRE : Grade ................ CONTRACTUEL : Categorie/Echelon .............. Indice nouveau majore ....... POUR LES ETUDIANTS [ ] Allocataire de Recherche Montant remuneration ..................... [ ] BDI Montant remuneration ..................... REPAS ----- Je prendrais mes repas de midi(rayer la mention inutile) Mercredi 20/11 oui non Jeudi 21/11 oui non Vendredi 22/11 oui non ATTESTATION DE NON PAIEMENT: IL EST IMPERATIF DE VOUS PROCURER, AUPRES DE VOTRE UNIVERSITE, UNE ATTESTATION DE NON PAIEMENT POUR LA DUREE DE CE SEJOUR. ENVOYER EGALEMENT UN RIB POUR LES PERSONNES N'AYANT JAMAIS FAIT DE MISSIONS CNRS