International
Workshop on Topological Methods in Logic
June 35,
2008
Tbilisi,
Georgia
Aims and
scope:
The
main purpose of the workshop is to gather together researchers who use topological
methods in the study of logic. The main emphasis of the workshop will be on the
duality theory, as well as on the use of topological methods in modal logic and
computer science.
Topics:
Topological
Methods in Computer Science
Topology and
Modal Logic
Stone-Like
Dualities
Point-Free
Topologies
Speakers:
City
University of New York, USA |
||
New Mexico
State University, USA |
A new
representation of distributive and implicative semilattices |
|
University
of Leicester, UK and Razmadze Mathematical Institute,
Georgia |
Bitopological duality for distributive lattices and Heyting algebras |
|
Razmadze Mathematical Institute,
Georgia |
Topological
semantics of provability logic and related modal systems |
|
University
of Liθge, Belgium |
||
Imperial
College, UK |
Some open
problems on relation algebras and cylindric algebras |
|
University
of Barcelona, Spain |
Duality theory for
distributive and implicative semilattices |
|
Razmadze Mathematical Institute,
Georgia |
||
Chapman
University, USA |
||
University
of Birmingham, UK |
||
Birkbeck College, UK |
||
Chapman
University, USA |
||
Cornell
University, USA |
||
University
of Amsterdam, The Netherlands |
Organizers:
(New Mexico State University) |
|
(Razmadze
Mathematical Institute) |
|
(Razmadze
Mathematical Institute) |
|
(Razmadze
Mathematical Institute) |
|
(Razmadze
Mathematical Institute) |
The workshop is supported by the Georgian National Science Foundation grant GNSF/ST06/3-003
and hosted by the Georgian American University, Tbilisi,
Georgia
Schedule and Abstracts of the talks
For additional questions please
contact Mamuka Jibladze