------------------------------------------------------------------------- Call for Papers: Fifth Workshop on Formal Topology (5WFTop) ------------------------------------------------------------------------- Special Collection in the Journal of Logic and Analysis ------------------------------------------------------------------------- The Fifth Workshop on Formal Topology was held at Mittag-Leffler Institute in Stockholm in June 2015 http://www.mittag-leffler.se/workshop/fifth-workshop-formal-topology-spreads... The proceedings of this workshop will be published as a special collection in the Journal of Logic and Analysis, with the following guest editors: Thierry Coquand, Maria Emilia Maietti, Erik Palmgren These proceedings are open for all 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: 5wftop.apal@math.unipd.it ------------------------------------------------------------------------- Please let us know if you plan to submit a paper as soon as possible Deadline for submissions: 28th February 2017 ------------------------------------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]