(ToLogo courtesy Marcel Erné) 
International Workshop on Topological Methods in Logic V 
June 1317, 2016
Tbilisi,
Georgia
Venue: Ilia State University, Chavchavadze ave. #32, Room #101. [PDF Map] [Google Map]
This is the fifth in a series of workshops dedicated to the study
of topological methods in logic. The homepages of the first four workshops are
available at
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.
Topics
of the workshop:
PointFree
Topology
Topology and Modal Logic
Duality Theory
Dynamic Epistemic Logic
Schedule
of the workshop:
Tutorial
speakers:
ILLC, University of Amsterdam 

Department of Mathematics, University of Milan 

Department Informatik, FAU ErlangenNürnberg 
Workshop
speakers:
Vienna University of Technology 

ILLC, University of Amsterdam 

ILLC, University of Amsterdam 

Metropolitan Telecommunications 
Admissibility in multipleconclusion
logics with the disjunction property 

ILLC, University of Amsterdam 

University of Ljubljana 

ILLC, University of Amsterdam 
Instantial neighborhood semantics
with an application to game logic 

Department of Mathematics, University of Milan 
Monadic second order logic as the
model companion of temporal logic 

Department of Mathematics, City College of New York 

Iv. Javakhishvili Tbilisi State University 

Charles University Prague and University of Birmingham 

TSU A. Razmadze Mathematical Institute 

Department of Mathematics, University of Milan 
The Riesz representation theorem for
valuations on distributive lattices 

Department of Mathematics, Higher School of Economics, Moscow 

Computer and Information Sciences, University of Strathclyde,
Glasgow 

Department of Philosophy,
Columbia University 

ILLC, University of Amsterdam 
Some observations regarding hypersequent
calculi for Intermediate Logics 

Department Informatik, FAU ErlangenNürnberg 

Department of Applied Mathematics and Sciences, Khalifa University,
UAE 

Department of Mathematics, University of Milan 
New research directions in the
geometry of Intuitionistic Logic 

ILLC, University of Amsterdam 
Equivalence
between Hilbert lattices and quantum dynamic algebras 

LIAFA, Université Paris Diderot  Paris 7 

ILLC, University of Amsterdam 

The Institute for Information Transmission Problems 

Department of Mathematics, Moscow State University 

Department of Mathematics, University of Salerno 
A topological duality for lattices
with residuated operations 

TSU A. Razmadze Mathematical Institute 
Organizers:
(New
Mexico State University, Las Cruces, USA) 

(ILLC,
University of Amsterdam, The Netherlands) 

(TSU
Razmadze Mathematical Institute, Tbilisi, Georgia) 

(TSU
Razmadze Mathematical Institute, Tbilisi, Georgia) 
The workshop is organized by the TSU
Razmadze Mathematical Institute and ILIAUNI Savle
Tsereteli Institute of Philosophy.
The workshop will take place at Ilia
State University.
Information about the workshop will be updated regularly.
For additional questions please contact Nick Bezhanishvili or David Gabelaia.