Submissions

Fourth Workshop on Formal Topology

We accept submissions of short abstracts through easychair.org 4WFT page. The submission deadline has passed, but we still have some available slots, so we treat new submissions on a first-come first-serve basis.

Workshop on Higher Dimensional Algebra, Cateogries and Types

We accepted submissions of single page extended abstracts through easychair.org HDACT page. The deadline for submissions was April 15, 2012.

Comments are closed.