WSA92 CFP Workshop on Static Analysis, Bordeaux, Sept 92

Thread View: comp.lang.misc

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Congres wsa [rauzy] Tue, 04 Feb 1992 13:25

#6956

Author: Congres wsa [rauzy]
Date: Tue, 04 Feb 1992 13:25

39 lines
2282 bytes

		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
e-mail: wsa92@geocub.greco-prog.fr

Submissions by e-mail are also welcome (TeX/LaTeX format). A copy
of the papers will be distributed to the participants.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads