posted by user: cnoguera || 4212 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

ICAISC 2024   International Conference on Artificial Intelligence and Soft Computing
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
IS4CPGT 2024   International Symposium on Reflections and Advances in the Four Color Problem and Graph Theory
NLPAI 2024   2nd International Conference on NLP & AI
CCCIoT 2024   5th International Conference on Cloud Computing and IoT
FLOPS 2024   FLOPS 2024: 17th International Symposium on Functional and Logic Programming
LICS 2024   Logic in Computer Science
IEA/AIE 2024   37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
LPAR 2024   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
AIFU 2024   10th International Conference on Artificial Intelligence and Applications