[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------- 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: [EMAIL PROTECTED] ------------------------------------------------------------------------ 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. -------------------------------------------------------------------------