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. 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). 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
Padova
Program Committee:
Charles Consel (Oregon) Neil Jones (DIKU, Denmark)
Patrick Cousot (ENS, Paris; Chairman) Pierre Jouvelot (ENSMP, Paris)
Radhia Cousot (Polytechnique, Paris) Baudoin Le Charlier (Namur)
Olivier Danvy (Carnegie Mellon) Giorgio Levi (Pisa)
Bart Demoen (KUL, Leuven) Kim Marriott (Monash, Australia)
Gilberto File (Padova; Co-chairman) Alan Mycroft (Cambridge)
Pascal van Hentenryck (Brown) Antoine Rauzy (Bordeaux; Co-chairman)
Manuel Hermenegildo (UPM, Madrid) Helmut Simonis (Cosytec, Orsay)
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) :