X-Mailer: exmh version 1.5.3 12/28/94 =+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+= From: (Francois Jacquenet) Date: Mon, 30 Jan 95 12:10:35 "MET *************************************************************** * JFPL'95 * * APPEL A PRESENTATION DE PROTOTYPES * * Report de la date limite * * * * * * Journees Francophones de Programmation en Logique * * * * Universite de Bourgogne * * Dijon - France * * 17, 18 et 19 mai 1995 * *************************************************************** Organisees par : CRID, Universite de Bourgogne. LAB, Universite de Franche-Comte. AFCET - GT Programmation en Logique (ALP France) Parrainees par : AFCET, INRIA. President des journees : Jean-Jacques Chabrier Vice-President : Bruno Legeard Responsable du challenge prototype : Francois Jacquenet Comite d'organisation : Jean-Jacques Chabrier, CRID Jacqueline Chabrier, CRID Francois Jacquenet, CRID Bruno Legeard, LAB Comite de lecture : H. AIT KACI, SFU (Canada) H. BERINGER, IBM P. BOIZUMAULT, Ecole des Mines de Nantes J.F. BOULICAUT, LISI S. BOURGAULT, CNET Lannion F. BRY, Universite de Munich P. CODOGNET, INRIA Rocquencourt M-M. CORSINI, LaBRI P. DERANSART, INRIA Rocquencourt P. DEVIENNE, LIFL Y. DEVILLE, UCL (Belgique) M. DINCBAS, COSYTEC M. DUCASSE, IRISA/INSA G. FERRAND, LIFO L. FRIBOURG, LIENS/CNRS E. HUBERT, SLIGOS-DELPHIA J.L. IMBERT, Universite de Clermont-Ferrand J. JOURDAN, Thomson LCR H. KIRCHNER, CRIN et INRIA Lorraine J.F. PUGET, ILOG O. RIDOUX, IRISA/INRIA M. RUEHER, I3S P. SAINT-DIZIER, IRIT P. TAILLIBERT, Dassault Electronique M. VAN CANEGHEM, LIM M.C. VILAREM, LIRMM Apres les precedentes Journees Francophones de Programmation en Logique qui se sont tenues a Lille (1992), Nimes (1993) et Bordeaux (1994), le groupe de travail Programmation en Logique de l'AFCET, chapitre francais de l'ALP, a choisi Dijon, capitale des Ducs de Bourgogne, comme site d'accueil pour son edition 1995. JFPL'95 sera organise conjointement par le Centre de Recherche en Informatique de Dijon (CRID) de l'Universite de Bourgogne et le Laboratoire d'Automatique de Besancon (LAB) de l'Universite de Franche-Comte. Les themes abordes durant ces journees concerneront tous les domaines theoriques et experimentaux relevant de la programmation en logique, notamment (liste non exhaustive) : Semantiques Analyse et transformation de programmes Conception, implantation et compilation de langages Methodes et environnements de programmation Parallelisme Extensions de la programmation en logique Satisfaction de contraintes Bases de donnees deductives Langage naturel Representation des connaissances Applications de la programmation en logique Une session particuliere sera consacree aux applications industrielles de la Programmation en Logique avec Contraintes. APPEL A PRESENTATION DE PROTOTYPES DE RECHERCHE Pour "connaitre et faire connaitre" les travaux d'experimentation en programmation logique et ses extensions, JFPL'95 organise, en parallele avec le programme scientifique, un challenge des meilleurs prototypes de recherche developpes dans les laboratoires universitaires. Les auteurs de prototypes doivent envoyer une presentation de deux a trois pages au secretariat des journees avant le 15 fevrier 1995. Les prototypes retenus seront montres lors des journees et pourront concourir au challenge du meilleur prototype de recherche decerne par les participants aux JFPL'95. La presentation des prototypes retenus sera editee dans les actes par Teknea Editions. Les trois meilleures presentations recevront un prix. DATES IMPORTANTES : Date limite de soumission : 15 fevrier 1995. Reponse aux auteurs : 20 Fevrier 1995. Secretariat : Mme Dominique BELIME CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.87 - Fax : (33).80.39.58.15 e-mail : jfpl95@crid.u-bourgogne.fr Responsable du challenge : Francois JACQUENET CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.44 - Fax : (33).80.39.58.15 e-mail : jacquenet@depinfo.u-bourgogne.fr Return-Path: jq@lirmm.lirmm.fr Received: from [193.49.104.48] ([193.49.104.48]) by lirmm.lirmm.fr (8.6.10/8.6.4) with SMTP id LAA22591; Tue, 28 Mar 1995 11:36:45 +0200 Date: Tue, 28 Mar 1995 11:36:45 +0200 X-Sender: jq@lirmm.lirmm.fr Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Mailer: Eudora F1.5.1 To: gascuel, hr, reitz, js, mephu, pierre, pompidor, vignal, cdlh, gracy@EMBL-Heidelberg.DE, jappy, vismara From: jfpl95@depinfo.u-bourgogne.fr (transmis par jq@lirmm.lirmm.fr (Joel Quinqueton)) Subject: Appel a Participation : JFPL95 *************************************************************** * APPEL A PARTICIPATION * * * * JFPL'95 * * Journees Francophones de Programmation en Logique * * * * Universite de Bourgogne * * Dijon - France * * 17, 18 et 19 mai 1995 * *************************************************************** Organisees par : CRID, Universite de Bourgogne. LAB, Universite de Franche-Comte. AFCET - GT Programmation en Logique (ALP France) Parrainees par : AFCET INRIA Region de Bourgogne Ville de Dijon Universite de Bourgogne President des journees : Jean-Jacques Chabrier Vice-President : Bruno Legeard Responsable du challenge prototype : Francois Jacquenet Comite d'organisation : Jean-Jacques Chabrier, CRID Jacqueline Chabrier, CRID Dominique Belime, CRID Francois Jacquenet, CRID Buno Legeard, LAB Comite de lecture : H. AIT KACI, SFU (Canada) H. BERINGER, IBM P. BOIZUMAULT, Ecole des Mines de Nantes J.F. BOULICAUT, LISI - Lyon F. BRY, Universite de Munich P. CODOGNET, INRIA Rocquencourt M.M. CORSINI, LaBRI - Bordeaux P. DERANSART, INRIA Rocquencourt P. DEVIENNE, LIFL - Lille Y. DEVILLE, UCL (Louvain-La-Neuve Belgique) M. DINCBAS, COSYTEC - Orsay M. DUCASSE, IRISA/INSA - Rennes G. FERRAND, LIFO - Orleans L. FRIBOURG, LIENS/CNRS - Paris E. HUBERT, SLIGOS-DELPHIA J.L. IMBERT, Universite de Clermont-Ferrand J. JOURDAN, THOMSON LCR H. KIRCHNER, CRIN et INRIA Lorraine J.F. PUGET, ILOG O. RIDOUX, IRISA/INRIA - Rennes M. RUEHER, I3S - Nice P. SAINT-DIZIER, IRIT - Toulouse P. TAILLIBERT, DASSAULT ELECTRONIQUE M. VAN CANEGHEM, LIM - Marseille M.C. VILAREM, LIRMM - Montpellier Apres les precedentes Journees Francophones de Programmation en Logique qui se sont tenues a Lille (1992), Nimes (1993) et Bordeaux (1994), le groupe de travail Programmation en Logique de l'AFCET, chapitre francais de l'ALP, a choisi Dijon, capitale des Ducs de Bourgogne, comme site d'accueil pour son edition 1995. JFPL'95 sera organise conjointement par le Centre de Recherche en Informatique de Dijon (CRID) de l'Universite de Bourgogne et le Laboratoire d'Automatique de Besancon (LAB) de l'Universite de Franche-Comte. ------------------------------------------------------------------------------- + PROGRAMME DES JOURNEES + ------------------------------------------------------------------------------- MERCREDI 17 MAI 1995 8:45 - 9:15 Accueil et enregistrement des participants 9:15 - 9:30 Message de Bienvenue 9:30 - 11:00 Session CONTRAINTES 1 * Un modele d'execution reactif et interactif pour la programmation logique avec contraintes (J. Fowler, T. Sola - LCR Thomson-CSF ; F. Fages - LIENS) * Constraint rewrite programs : a way to evaluate CLP programs (G. Richard, F. Saubion - LIFO, Universite d'Orleans) * Prolog IV : langage et algorithmes (F. Benhamou - LIFO, Universite d'Orleans ; Touraivane - PROLOGIA) 11:00 - 11:30 Pause cafe 11:30 - 13:00 Session SEMANTIQUE * A generic fixpoint semantics for PROLOG and its application for abstract interpretation (B. Le Charlier - Universite de Namur (Belgique) ; P. Van Hentenryck - Brown University (USA)) * Redefinir l'enlisement pour la resolution SLDNF (J.H. Rety - INRIA Rocquencourt) * Preuves compositionnelles en programmation logique (A. Lallouet - LIFO, Universite d'Orleans) 13:00 - 14:15 Dejeuner 14:15 - 15:00 CONFERENCE INVITEE * Solvable set/hyperset context (E. Omodeo - Universite de Rome (Italie)) 15:00 - 15:30 Session EXTENSION * Logic Programming with Monads and Comprehensions (Y. Bekkers - Universite de Rennes 1 ; P. Tarau - Universite de Moncton (Canada)) 15:30 - 16:00 Pause cafe 16:00 - 17:30 Session BASES DE CONNAISSANCES - BASES DE DONNEES * Evaluation des methodes d'achevement par parties (O. Roussel, P. Mathieu - LIFL, CNRS URA 369, Universite de Lille 1) * Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases (C. Papp - University "Al. I. Cuza" Iasi (Roumanie)) * A mixed approach to negation in general datalog programs (V. Phan Luong - LIM, CNRS URA 1787, Universite de Marseille) 17:30 Depart pour la visite de cave ------------------------------------------------------------------------------- JEUDI 18 MAI 1995 8:30 - 10:00 Demonstration de prototypes 10:00 - 10:45 CONFERENCE INVITEE Applications et evolutions du langage CHIP M. Dincbas (COSYTEC) 10:45 - 11:15 APPLICATION Programmation par contraintes appliquee a l'industrie agro-alimentaire au Bresil A. Fernandez De Alencar, B. Vich (ABC BULL - Bresil) J.J. Chabrier (CRID, Universite de Dijon) 11:15 - 11:45 APPLICATION Utilisation de la PLC pour des systemes d'aide a la decision en planification et ordonnancement chez Dassault Aviation A. Chamard (DASSAULT Aviation) 11:45 - 13:15 Demonstration de prototypes 13:15 - 14:30 Dejeuner 14:30 - 15:15 CONFERENCE INVITEE Applications industrielles de PROLOG III et presentation de PROLOG IV Touraivane (PROLOGIA) 15:15 - 16:00 CONFERENCE INVITEE Applications et evolutions d'ILOG SOLVER J.F. Puget (ILOG) 16:00 - 16:30 Pause cafe 16:30 - 18:00 TABLE RONDE Les apports de la resolution par contraintes pour la resolution d'applications industrielles Avec la participation des societes COSYTEC, ILOG, PROLOGIA, DASSAULT Aviation, ABC BULL (Bresil) ; Animateur : B. Legeard (LAB, Universite de Franche-Comte) 18:00 - 19:00 Demonstration de prototypes 19:00 Reunion ALP France ------------------------------------------------------------------------------- VENDREDI 19 MAI 1995 9:00 - 10:00 TUTORIAL * Bases de Donnees Deductives (F. Bry - Universite de Munich) 10:00 - 11:00 Session BASES DE DONNEES * An Algebraic semantics for Datalog (E. Foustoucos, N. Spyratos - LRI, CNRS URA 410, Universite d'Orsay ; K. Lellahi - LIPN, CNRS URA 1507, Universite de Paris 13) * Regles de mises a jour et programmes Datalog (M. Halfeld Ferrari Alves, N. Spyratos - LRI, CNRS URA 410, Universite d'Orsay ; D. Laurent - LIFO, Universite d'Orleans) 11:00 - 11:30 Pause cafe 11:30 - 13:00 Session CONTRAINTES * Une application pragmatique de la consistance de chemins (P. Berlandier - I3S, Universite de Nice) * Resolution de problemes continus en PLC avec les intervalles (S. N'Dong, M. Van Caneghem - LIM, CNRS URA 1787, Universite de Marseille) * Algorithmes pour le traitement incremental des contraintes lineaires sur les nombres rationnels (N. Singer - Laboratoire d'informatique de Clermont-Ferrand) 13:00 - 14:15 Dejeuner 14:15 - 14:30 Remise des prix du challenge du prototype 14:30 - 16:00 Session RESOLUTION * Controle dynamique de la resolution pour les programmes logiques avec contraintes (F. Mesnard, S. Hoarau - Iremia, Universite de la Reunion) * Logique des defauts de Lukaszewicz : un demonstrateur base sur la SLD-resolution pour les theories ouvertes (P. Nicolas, B. Duval - Universite d'Angers) * Typage et validation - une adaptation du point de vue de Lee Naish (B. Malfon - LIFO, Universite d'Orleans) 16:00 Cloture des journees ------------------------------------------------------------------------------- + CHALLENGE PROTOTYPE + ------------------------------------------------------------------------------- Pour "connaitre et faire connaitre" les travaux d'experimentation en programmation logique et ses extensions, JFPL'95 organise, en parallele avec le programme scientifique, un challenge des meilleurs prototypes de recherche developpes dans les laboratoires francophones. Les prototypes presentes seront les suivants : * Programme de diagnostic de circuits electroniques (E. Loiez - Departement signaux et systemes, ISEN, Lille) * Approche par contraintes : application a un probleme de gestion de production (M. Sicard, L. Haudot - DASSAULT AVIATION ; P. Esquirol, P. Lopez - LAAS, Toulouse) * Verification de declarations en programmation logique avec contraintes (E. V etillard - LIM, CNRS URA 1787, Marseille) * CLPS : un langage de PLC ensembliste (F. Ambert, B. Legeard, H. Zidoum - LAB, CNRS URA 1785, Besan5on) * Demonstration du prototype Chimera : un systeme de Base de Donnees Deductif et Oriente Objet (P. Bonnet, S. Bressan - ECRC Munich (Allemagne)) * MINOS, Analyse et Simulation d'Hypernets (A. Lefort, P. Yim - LAIL, CNRS URA 1440, Lille) * The theorem prover SATCHMO : strategies, heuristics and applications (F. Bry - Universite de Munich) * Concept : a system for deriving datalog inheritance (M.A. Oros, P.Y. Gloess - LaBRI, ENSERB et Universite de Bordeaux I, CNRS URA 1304) * The clp(FD) system (P. Codognet, D. Diaz - INRIA Rocquencourt) * SCORE(FD/B) : resolution de problemes SAT aleatoires et structures (J. Chabrier, V. Juliard, J.M. Richer - CRID, Dijon) * Outil d'aide a l'elaboration d'ordonnancement cyclique pour les lignes de traitement de surface (C. Varnier, P. Baptiste, B. Legeard - LAB, ENSMM, CNRS URA 1785, Besancon) * U-Log 3 = datalog + constraints (P.Y. Gloess, M.A. Oros - LaBRI, ENSERB et Universite de Bordeaux I, CNRS URA 1304 ; Chu Min Li - UTC, CNRS URA 817 et LAMIFA, Amiens) * Une implementation d'un systeme cooperatif pour la resolution de contraintes sur les reels (P. Marti - ESSI, Nice) * Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles (C. Gervet - ECRC, Munich (Allemagne)) * Un modele d'architecture multi-agents entierement ecrit en Prolog (N. Bensaid, P. Mathieu - LIFL, CNRS URA 369, Lille 1) * Overview of Miles and its constraint solving mechanism (P. Bellot - ENST Paris ; O. Camp, C. Matiachoff - IBM Paris) * Une approche declarative et non deterministe de la programmation logique par objets mutables (M. Ngomo, J.P. Pecuchet, A. Drissi-Talbi - LIR INSA de Rouen) * SetX2 : un langage logico-fonctionnel manipulant des ensembles finis et infinis (P. Yim - LAIL, EC Lille, CNRS URA 1440) * TALC : un tuteur pour la construction de figures geometriques logiquement correctes (C. Desmoulins - CRIN, Nancy) * Evaluation repartie asynchrone de requetes DATALOG (V. Berry, P. Ezequel - LIRMM, Montpellier) * Un langage de programmation en logique propositionnelle base sur des techniques de reecriture (C. Roblot - CRID, UniversitE de Dijon) * Optimisation de dEcoupe tridimensionnelle dans un processus de transformation du bois (S. Laduguie, O. Decroux - CRID, UniversitE de Dijon ; C. Tripier - SociEtE Mauchamp, Dijon) * ELYCE : Optimisation de l'emploi du temps des lycEes et des colleges (D. Guinaudeau - BULL) ------------------------------------------------------------------------------- + INFORMATIONS PRATIQUES + ------------------------------------------------------------------------------- Lieu : Universite de Bourgogne Faculte de droit Amphitheatre Guitton (extension de la faculte de droit) Boulevard Gabriel Campus universitaire 21000 DIJON France Acces : Jusqu'a Dijon : SNCF : TGV a 1h35 de Paris AUTOROUTE : A6-A38 vers Paris Lyon A26 vers Reims, Calias, Lille A31 vers Nancy, Metz, Luxembourg A36 vers Mulhouse, Strasbourg A39 vers Dole AEROPORT : Dijon-Bourgogne Liaisons regulieres, nationales et internationales a 6 km au sud-est de Dijon B.P. 25 21601 Longvic Cedex Tel : 80.67.67.67 Fax : 80.63.02.99 Jusqu'a la faculte de droit : * autobus : ligne 9 a prendre en gare, arret sur le campus : ERASME ou SAVARY * taxis a prendre en gare. Hebergement : Nombreux hotels. Une liste des hotels vous sera adressee des reception de votre bulletin d'inscription. (ATTENTION !!!, Dijon est une ville touristique et les hotels sont assez charges au mois de mai.) Vous pouvez aussi contacter l'office du tourisme de Dijon : Office du tourisme de Dijon Place Darcy B.P. 1309 21022 Dijon Cedex Tel : 80.44.11.44 Minitel : 3615 ITOUR ------------------------------------------------------------------------------- + BULLETIN D'INSCRIPTION A JFPL'95 + ------------------------------------------------------------------------------- Droits d'inscription : Avant le 20 avril 1995 : Universitaire : 1 000FF Industriel : 1 700FF Etudiant : 400FF (envoyer une photocopie de la carte d'etudiant de l'annee en cours) Apres le 20 avril 1995 : Universitaire : 1 300FF Industriel : 2 000FF Etudiant : 500FF (envoyer une photocopie de la carte d'etudiant de l'annee en cours) Reduction accordee aux membres de l'ALP : (a deduire des tarifs ci-dessus) Universitaire : 200FF Industriel : 200FF Etudiant : 100FF Reglement par : * Cheque postal ou bancaire etabli en FRANCS FRANCAIS a l'ordre de : APIAB (Association pour la Promotion de l'Informatique Avancee en Bourgogne) compte numero 00050084562 a la Societe Generale agence Dijon Clemenceau * Bon de commande Vous pouvez decouper le bon ci-dessous et l'envoyer au secretariat des journees ou demander un programme et un bulletin d'inscription au secretariat des journees. ------------------------------------------------------------------------------- Nom : Prenom : Organisme : Adresse : Code postale : Ville : Pays : Telephone : Fax : e-mail : Facture souhaitee en exemplaire(s) Adresse de facturation si differente : Desire s'inscrire aux quatrieme journees Francophones de Programmation en Logique (JFPL'95) et s'engage a verser les droits d'inscription. Date : Signature : Je desire recevoir une fiche de reduction congres sur le transport SNCF OUI NON Ci joint mon reglement par : CHEQUE BON DE COMMANDE ------------------------------------------------------------------------------- ------------------------------------------------------------------------------- Pour tout renseignement complementaire concernant les journees, contacter : Secretariat : Mme Dominique BELIME CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.87 - Fax : (33).80.39.58.15 e-mail : jfpl95@crid.u-bourgogne.fr Responsable du challenge : Francois JACQUENET CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.85 - Fax : (33).80.39.58.15 e-mail : jfpl95@crid.u-bourgogne.fr