[Agda] Special issue of MSCS: extended deadline

Nicola Gambino ngambino at math.unipa.it
Sun Dec 16 11:06:44 CET 2012

[Apologies for multiple postings]

Dear colleagues and friends,

I am writing to let you know that deadline for submissions of papers to
the special issue of Mathematical Structures to Computer Science entitled
"From Type Theory and Homotopy Theory to Univalent Foundations" (edited by
Steve Awodey, Erik Palmgren and me) has been extended to March 1st, 2013.

Further information on the special issue can be obtained from the web page:


With best regards,
Nicola Gambino

Dipartimento di Matematica e Informatica
Università degli Studi di Palermo

More information about the Agda mailing list