[FOM] 3WFTop proceedings: EXTENDED DEADLINE 29 Feb 2008
Peter Schuster
pschust at mathematik.uni-muenchen.de
Mon Jan 14 08:53:25 EST 2008
-------------------------------------------------------------------------
Extended Deadline: Proceedings Third Workshop on Formal Topology
-------------------------------------------------------------------------
Special Issue of Annals of Pure and Applied Logic
-------------------------------------------------------------------------
======== EXTENDED DEADLINE ===== Friday 29 February 2008 ================
-------------------------------------------------------------------------
Submissions by email to: Andrej.Bauer at andrej.com
------------------------------------------------------------------------
The Third Workshop on Formal Topology was held in Padua in May 2007:
www.3wftop.math.unipd.it
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:
Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter Schuster.
These proceedings are open for high-level research papers on topics from or
closely related to formal topology: that is, from constructive and/or
point-free topology including applications.
-------------------------------------------------------------------------
More information about the FOM
mailing list