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

[PVS] WADT 2008 - Last Call for Papers [deadline extension]


			      WADT 2008
		    19th International Workshop on
		   Algebraic Development Techniques

		    Pisa, Italy, June 13-16, 2008

Due to several requests, the deadline for submission of two-page abstracts is
postponed to 
			    April 18, 2008

A few grants funded by IFIP TC1 are available to cover fee and/or accommodation 
expenses of young researchers coming from less developed countries.

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


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