International Workshop on Topological Methods in Logic II

June 8—10, 2010

Tbilisi, Georgia

This is the second in a series of workshops dedicated to the study of topological methods in logic. The homepage of the first workshop is available at

http://www.rmi.ge/tolo

Aims and scope:

The main purpose of the series of workshops 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

Duality Theory

Toposes and Point-Free Topology

Speakers:

Beklemishev, Lev	Steklov Mathematical Institute, Moscow, Russia	Topological completeness of polymodal provability logic GLP
Bezhanishvili, Nick	Imperial College, London, UK	Sahlqvist theorem for modal fixpoint logics
Dashiell, Fred	UCLA, Los Angeles, USA	Subordinated Boolean algebras and pointfree covers
Dimov, Georgi	University of Sofia, Bulgaria	Some generalizations of Stone duality theorem
Erné, Marcel	Leibniz University, Hannover, Germany	Camp models for Moore spaces and duality for Stone bases
Gehrke, Mai	Radboud University, Nijmegen, The Netherlands	Dual spaces as completion of Pervin uniformities and their application to recognition of formal languages – Part I
Ghilardi, Silvio	University of Milan, Italy	Does continuity matter to modal logicians?
Hofmann, Dirk	University of Aveiro, Portugal	Duality for completely distributive spaces
Jansana, Ramon	University of Barcelona, Spain	A topological duality for Hilbert algebras
Kupke, Clemens	Imperial College, London, UK	Coalgebras over Stone spaces and canonical models
Kurz, Alexander	University of Leicester, UK	Coalgebraic logic over posets
Litak, Tadeusz	University of Leicester, UK	Non-canonicity: two stories
Marra, Vincenzo	University of Milan, Italy	Stone duality above dimension zero: a survey of old and new results
Palmigiano, Alessandra	University of Amsterdam, The Netherlands	Groupoid quantales beyond the étale setting
Pin, Jean-Eric	University of Paris, France	Dual spaces as completion of Pervin uniformities and their application to recognition of formal languages – Part II
Spada, Luca	University of Salerno, Italy	The prime spectrum of MV-algebras
Staton, Sam	University of Cambridge, UK	Semilattices and the semantics of non-determinism and partiality
Tinchev, Tinko	University of Sofia, Bulgaria	Logics of space with contact and connectedness predicates: complete axiomatizations of the universal fragments
Vakarelov, Dimitar	University of Sofia, Bulgaria	Dynamic mereotopology: a point-free theory of changing regions. Topological representations
Venema, Yde	University of Amsterdam, The Netherlands	Geometric coalgebraic logic & a generalization of the Vietoris construction

Organizers:

Guram Bezhanishvili	(New Mexico State University, Las Cruces, USA)
Nick Bezhanishvili	(Imperial College, London, UK)
Leo Esakia	(Razmadze Mathematical Institute, Tbilisi, Georgia)
David Gabelaia	(Razmadze Mathematical Institute, Tbilisi, Georgia)
Mamuka Jibladze	(Razmadze Mathematical Institute, Tbilisi, Georgia)
Dimitri Pataraia	(Razmadze Mathematical Institute, Tbilisi, Georgia)

The workshop is organized by the Razmadze Mathematical Institute, supported by the Georgian National Science Foundation grant GNSF/ST08/3-397
and hosted by the Georgian American University, Tbilisi, Georgia

Schedule

Travel

Accommodation

Social Program

Getting around in Tbilisi

For additional questions please contact Guram Bezhanishvili or Mamuka Jibladze