Workshop on "Program Correctness:
abstract interpretation vs. classical verification methods"

Venezia 10-12 June 1996
Auditorium Santa Margherita (n. 20 on the map)
Dorsoduro 3689 - Venezia

---

Organized by:

Annalisa Bossi. Dip. di Matematica ed Informatica, Univ. di Venezia
Gilberto File'. Dip. di Matematica Pura ed Applicata, Univ. di Padova

Partially funded by CEE contract CHRX-CT-93-00414

---

Workshop programme

---

For questions contact:

Annalisa Bossi                            Gilberto File' 
Phone:  +39 (41) 2908421            Phone:  +39 (49) 8275989 
Fax:    +39 (41) 2908419             Fax:    +39 (49) 8758596
E-mail: bossi@dsi.unive.it           E-mail: gilberto@zenone.math.unipd.it