*************************************************************** * 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