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
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, firstname.lastname@example.org
(with subject: to the attention of Prof. B. Banaschewski)
Thierry Coquand, email@example.com
Giovanni Sambin, firstname.lastname@example.org