Call for Papers
Mathematical Structures in Computer Science - Special issue
"From Type Theory and Homotopy Theory to Univalent Foundations"
Extended deadline for submissions: March 1st, 2013
Background. Over the last few years, there has been significant progress in relating type theory with homotopy theory and higher-dimensional category theory. These advances have stimulated a new wave of research in type theory, in which ideas of mathematical logic and theoretical computer science are often combined with geometric intuition in an original way.
In particular, the Univalent Foundations programme formulated by Vladimir Voevodsky seeks to develop a new approach to the foundations of mathematics on the basis of type theories that combine the good computational properties of Martin-Löf type theories and the Calculus of Inductive Constructions with new axioms inspired by homotopy theory, such as the Univalence Axiom.
Aims and scope. The aim of the special issue is to provide a comprehensive and timely account of the state of the art in this new area of research, thus providing a basis for future developments. We welcome submissions from participants in the several conferences and workshops on these topics that are occurring this year or have occurred in the past few years.
Topics of interest include, but are not limited, to:
Submission. The (extended) deadline for submissions is March 1st, 2013. Papers should be submitted as pdf attachments with an email to one of the editors.
Editors. The special issue will be edited by