Czech Gathering of Logicians is an annual regional event that brings together researchers in all areas of logic.
Websites of previous editions: 2013, 2014, 2015, 2016, 2017, 2018, 2019, and 2021.

Download the programme and book of abstracts in PDF.


Invited Speakers

All invited talks will be broadcast over zoom.

Conference Programme

Download the programme and book of abstracts in PDF.

All talks take place in the Institute of Information Theory and Automation (UTIA) building, big lecture room on the ground foor, facing the main entrance.

Thursday 16 Friday 17
9:00 - 09:30h Registration
9:30 - 09:45h Opening Libor Běhounek
9:45 - 10:30h Chris Fermüller
10:30 - 10:45h Carles Noguera
10:45 - 11:00h Coffee break
11:00 - 11:15h Jamie Wannenburg Coffee break
11:15 - 11:30h Elías Fuentes Guillén
11:30 - 12:00h Zuzana Rybaříková
12:00 - 12:15h Jiří Raclavský
12:15 - 12:30h Kateřina Trlifajová
12:30 - 12:45h
12:45 - 14:00h Lunch break
14:00 - 15:00h Šárka Stejskalová Vít Punčochář
15:00 - 15:15h Pavel Arazim Coffee Break
15:15 - 15:30h Ludovica Conti
15:30 - 15:45h Coffee Break
15:45 - 16:15h Kentarô Yamamoto Tadeusz Litak
16:15 - 16:45h Adam Bartoš Emil Jeřábek
16:45 - 17:15h Wieslaw Kubiś Closing
17:45 - 18:00h
18:00 - 21:00h

Library evening
and Banquet

Evening in the Library of Petr Hájek

June 16 2022.

Download the library program as PDF.

The evening programme takes place at the first floor of the Institute of Computer Science building (UI), and includes informal short talks, a visit to the Library of Petr Hájek, and banquet.
Included in full conference registration.

Thursday 16 June
18:00 - 18:05h Petr Cintula
18:05 - 18:10h Zuzana Haniková
18:10 - 18:20h Vítězslav Švejdar
18:20 - 18:25h Tereza Šírová
18:25 - 21:00h Banquet
18:30h - Library excursions

Venue

The meeting will be held in at the Ládví Campus of the Czech Academy of Science, Prague, where the Institutes of Computer Science and Information Theory and Automation are located.

Map to possible lunch places:


Dates

June 16-17 2022.

Add to Calendar 2022-06-16 2022-06-17 true Czech Gathering of Logicians Email clog2022@cs.cas.cz. For more information see http://uivty.cs.cas.cz/~clog2022/ Ládví Campus of the Czech Academy of Science, Prague


Fees

CZK 1000
(includes booklet of abstracts, coffee breaks, and banquet and evening at the Library of Petr Hájek).

Conference email:
clog2022@cs.cas.cz.

Call for Participation

Full registration is now closed, but the form will be kept live for people who want to receive the zoom link, or send an email to clog2022@cs.cas.cz.
Registration form

Organization

This meeting is organized by the Institute of Computer Science and
co-organized by the Institute of Information Theory and Automation of the Czech Academy of Sciences.

Programme Committee

Pavel Arazim (Czech Academy of Sciences),
Petr Cintula (Czech Academy of Sciences),
Antonín Dvořák (University of Ostrava),
Berta Grimau (Czech Academy of Sciences),
Zuzana Haniková (Czech Academy of Sciences),
Emil Jeřábek (Czech Academy of Sciences),
Jiří Raclavský (Masaryk University),
Vítězslav Švejdar (Charles University) (chair).

Organizing Committee

Petr Cintula (Czech Academy of Sciences),
Berta Grimau (Czech Academy of Sciences),
Zuzana Haniková (Czech Academy of Sciences) (chair),
Kateřina Vacková (Czech Academy of Sciences),
Jamie Wannenburg (Czech Academy of Sciences)

Acknowledgements and Funding

This event is sponsored by the Czech Society for Cybernetics and Informatics
and Department of Theoretical Computer Science, ICS, CAS

Photographs by Studio Cosmo