CFP Workshop Abstract Interpretation ... postponement 
Author Message
 CFP Workshop Abstract Interpretation ... postponement

--------------------------------------------------

        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

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

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.

--

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



Sun, 07 Nov 1993 23:33:11 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. CFP Workshop Abstract Interpretation ... postponement

2. CFP Workshop Abstract Interpretation ... postponement

3. Final CFP: Post-ICLP'95 Workshop on Abstract Interpretation of Logic Languages

4. EXTENDED DEADLINE: Post-ICLP'95 Workshop on Abstract Interpretation

5. Call for Papers: ICLP'95 Workshop on Abstract Interpretation of Logic Languages

6. Abstract Interpretation Workshop

7. CFP for Workshop on Principles of Abstract Machines

8. CfP: ESSLI'98-workshop on Logical Abstract Machines

9. CFP for Workshop on Principles of Abstract Machines

10. CFP for Workshop on Principles of Abstract Machines

11. CFP:CFP: Reading Workshops on Parallel Computing CFP:CFP

12. CFP - 5th Portuguese AI conference; deadline postponement

 

 
Powered by phpBB® Forum Software