[FOM] ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III
gbezhani at nmsu.edu
Thu Feb 1 18:17:44 EST 2007
Preliminary Announcement and First Call for Papers
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III
5-9 August, 2007
St Anne's College (University of Oxford)
This international conference is the third in the series Algebraic
and Topological methods in Non-Classical Logics (TANCL). The first
was held in 2003 in Tbilisi, Georgia:
and the second in 2005 in Barcelona, Spain:
AIMS AND SCOPE
The topics covered by TANCL'07 lie within a well-established and
active area of mathematical logic. It is hoped to attract to the
meeting established researchers and also postdoctoral and graduate
students, from the UK and overseas.
The objectives are
(1) to provide a showcase for recent advances in the field;
(2) to facilitate the exchange of ideas and expertise
between mathematicians, logicians, and theoretical computer
scientists working on many facets of
(3) to foster future collaborations.
The programme will focus on three interconnecting mathematical
themes central to the study of non-classical logics and their
applications: algebraic, categorical, and topological methods. Three
more specialized satellite workshops are planned (see below).
Samson Abramsky, University of Oxford, UK
Wojciech Buszkowski, Adam Mickiewicz University, Poland
Alexander Kurz, University of Leicester, UK
Jean-Eric Pin, University of Paris, France
Giovanni Sambin, University of Padova, Italy
Yde Venema, University of Amsterdam, Netherlands
Frank Wolter, University of Liverpool, UK
Guram Bezhanishvili (Chair), New Mexico State University, USA
Leo Esakia, Georgian Academy of Sciences, Georgia
Mai Gehrke, New Mexico State University, USA
Silvio Ghilardi, University of Milan , Italy
Ramon Jansana, University of Barcelona , Spain
Peter Jipsen, Chapman University, USA
Hiroakira Ono, Japan Advanced Institute of Science and Technology, Japan
Hilary Priestley, University of Oxford, UK
Michael Zakharyaschev, Birkbeck, Universty of London, UK
There will be an opportunity for participants to offer short talks,
the selection to be made by the Programme Committee on the basis of
submitted half-page abstracts. Details of the procedure will be on
the conference homepage.
It is planned to hold three specialized satellite workshops at
Oxford University Computing Laboratory:
Categorical Quantum Logic (convened by Bob Coecke)
Coalgebraic Logic (convened by Alexander Kurz)
Spatial and Spatio-temporal Logics (convened by Michael Zakharyaschev).
Mai Gehrke and Hilary Priestley
They can be contacted by email at tancl07 at maths.ox.ac.uk
Deadline for submission of abstracts: 1 May
Acceptance notification: 15 May
Deadline for registration and reservation of accommodation: 1 June
The conference will be held at St Anne's College, Oxford [
http://www.st-annes.ox.ac.uk], one of the colleges of Oxford
University. The college has excellent conference facilities and is
within 10 minutes' walk of the centre of the city of Oxford.
Accommodation of various types will be available.
Registration for the conference and reservation of accommodation will
be through the conference homepage.
We hope to be able to provide financial support for a number of
graduate students and perhaps for others who can make a strong case.
FURTHER INFORMATION AND EXPRESSION OF INTEREST
A conference homepage is being set up at
In the meantime, expression of interest by potential participants is
welcomed; please email tancl07 at maths.ox.ac.uk
More information about the FOM