Algebraic and Topological Methods in Non-Classical Logics III
This international conference will be held at
and the Mathematical Institute
(University of Oxford)
Oxford, England
5–9 August, 2007.
The 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.
News
30 July 2007: We regret that no more bookings can be accepted for accommodation at St Anne's College. If you have reserved accommodation and will after all not be able to attend the conference, please email tancl@maths.ox.ac.uk immediately.
A draft schedule of talks is now available for downloading.
The arrival information has been expanded and further information provided about the satellite workshops.
11 July 2007: Late registrations: We can still accept registrations. However we regret we cannot accept any further applications for financial support, since we have allocated all the available funding to those who registered by the deadline of 30 June. Accommodation at St Anne's College is still available, but due to heavy demand, no more bookings for rooms of the cheapest type can be accepted.
11 July 2007: Travel: Further information has now been added to this page.
18 June 2007: Revised arrangements for payment: please see Registration section.
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
- to provide a showcase for recent advances in the field;
- to facilitate the exchange of ideas and expertise between mathematicians, logicians, and theoretical computer scientists working on many facets of non-classical logic;
- 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.
Sponsors
We would like to thank the following organisations for their support.
Conference Organisation
Conference organisers:
They can be contacted by email at tancl07@maths.ox.ac.uk.
Key Dates
These dates are revised as of 25 April 2007:
- Deadline for submission of abstracts for contributed talks: 14 May (extended)
- Acceptance notification: 31 May (extended)
- Deadline for registration and reservation of accommodation: 30 June (extended)