From corsini@labri.u-bordeaux.fr Wed May 11 14:43:35 EDT 1994 Article: 10383 of comp.lang.prolog Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:10383 Path: honeydew.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!newsfeed.pitt.edu!godot.cc.duq.edu!news.duke.edu!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!EU.net!julienas!sophia.inria.fr!taloa.unice.fr!ws41.cnusc.fr!ciril.fr!univ-lille1.fr!zaphod.crihan.fr!news.univ-rennes1.fr!cribx1.u-bordeaux.fr!labri!corsini From: corsini@labri.u-bordeaux.fr (Marc-Michel CORSINI) Newsgroups: comp.lang.prolog Subject: JFPL'94 Program and registration form Followup-To: poster Date: 3 May 1994 13:26:06 GMT Organization: Laboratoire Bordelais de Recherche en Informatique Lines: 380 Distribution: world Message-ID: <2q5jde$7ec@serveur.cribx1.u-bordeaux.fr> NNTP-Posting-Host: numero6.labri.u-bordeaux.fr Keywords: Logic Programming Cher(e)s Collegue(s), Veuillez trouver ci joint le programme des JFPL'94 (Journees Francophones de Programmation en Logique), ainsi que le formulaire d'incription. Veuillez excuser une eventuelle multiple reception de ces informations. ------------------------------------------------------------------- Journees Francophones de Programmation en Logique JFPL'94 Universite de Bordeaux I 351, Cours de la Liberation 33405 Talence Cedex 25--27 Mai 1994 ------------------------------------------------------------------- Organisees par: LaBRI, Universite de Bordeaux I AFCET Prolog ------------------------------------------------------------------- Programme des journees ------------------------------------------------------------------- Comite d'organisation Michel Billaud, LaBRI Marc-Michel Corsini, LaBRI Paul Yves Gloess, LaBRI Kaninda Musumbu, LaBRI Antoine Rauzy, LaBRI Comite de lecture Y. Bekkers, IRISA P. Boizumault, UCO J-F. Boulicaut, INSA S. Bourgault, CNET J-J. Chabrier, CRID J. Chassin de Kergommeaux, IMAG P. Codognet, INRIA M-M. Corsini, LaBRI P. Deransart, INRIA P. Devienne, LIFL Y. Deville, UCL (Belgique) M. Ducasse, IRISA P. Ezequel, LIRMM G. Ferrand, LIFO L. Fribourg, LIENS B. Legeard, ENSMM/LAB J. Malenfant, DIRO (Canada) J-F. Pique, GIA A. Rauzy, LaBRI M. Rueher, I3S P. Saint-Dizier, IRIT Secretariat Fabienne Clairand LaBRI, URA CNRS 1304 351, cours de la Liberation 33405 Talence Cedex tel: (+33) 56 84 60 92 fax: (+33) 56 84 66 69 -------------------------------------------------------------------- Les Journees Francophones de Programmation Logique (JFPL) sont organisees annuellement par le chapitre francais de l'Association for Logic Programming (groupe de travail ``Programmation en Logique'' de l'AFCET). Dans la tradition du seminaire organise par le CNET de 1983 a 1991, les JFPL sont un point de rencontre et d'echange priviligie pour la communaute de programmation en logique. Elles sont la vitrine des recherches theoriques et appliquees sur le domaine. Apres Lille en 1992 et Nimes en 1993, l'edition JFPL'94 aura lieu a Bordeaux en mai 1994. Le programme des journees inclura 19 presentations d'articles, des tutoriels sur la logique lineaire (Vincent Danos), les categories (Andrea Asperti) et la programmation logique concurrente avec contraintes (Philippe Codognet). Ainsi qu'une table ronde sur l'"enseignement de la programmation en logique" (Michel Rueher). ------------------------------------------------------------------ Programme des Journees MERCREDI 25 MAI 9h00 Accueil et Enregistrement des participants 9h30 Bienvenue 9h45-10h45 * Caracterisation de diverses semantiques pour des programmes logiques avec negation et application a la validation de programmes B. Malfon * Generalisation de l'Execution Etendue aux programmes normaux S. Renault 10h45-11h00 Pause 11h00-12h30 * Meta-interpretation et transformations de programmes logiques A. Parrain * Une interpretation abstraite en programmation logique avec contraintes C. Lecoutre * Etude de la terminaison des programmes logiques avec contraintes au moyen d'approximations F. Mesnard 12h30-14h30 Repas 14h30-16h00 Tutoriel * Une logique a grain fin : la logique lineaire V. Danos 16h00-16h30 Pause 16h30-18h00 * La programmation en logique avec contraintes pour une application de placement en conception VLSI J-P. Le Pape, R. Etienne * Utilisation de declarations en programmation logique avec contraintes E. Vetillard * Declarations de types en Prolog III L. Nguyen-Phuong 18h00-19h00 JFPL/ALP french subgroup meeting 19h00 Vin et Fromage JEUDI 26 MAI 9h00-10h30 Tutoriel * Category Theory: Basic notions and general philosophy A. Asperti 10h30-11h00 Pause 11h00-12h30 * Distinguer les variables distinguees V. Berry, P. Ezequel * Vers une typologie des semantiques operationnelles pour les extensions de Prolog vers les objets C. Rigotti, J-F. Boulicaut, M-S. Hacide * Inference de contraintes ensemblistes a partir de programmes Prolog - Application a la deduction de relations d'heritage C. Solnon, M. Rueher 12h30-14h30 Repas 14h30-16h00 * Une approche contrainte pour la conception preliminaire des plans de sol P. Charman * Redondances, elimination de variables et disequations lineaires J-L. Imbert * Verification symbolique et programmation logique avec contraintes : les raisons d'un mariage M-M. Corsini, A. Rauzy 16h00-16h30 Pause 16h30 Table Ronde * Enseignement de la programmation logique M. Rueher VENDREDI 27 MAI 9h00-10h30 Tutoriel * Programmation Concurrente avec Contraintes P. Codognet 10h30-11h00 Pause 11h00-12h00 * Low-level issues in implementing a high-performance continuation passing Binary Prolog engine P. Tarau * Operational semantics for DCGs F. Barthelemy 12h00-14h00 Repas 14h00-15h30 * Independance de la regle de calcul pour la resolution SLD avec retard M. Bergere, G. Ferrand, J-H. Rety * Une semantique inductive a la Herbrand pour la programmation logique contextuelle. Application a une notion de correction partielle A. Lallouet * Du ou dans les arbres I. Stephan --------------------------------------------------------------------- DESCRIPTION DE LA TABLE RONDE --------------------------------------------------------------------- Le but de cette table ronde est de permettre de debattre des motivations et objectifs de l'enseignement de la Programmation en Logique : - Situation actuelle de l'enseignement de la programmation en logique. Perception par les etudiants. - Role du paradigme programmation en logique dans un cursus scientifique. Apport a la formation en informatique. - Attentes du secteur industriel. Programmation en logique et genie logiciel. - Enseignement de la programmation en logique vs Enseignement de la logique. Contact: Michel Rueher I3S e-mail: mr@essi2.cerisi.fr -------------------------------------------------------------------- INSCRIPTION aux JFPL -------------------------------------------------------------------- L'inscription aux journees JFPL'94 est de 500FF pour les etudiants et les membres de l'ALP ; de 600FF pour les autres. Ces frais d'inscription comprennent : l'inscription a la conference, les pauses cafe/the, le vin et fromage et un exemplaire des actes des journees. Les repas ne sont pas inclus, les participants pourront manger dans les nombreux restaurants et cafeterias proches du campus (5mn a pied). Le payement peut se faire: (*) par cheque a l'ordre d'ADERIS (*) en liquide au bureau d'inscription le jour de votre arrivee -------------------------------------------------------------------- FICHE D'INSCRIPTION -------------------------------------------------------------------- (A remplir en lettres capitales) NOM: PRENOM: AFFILIATION: ADRESSE: Telephone: Fax: e-mail: TOTAL: Veuillez trouver ci-joint: 1. mon cheque 2. je payerai a la conference 3. photocopie de ma carte d'etudiant 4. mon numero ALP ------------------------------------------------------------------ LISTE d'HOTELS __________________________________________________________________ Les hotels ci-dessous ont ete selectionnes a partir de la liste de l'Office de Tourisme, en fonction de leur commodite d'acces, de leur taille, et de leurs tarifs. NB: les organisateurs declinent toute responsabilite. Ils n'ont pas essaye les hotels cites. ---- Pres de la place de la Victoire (avantages: acces rapide a la gare par bus 7/8, et a la conference par bus F/G) (***) Victoria Garden Residence, 127 cours de la Somme, tel 56 33 48 48, fax 56 33 48 49 100 chambres de 195 a 300 F (**) Relais d'aquitaine, 14 place de la Victoire tel 56 94 00 19, fax 56 91 44 94, telex 571 983 55 chambres de 275 a 350 F ---- Pres du Grand Theatre (avantages: proximite restaurants/cinemas, navette pour l'aeroport) Acces a la gare par bus 7/8. Pour aller a la conference rejoindre la place de la Victoire (2 kms a pieds ou bus 7/8), puis prendre ligne F/G. (***) Hotel de la Presse, 6 rue Porte Dijeaux tel 56 48 53 88, fax 56 01 05 82 29 chambres de 265 a 315 F (**) Hotel Etche Ona, 11 rue Mautrec tel 56 44 36 49, fax 56 44 59 58 33 chambres de 210 a 325 (**) Hotel des Pyrenees, 12 rue Saint Remi tel 56 81 66 58 17 chambres de 120 a 230 (**) Hotel des Quatre Soeurs, 6 rue du XXX Juillet tel 56 48 16 00, fax 56 01 04 28 35 chambres de 200 a 370 (**) Hotel de la Tour Intendance, 16 rue de la Vieille Tour tel 56 81 46 27, fax 56 81 60 90 20 chambres de 190 a 280 ---- Quartier Meriadeck (avantages: sur le trajet de la navette pour l'aeroport, pas tres loin du centre-ville, hotels de grande capacite). Acces a la gare par bus 7/8. Pour aller a la conference prendre bus F, ou rejoindre la place de la Victoire par le bus 7/8), puis prendre ligne F/G. (**) Hotel Ibis, 35 cours du Marechal Juin tel 56 90 10 33, fax 56 96 33 15, telex 572 918 203 chambres de 306 a 380 (*) Unotel, 37 cours du Marechal Juin tel 56 90 10 00, Fax 56 96 33 15, telex 472 918 109 chambres a 195 F ---- Pres de la gare Saint-Jean (avantage pour les arrivees/depart a des heures indues). Acces a la conference: ligne 9 jusqu'a la barriere Saint-Genes (ou 7/8 jusqu'a la place de la Victoire), puis ligne F/G. (**) Hotel Arcade, 60 rue Eugene Leroy (en face la gare) tel 56 91 40 40, fax 56 31 92 33, telex 550 952 140 chambres de 275 a 325 (**) Atlantic, 69 rue Eugene Leroy tel 56 92 92 22, fax 56 94 21 42 36 chambres de 200 a 290 ---- Aeroport: acces a la conference par taxi, voiture de location, ou navette pour le centre ville puis bus (ni rapide, ni economique). (***) Le Patio, 94 av kennedy a Merignac tel 56 55 93 42, fax 56 47 64 94, telex 540 183 81 chambres de 395 a 415 (**) Adhotel, aeroport de Merignac tel 56 34 40 99, fax 56 34 29 78, telex 560 330 56 chambres de 200 a 259 (*) Les Charmilles, 408 avenue de Verdun a Merignac tel 56 97 53 01 17 chambres de 110 a 190 F -- There will be a sig when our local net is reliable. For now, I would rather stay anonymous.