billaud@geocub.UUCP (Michel BILLAUD) (05/22/91)
-------------------------------------------------- CALL FOR PAPERS (postponement) -------------------------------------------------- Workshop on Static Analysis of Equational, Functional and Logic Programs Bordeaux, France October 10-11, 1991 -------------------------------------------------- This workshop is devoted to theoretical and practical aspects of abstract interpretation and partial evaluation in equational, functional and logic programming. It is organized by LaBRI (Laboratoire Bordelais de Recherche en Informatique) and GRECO de Programmation (METHEOL and LEXICO teams). It will take place at the LaBRI (Bordeaux, France), October 10-11 (1991). The workshop will bring together researchers in the area of non-imperative programming, in order to present new methods and (theoretical and practical) results on static analysis and abstract interpretation. Topics : Equational programming, Logic programming, Functional programming, Partial Evaluation, Abstract Interpretation, Static Analysis, Program transformation, Constraints, Lisp, Scheme, Prolog, etc. The participants who wish to give a presentation should submit an extended abstract of their contribution (about 4 pages, in French or English). Talks will be limited to 20 minutes plus 10 minutes for questions and discussion. Please send 2 copies (including the title of the talk, the name and mail address of authors) by June 1st,1991, to : Antoine RAUZY LaBRI - Universite Bordeaux I 351 cours de la Liberation 33405 Talence - Cedex (France) Tel. +33 - 56846083 Fax. +33 - 56846669 e-mail : rauzy@geocub.greco-prog.fr Submissions by e-mail are also welcome (TeX/LaTeX format). A copy of the papers will be distribued to all attendants. **** If you are interested in attending the workshop but not in giving **** a talk, would you please send us a message -including your **** e-mail adress ? So we will keep you on our mailing list, **** and send you further informations. Thank you ! If you have any question on the workshop, please feel free to contact us. ------------------------------------------------------------- APPEL A COMMUNICATIONS ----------------------------------------- Journees de travail sur l'Analyse Statique en Programmation Equationnelle, Fonctionnelle et Logique ----------------------------------------- Bordeaux, France 10-11 Octobre 1991 Ces journees de travail sont consacrees aux aspects theoriques et pratiques de l'interpretation abstraite et de l'evaluation partielle en programmation equationnelle, fonctionnele et logique. Elles sont organisees par le LaBRI (Laboratoire Bordelais de Recherche en Informatique) and le GRECO de Programmation (equipes METHEOL and LEXICO). Elles auront lieu au LaBRI (Bordeaux, France), les 10 et 11 Octobre 1991. Ces journees reuniront des chercheurs en programmation non-imperative, qui presenteront des methodes et de nouveaux resultats (theoriques et pratiques) sur l'analyse statique et l'interpretation abstraite. Mots-cles : Programmation Equationnelle, Fonctionnelle, Logique, par Contraintes ; Evaluation Partielle , Interpretation Abstraite, Analyse Statique, Transformation de Programmes, Lisp, Prolog, Scheme, etc. Les participants qui souhaitent presenter leurs travaux sont invites a soumettre un "resume etendu" (environ 4 pages, en Francais ou en Anglais). Les exposes seront limites a 20 minutes plus 10 minutes pour les questions et la discussion. Veuillez envoyer 2 copies (comportant le titre de l'expose, le nom et l'adresse postale des auteurs) avant le 1er Juin 1991 a : Antoine RAUZY LaBRI - Universite Bordeaux I 351 cours de la Liberation 33405 Talence - Cedex (France) Tel. +33 - 56846083 Fax. +33 - 56846669 e-mail : rauzy@geocub.greco-prog.fr Les contributions peuvent egalement etre envoyees par courrier electronique, en format TeX/LaTeX (nous vivons une epoque moderne). Une copie des papiers sera remise a chacun des participants. **** Si vous envisagez de participer a ces journees de travail (sans **** necessairement presenter un papier) pourriez-vous nous envoyer **** un petit mot avec votre adresse electronique ? Ainsi nous pourrons **** vous faire parvenir plus d'informations en temps utile. Merci ! N'hesitez pas a nous contacter pour toutes questions relatives a ces journees de travail. -- Michel BILLAUD : billaud@geocub.greco-prog.fr Departement d'Informatique : ...!decvax!mcvax!inria!geocub!billaud IUT "A", Universite Bordeaux I : 33405 Talence (FRANCE) : phone: 56.84.57.92 // 56.84.69.22