Logic List Mailing Archive

Conference in Tbilisi (July 2003); "Algebraic and Topological Methods in Non-Classical Logics"

Algebraic and Topological Methods in Non-Classical Logics Tbilisi,
Georgia, 7 - 11 July 2003

The aim of this conference is to present some recent advances in the use
of algebraic, order-theoretic, and topological methods in non-classical
logics. We also hope to bring together researchers in the fields of
non-classical logics, lattice theory, universal algebra, category theory,
and general topology in order to foster collaboration and to get new ideas
for further research.

Invited Speakers include Johan van Benthem, Leo Esakia, Mai Gehrke, John
Harding, Ramon Jansana, Daniele Mundici, Yde Venema, Michael
Zakharyaschev, Marek Zawadowski.

Program Committee consists of Guram Bezhanishvili, Patrick Morandi, Willem
Blok, Roberto Cignoli, Josep Maria Font, Dick de Jongh, Larisa Maksimova,
Hiroakira Ono, Rohit Parikh, Lazare Zambakhidze.

For further information, see the web site
http://piscopia.nmsu.edu/morandi/TbilisiConference .