cfp: Proceedings of the Second Workshop on Formal Topology

             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