[TYPES/announce] 3WFTop proceedings: EXTENDED DEADLINE 29 Feb 2008

Peter Schuster pschust at mathematik.uni-muenchen.de
Mon Jan 14 08:53:42 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 Types-announce mailing list