The journal "Annals of Pure and Applied Logic" (APAL) has agreed to publish a special issue with the proceedings of the Second Workshop in Formal Topology, which took place in Venice, 4-6 April 2002.
The workshop was particularly successful in bringing together two traditions in constructive topology, namely locale theory developed in the language of topos theory and formal topology developed over type theory.
The special issue of APAL is open also to non-participants. All papers
submitted will be refereed according to the standards of APAL, in particular
in terms of originality and quality of the presentation.
Three guest editors, who now sign this announcement, have been proposed
at the workshop itself.
The deadline for submission is November 15, 2002. Technical details
will be specified later.
For any further information or any inquiry, please write to one of the
guest editors.
Bernhard Banaschewski (McMaster University, Canada)
holmesd@mcmaster.ca (with subject: to the attention of Prof. B. Banaschewski)
Thierry Coquand (University of Gothenburg, Sweden) coquand@cs.chalmers.se
Giovanni Sambin (University of Padova, Italy) sambin@math.unipd.it