WSA92 CFP Workshop on Static Analysis, Bordeaux, Sept 92 
Author Message
 WSA92 CFP Workshop on Static Analysis, Bordeaux, Sept 92

                CALL FOR PAPERS - APPEL A COMMUNICATIONS

                Workshop on Static Analysis 92
                    (previously JTASPEFL)
           Bordeaux (France) September 23-35, 1992

This workshop is devoted to theoretical and practical aspects of
Static Analysis. The intended audience includes researchers in the
fields of
        - static analysis
        - Abstract Interpretation
        - Partial evaluation
        - Program transformation
in Logic, Equational, Functional and Constraint Programming.

This workshop 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), September 23-25 1992.

THe participants who wish to give a presentation should submit
an extended abstract of their contribution (about 5 pages, in
french, Italian, Spanish or English). Talks will be limited to
20 minutes plus 10 minutes for questions and discussions.

Please send 2 copies (including the title of the talk, the name(s)
and mail adress of the authors) by May 15, 1992, to:

Antoine RAUZY
LaBRI - Universite Bordeaux I
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 distributed to the participants.



Sat, 23 Jul 1994 21:28:17 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. WSA92 CFP Workshop on Static Analysis, Bordeaux, Sept 92

2. WSA92 CFP Workshop on Static Analysis, Bordeaux, Sept 92

3. WSA92 CFP Workshop on Static Analysis, Bordeaux, Sept 92

4. WSA92 CFP Workshop on Static Analysis, Bordeaux, Sept 92

5. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

6. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

7. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

8. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

9. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

10. WSA92 Workshop on Static Analysis, Bordeaux, Sept 92

11. WSA92 Workshop on Static Analysis, Bordeaux, Sept 92

12. WSA92 Workshop on Static Analysis, Bordeaux, Sept 92

 

 
Powered by phpBB® Forum Software