Special issue of MSCS: extended deadline

[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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]