[TYPES/announce] Call for Papers: Fifth Workshop on Formal Topology (5WFTop) in JLA

[Maria Emilia Maietti]

-------------------------------------------------------------------------
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-and-choice-sequences 



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 at math.unipd.it
-------------------------------------------------------------------------
Please let us know if you plan to submit a paper as soon as possible
Deadline for submissions: 28th February 2017
-------------------------------------------------------------------------