CALL FOR PAPERS
3rd International Workshop on Static Analysis
Padova (Italy) September 22-24, 1993
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, Imperative, Object-oriented and Constraint
Programming, both for sequential and concurrent languages.
The WSA'93 workshop is the third, after Jtaspefl and WSA'92, which took place
in Bordeaux (France). It will take place in Padova (Italy), September 22-24
1993.
Authors are invited to submit six copies of an extended abstract of no more
than 10 double-spaced (5.000 words) pages. Papers must be unpublished and not
submitted for publication elsewhere. Submissions must reach the program
co-chair, at the address below, no later than April 30,1993 (Please include an
e-mail and a fax address). Papers should be accompanied by a 5 line abstract
sent also, if possible, by e-mail to: ·····@artemide.dei.unipd.it
Electronic mail submissions will not be accepted.
Notification of acceptance or rejection will be made by June 30, 1993.
Camera-ready copies will be due by July 20, 1993. We have requested the
publication of the proceedings by Springer-Verlag in Lecture Notes in Computer
Science. For software demonstrations, the submission should be a 5 page
description of the software and of the planned demonstration. Sun workstations
and MacIntoshes will be available.
Please send the submissions to:
Gilberto File - WSA'93 telephone: +39-49-831989
Dipartimento di Matematica Pura e Applicata, fax: +39-49-36351
Via Belzoni 7 Internet: ····@pdmat1.unipd.it
I-35131 Padova (Italy)
Program Committee:
Charles Consel (OGI, USA) Neil Jones (DIKU; Denmark)
Patrick Cousot (ENS, Paris; Chairman) Pierre Jouvelot (ENSMP, Paris;France)
Radhia Cousot (Polytechnique, Paris) Baudouin Le Charlier (Un.Namur;Belgium)
Olivier Danvy (Carnegie Mellon Un.;USA) Giorgio Levi (Pisa Univ.; Italy)
Bart Demoen (KUL, Leuven; Belgium) Kim Marriott (Monash Univ.; Australia)
Gilberto File (Padova; Co-chairman) Alan Mycroft (Cambridge Univ., England)
Pascal van Hentenryck (Brown Un., USA) Antoine Rauzy (Bordeaux; Co-chairman)
Manuel Hermenegildo (UPM, Madrid;Spain) Helmut Simonis (Cosytec, Orsay; France)
Organizing Committee:
Annalisa Bossi (Padova), Michele Bugliesi (Padova), Moreno Falaschi (Padova),
Giuseppe Nardiello (Padova), Sabina Rossi (Padova), Kaninda Musumbu (Bordeaux),
Michel Billaud (Bordeaux), Pierre Casteran (Bordeaux), Marc-Michel Corsini
(Bordeaux).
Organizing Committee Chair:
Moreno Falaschi Tel +39 - 49- 8287717
Dipartimento di Ingegneria Fax +39 - 49- 8287699
Elettronica e Informatica, e-mail: ·····@artemide.dei.unipd.it
University of Padova,
Via Gradenigo 6/A,
35131 Padova (Italy)
Location
Padova is a pleasant historical city, home to one of the oldest Universities
in Europe. Venice is only 15 miles away, and is easily reached by bus or train.
--
Workshop on Static Analysis : e-mail: ·····@artemide.dei.unipd.it
22-24 Sep 93 - Padova (Italy) :