The Coq mailing list

["Nicola Gambino" <ngambino AT math.unipa.it>]

[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:

 http://www.math.unipa.it/~ngambino/mscs-cfp.html

With best regards,
Nicola Gambino


-- 
Dipartimento di Matematica e Informatica
Università degli Studi di Palermo
http://www.math.unipa.it/~ngambino