[Agda] WADT 2012: Deadline Extension

WADT 2012 wadt2012 at fdi.ucm.es
Mon Apr 2 09:08:51 CEST 2012


(We apologize for multiples copies)

======================================================================
DEADLINE FOR TWO-PAGE ABSTRACTS EXTENDED TO APRIL, 16th

WADT 2012
21st International Workshop on Algebraic Development Techniques
http://maude.sip.ucm.es/wadt2012
June 7-10, 2012, Salamanca, Spain
======================================================================

Dear colleagues,

Due to several requests, WADT 2012 submission deadlines are extended as follows:

* Submission deadline for abstracts: April 16th, 2012
* Notification of acceptance: April 27, 2012

Best regards,
	Narciso and Miguel


More information about the Agda mailing list