posted by user: cnoguera || 3833 views || tracked by 2 users: [display]



When Jun 26, 2017 - Jun 30, 2017
Where Prague
Submission Deadline Mar 10, 2017
Notification Due Apr 20, 2017
Final Version Due May 20, 2017
Categories    logic   algebraic logic   topology   categories

Call For Papers


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

The Eighth International Conference on Topology, Algebra and Categories in

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

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

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


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.

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)


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.)


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

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

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

More Information

TACL 2017 web site:
Conference email:
School email:

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

Related Resources

RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
NKG 2022   COMA - Special Issue - NON-KAEHLER GEOMETRY
CSGT 2022   Special Matrices (OA) - Special Issue: Contemporary Spectral Graph Theory
FSDM 2022   TAA (OA) - Fuzzy sets in decision making
ICACGA 2022   International Conference of Advanced Computational Applications of Geometric Algebra
ICAISC 2023   International Conference on Artificial Intelligence and Soft Computing
ICLA 2022   10th Indian Conference on Logic and its Applications
CBW 2023   4th International Conference on Cloud, Big Data and Web Services
Fuzzy 2022   8th International Conference on Fuzzy Logic Systems
PADL 2023   PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages