Call for Papers for the P R O C E E D I N G S of the Second Workshop in Formal Topology 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, holmesd@mcmaster.ca (with subject: to the attention of Prof. B. Banaschewski) Thierry Coquand, coquand@cs.chalmers.se Giovanni Sambin, sambin@math.unipd.it