Fourth Workshop on Formal Topology

We accept submissions of short abstracts through 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 HDACT page. The deadline for submissions was April 15, 2012.

Comments are closed.