* CfP: 3WFTop proceedings
@ 2007-09-03 16:13 Peter Schuster
0 siblings, 0 replies; only message in thread
From: Peter Schuster @ 2007-09-03 16:13 UTC (permalink / raw)
To: Categories
-------------------------------------------------------------------------
Call for Papers: Third Workshop on Formal Topology
-------------------------------------------------------------------------
Special Issue of Annals of Pure and Applied Logic
-------------------------------------------------------------------------
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.
-------------------------------------------------------------------------
Deadline for submissions: Sunday, 13 January 2008
-------------------------------------------------------------------------
Submissions by email to: Andrej.Bauer@andrej.com
-------------------------------------------------------------------------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-09-03 16:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-09-03 16:13 CfP: 3WFTop proceedings Peter Schuster
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).