[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] WADT 2008 - Final Call for Papers



-----------------------------------------------------------------------------

			FINAL CALL FOR PAPERS

			      WADT 2008
		    19th International Workshop on
		   Algebraic Development Techniques

		    Pisa, Italy, June 13-16, 2008

-----------------------------------------------------------------------------

The deadline for submission of two-page abstracts is

			    April 11, 2008

For any other info, please visit the workshop web page, 

		    http://www.di.unipi.it/wadt2008

or contact

Andrea Corradini
Dipartimento di Informatica
Largo Bruno Pontecorvo, 3
I-56127 Pisa, Italy
Phone: +39 050 2212786
Fax:   +39 050 2212726
Email: andrea@xxxxxxxxxxx

==================================================================