Topology, Algebra, and Categories
in Logic
Prague, June 26–30


A selection of photos of the conference and the school can be found here .
(Photos by Petr Cintula, please write him if you want your photo in full quality or removed from the page.)


The slides of the contributed presentations given at TACL2017 are now available in the detailed programme.


The slides of the presentations given by invited speakers at TACL2017 are now available.


The slides of the Summer School tutorials are now available.


The sessions on room (131) are being recorded by the Archive Trust for Research, from Oxford, UK. This is a Charitable Foundation formed in 2007, which exists in order to create an archive of video and audio records of research meetings, especially those focused on fundamental research, with the intention of making these available to the wider research community. We hope this does not represent a problem for speakers, if any please refer to Petr Cintula or to Marta Bílková.


Organized by

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


Background and scope. 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, tool 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 eight conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia (2015).

Topics. Contributed talks can deal with any topic dealing with 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 Lattices with operators Proofs and types
Algebraic logic Modal logics Residuated structures
Coalgebra Non-classical logics Semantics
Categorical methods in logic Ordered topological spaces Stone-type dualities
Domain theory Ordered algebraic structures Substructural logics
Fuzzy and many-valued logics Pointfree topology Topological semantics of modal logic
Lattice theory

Programme Committee

John Harding, New Mexico State University (chair)
Rosalie Iemhoff, Utrecht University (chair)
Nick Bezhanishvili, University of Amsterdam
Agata Ciabattoni, Vienna University of Technology
Nick Galatos, University of Denver
Robert Goldblatt, Victoria University of Wellington
Wes Holliday, University of California, Berkeley
Rostislav Horčík, Czech Academy of Sciences
Keith Kearnes, University of Colorado
Alex Kurz, University of Leicester
George Metcalfe, University of Bern
Larry Moss, Indiana University Bloomington
Daniele Mundici, University of Florence
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
Benno van den Berg, University of Amsterdam
Jan van Mill, University of Amsterdam
Jiří Velebil, Czech Technical University in Prague

Steering Committee

Guram Bezhanishvili, New Mexico State University
Mai Gehrke, University of Paris Diderot
Rob Goldblatt, Victoria University Wellington
Ramón 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)
Petr Cintula (chair)
Zuzana Haniková
Rostislav Horčík
Tomáš Kroupa
Tomáš Lávička
Ondrej Majer
Tommaso Moraschini
Carles Noguera
Adam Přenosil
Igor Sedlár
Amanda Vidal

Invited Speakers

Registration Information

Online registration is closed*. If you want to register for TACL, please send an email to *[Cancellation policy] By June 10, 2017: full refund of congress fee and other payments (NOTE: the organizers deduct the handling costs of 500CZK). After June 10, no possibility of refund.


including conference material, welcome party & Boat trip

including welcome party

Student registration: 1.400 CZK Registration #: 1.600 CZK
Early regular registration: 3.000 CZK Registration + accommodation #: 4.000 CZK
Late regular registration: 4.000 CZK
Banquet: 1.000 CZK

#[Details on the school] The registration includes lunches for Tuesday-Friday. The accommodation is in 15 twin bed rooms in a student dormitory, 15 places are reserved for recipients of conference support (details below), the rest will be given on the first come first serve basis, offering the option in the registration procedure while there are free places. For additional accommodation options in Olomouc see eg. this page .

Student support

TACL school and TACL conference are sponsored by the Association for Symbolic Logic. This means that students can apply to the ASL for travel awards. Please refer to this page for information on how to do it. Applications must reach the ASL office before the 26th of March.

Full and partial support concerning TACL school registration, lunches and accommodation will be offered for selected students during the early registration period. You can apply for it during the registration process, and after a selection process based on merits and motivations, shortly after the early registration deadline you will be notified the kind of support you were assigned and the payment information to conclude the registration.

Venue & Local info

Conference dates

Arrival: 25/06/2017

Talks: 26/06 - 30/06

Departure: 01/07/2017


Social Programme

Welcome Party
Monday 26.6. 19:30h
at Pavilon Grebovka.

Boat trip
Thursday 29.6. 15:00-16:30h
A trip in a Vltava Steam Boat.

Thursday 29.6. 18:30h
at Marina Brewery.

Welcome party and boat trip are free for all participants and their accompanying persons. Banquet is reserved for anyone owning a banquet ticket, purchased either through the online registration or in the desk-registration.


TACL2017 will be held at the historical building of the Faculty of Arts of the Charles University, in Prague. See a map of the venue and the surroundings here. It is located near the city centre, next to main metro and train stations, hotels and restaurants.
You can find here a short printable document with interesting local information, useful to arrive to the venue of the conference and to the registration.
Also, find here the information booklet you will be given in paper in the registration, including the programme and some relevant local information.

Other events in Prague during TACL

Prague Seminar on Paraconsistent Logic II (Logic Workshop),
24-25 June. Website
A-Fest in Park (Music Festival), 25 June. Website
United Islands of Prague (Music Festival), 22-25 June. Website
Metronom Fusic Festival, 23-24 June. Website
Tanec Praha (Dance Festival), 28 May -28 June . Website
Prague Proms Music Festival, 21 June - 19 July . Website

Conference Programme

You can find here the information booklet you will be given in paper in the registration, including the programme and some relevant local information. The full list of accepted abstracts can be consulted here.

Detailed Programme


Short Programme

Monday 26 Tuesday 27 Wednesday 28 Thursday 29 Friday 30
8:00 - 9:15h Registration (Room 111)
9:15 - 9:30h Opening of TACL2017 Hájek KGS Award ceremony
9:30 - 10:30h Mai Gehrke Luca Spada Steve Vickers Alexandra Silva Contributed talks
10:30 - 11:00h

Coffee break

11:00 - 13:00h Contributed talks
13:00 - 15:00h

Lunch break

15:00 - 16:00h Bart Jacobs Martín Escardó Greg Restall Boat trip Alexandru Baltag
16:00 - 16:30h

Coffee break

Coffee break

16:30 - 18:30h Contributed talks Contributed talks
18:30 - 19:30h SYSMICS meeting Banquet
19:30 - ... Welcome party

The list of participants can be consulted here. A compilation of the abstracts of the conference can be consulted here.

Summer School

The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacký University of Olomouc (two hour train trip from Prague). Here you can find a selection of possible accomodations near the venue of the school. Moreover, for some local information you can see this printable document.


Arrival: 19/06/2017

School: 20/06 - 24/06, lunchtime

Departure: 24/06/2017

Programme of the school

Lecturers of the school:

Special Evening Lecture (21.06)

Mathematical Institute, CAS

Proof complexity and games


Organized by

Faculty of Science, Palacký University Olomouc



Organizing Committee

Radomír Halaš (chair)
Martin Broušek
Jan Kuhr
Petr Cintula
Ondrej Majer
Igor Sedlár
Amanda Vidal

Contact Us

for any questions regarding TACL2017 conference, please write an email to


for any questions regarding the summer school, please write an email to