5-9 August 2007, Algebraic and Topological Methods in Non-Classical Logics III (TANCL'07), Oxford, England

This international conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). 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 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).

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