--------------------------------------------------
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 : ·····@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 : ·····@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 : ·······@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