[FOM] Conference on Non-Classical Logics in Tbilisi

Martin Davis martin at eipye.com
Wed Feb 5 18:05:37 EST 2003


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 .




                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com




More information about the FOM mailing list