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