[TYPES/announce] Call for Papers- APAL special issue on formal topology

[Maria Emilia Maietti]

-------------------------------------------------------------------------
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 at 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
-------------------------------------------------------------------------