=====================================================
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2017)
=====================================================

Conference: June 26 -- 30, 2017 (Prague)
School: June 20 -- 24, 2017 (Olomouc)

http://www.cs.cas.cz/tacl2017/

The Eighth International Conference on Topology, Algebra and Categories in
Logic

organized by
Institute of Computer Science, Czech Academy of Sciences
Faculty of Arts, Charles University

& & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &

The Third Summer School

organized by
Faculty of Science, Palacký University Olomouc


Studying logics via semantics is a well-established and very active branch
of mathematical logic, with many applications in computer science and
elsewhere. The area is characterized by results, tools and techniques
stemming from various fields, including universal algebra, topology,
category theory, order and model theory.

The programme of the conference TACL 2017 will focus on three
interconnecting mathematical themes central to the semantical study of
logics and their applications: algebraic, categorical and topological
methods.

This is the eighth conference in the series Topology, Algebra and
Categories in Logic (TACL, formerly TANCL). Earlier instalments of this
conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford
(2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia
(2015). Starting from 2013, the conference is preceded by a summer school.


Invited speakers
----------------------

Alexandru Baltag, University of Amsterdam
Martín Escardó, University of Birmingham
Mai Gehrke, University of Paris Diderot
Bart Jacobs, Radboud University Nijmegen
Klaus Keimel, Technical University of Darmstadt
Greg Restall, University of Melbourne
Alexandra Silva, University College London
Luca Spada, University of Salerno

Tutorials:
Martin Goldstern, University of Technology in Wien
Josep Maria Font, University of Barcelona
Jiří Velebil, Czech Technical University in Prague
Steve Vickers, University of Birmingham


Featured topics
----------------------

We welcome contributed talks on any topic involving the use of algebraic,
categorical or topological methods in either logic or computer science.
This includes, but is not limited to, the following areas:

* Algebraic structures in CS
* Algebraic logic
* Coalgebra
* Categorical methods in logic
* Domain theory
* Lattice theory
* Lattices with operators
* Many-valued and fuzzy logics
* Modal logics
* Non-classical logics
* Ordered topological spaces
* Ordered algebraic structures
* Pointfree topology
* Proofs and types
* Residuated structures
* Semantics
* Stone-type dualities
* Substructural logics
* Topological semantics of modal logic


Submissions
-----------------

Abstracts of proposed contributions must be submitted through EasyChair
and may be at most 2 pages, including references (using EasyChair style).
Contributed presentations will be 30 minutes long.

https://easychair.org/conferences/?conf=tacl2017
http://www.easychair.org/publications/for_authors

A special session will be dedicated to Bjarni Jónsson, with works selected
by the PC. If you want to be considered for the special session, please
include a note in the abstract when doing the submission


Important dates
---------------------

March 10, 2017: Prolonged submission deadline
April 20, 2017: Notification to authors
June 20 - 24, 2017: School (Olomouc)
June 26 - 30, 2017: Conference (Prague)


Venues
------------

The conference will be held in the main building of the Faculty of Arts,
Charles University, in Prague.

The school will be held at the campus of the Faculty of Science,
Palacký University Olomouc.
(The two cities are two hours train trip apart.)


Registration
------------------

The registration will be open in the beginning of 2017.
The conference fee is 100 Euro (early registration).


Programme Committee
------------------------------

John Harding, New Mexico State University (chair)
Rosalie Iemhoff, Utrecht University (chair)
Rostislav Horčík, Czech Academy of Sciences
Benno van den Berg, University of Amsterdam
Daniele Mundici, University of Florence
George Metcalfe, University of Bern
Agata Ciabattoni, Vienna University of Technology
Jan van Mill, University of Amsterdam
Nick Bezhanishvili, University of Amsterdam
Keith Kearnes, University of Colorado
Alex Kurz, University of Leicester
Wes Holliday, University of California, Berkeley
Larry Moss, Indiana University Bloomington
Nick Galatos, University of Denver
Jan Paseka, Masaryk University
Jorge Picado, University of Coimbra
Anna Romanowska, Warsaw University of Technology
Phil Scott, University of Ottawa
Ilya Shapirovsky, Russian Academy of Sciences
Alex Simpson, University of Ljubljana
Jiří Velebil, Czech Technical University in Prague
Rob Goldblatt, Victoria University of Wellington


Steering Committee
------------------------

Guram Bezhanishvili, New Mexico State University
Mai Gehrke, University of Paris Diderot
Rob Goldblatt, Victoria University, Wellington
Ramon Jansana, University of Barcelona
Achim Jung, University of Birmingham
Hiroakira Ono, Japan Advanced Institute of Science and Technology
Yde Venema, University of Amsterdam
Michael Zakharyaschev, University of London


Organizing Committee
--------------------------

Conference:
Marta Bílková (chair), Faculty of Arts, Charles University in Prague
Petr Cintula (chair), Inst. of Comp. Science, Czech Academy of Sciences
Zuzana Haniková
Rostislav Horčík
Tomáš Lávička
Ondrej Majer
Tommaso Moraschini
Carles Noguera
Adam Přenosil
Igor Sedlár
Amanda Vidal Wandelmer

School:
Radomír Halaš (chair), Faculty of Science, Palacký University Olomouc
Martin Broušek
Jan Kühr


More Information
----------------------

TACL 2017 web site: http://www.cs.cas.cz/tacl2017
Conference email: tacl2017@cs.cas.cz
School email: school2017@upol.cz


This event has received funding from the European Union's Horizon
2020 research and innovation programme under the Marie Skłodowska-Curie
grant agreement No 689176