We are currently revising the procedures for managing the journal and the presentation of the electronic version. Things will improve considerably.
[Latest News] [General Description] [Instructions for Authors] [Publication Policy] [Editorial Board] [How to Submit Papers]
[Conference Announcements]
[Special Issue Announcements]
Previous Issues
(Originally at the Max-Planck Institute
for Computer Science in
Saarbrücken)
Dov M Gabbay
Department of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ,
UK
dg@doc.ic.ac.uk
Tel +44 171 594 8205
Fax +44 171 594 8201
Ruy de Queiroz Hans Jürgen Ohlbach Departamento de Informatica Department of Computing UFPE em Recife Imperial College Caixa Postal 7851 180 Queen's Gate, London Recife, PE 50732-970 UK Brazil email: ruy@di.ufpe.br email: h.ohlbach@doc.ic.ac.uk Tel: +55 81 271 8430 Tel: +44 171 594 8208 Fax: +55 81 271 8438 Fax: +44 171 594 8201
Jane Spurr King's College, London