WADT 2012

21st International Workshop on Algebraic Development Techniques

April 16, 2012		Submission deadline for abstracts
April 27, 2012		Notification of acceptance
May 18, 2012		Final abstract due
*June 7-10, 2012*		*Workshop in Salamanca*
June 29, 2012		Invitation of full papers
October 9+, 2012		Submission deadline for full papers
December 20, 2012		Notification to authors
January 21+, 2013		Deadline for final versions
March 5, 2013		Proofs received by authors