[FOM] ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III

[Guram Bezhanishvili]

Preliminary Announcement and First Call for Papers
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III
(TANCL'07)
5-9 August, 2007
St Anne's College (University of Oxford)
Oxford, England

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:

http://sierra.nmsu.edu/morandi/TbilisiConference/Home.html

and the second in 2005 in Barcelona, Spain:

http://www.mat.ub.es/~logica/meeting2005/

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
non-classical logic;

(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).

INVITED SPEAKERS

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

PROGRAMME COMMITTEE

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

CONTRIBUTED PAPERS

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.

SATELLITE WORKSHOPS

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).

CONFERENCE ORGANISERS

Mai Gehrke and Hilary Priestley

They can be contacted by email at tancl07 at maths.ox.ac.uk

KEY DATES

Deadline for submission of abstracts: 1 May
Acceptance notification: 15 May
Deadline for registration and reservation of accommodation:  1 June

VENUE

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

Registration for the conference and reservation of accommodation will 
be through the conference homepage.

FINANCIAL SUPPORT

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

http://www.maths.ox.ac.uk/notices/events/special/tancl07/

In the meantime, expression of interest by potential participants is 
welcomed; please email tancl07 at maths.ox.ac.uk

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%