[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------- Special Issue of Annals of Pure and Applied Logic ------------------------------------------------------------------------- The Workshop "Advances in Constructive Topology and Logical Foundations" in honor of the 60th birthday of Giovanni Sambin was held in Padua on October 8-11 2008: see http://www.math.unipd.it/60thsambin/ 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: Maria Emilia Maietti, Erik Palmgren and Michael Rathjen These proceedings are open for high-level research papers about constructive topology and related logical foundations. We will appreciate very much if you let us know your intention of submitting a paper by sending an email to [EMAIL PROTECTED] before April 30, 2009 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- Deadline for submissions: June 30, 2009 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Submissions by email to: [EMAIL PROTECTED] ------------------------------------------------------------------------------------------------------------------------------------------------------------------------