[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