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.