------------------------------------------------------------------------- Call for Papers: Fourth Workshop on Formal Topology (4WFTop) ------------------------------------------------------------------------- Special Issue of Annals of Pure and Applied Logic ------------------------------------------------------------------------- The Fourth Workshop on Formal Topology was held in Ljubljana in June 2012: http://4wft.fmf.uni-lj.si/ The proceedings of this workshop will be published as a special issue of the Annals of Pure and Applied Logic, with the following guest editors: Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster. These proceedings are open for high-level research papers on topics from or closely related to formal topology, that is, constructive and/or point-free topology including its applications and its foundations. ------------------------------------------------------------------------- Submissions by email to: 4WFTop.apal@math.unipd.it ------------------------------------------------------------------------- Please let us know if you plan to submit a paper as soon as possible Deadline for submissions: Thursday, 31 October 2013 ------------------------------------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]