Czech Gathering of Logicians 2022
June 16 — 17, 2022
Institute of Computer Science and
Institute of Information Theory and Automation,
Czech Academy of Sciences, Prague,
Ládví Academy Campus.
Evening in the Library of Petr Hájek
Basic info
Download the programme and book of abstracts in PDF.
Invited Speakers
- Libor Běhounek A Vopěnka-style principle for fuzzy mathematics (University of Ostrava)
- Chris Fermüller From Semantic Games to Analytic Calculi (Vienna University of Technology)
- Elías Fuentes-Guillén A hitherto unknown text by Bolzano on his Beyträge (Czech Academy of Sciences)
- Vít Punčochář First-Order Logic of Questions (Czech Academy of Sciences)
- Šárka Stejskalová Compactness Principles for Uncountable Trees (Charles University)
Conference Programme
Download the programme and book of abstracts in PDF.
All talks took 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
|
|
Evening in the Library of Petr Hájek
June 16 2022.
Download the library program as PDF.
The evening programme took place at the first floor of the Institute of Computer Science building (UI), and included informal short talks, a visit to the Library of Petr Hájek, and banquet.
| 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 was 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.
Conference email:
clog2022@cs.cas.cz.
Organization
This meeting was 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 was sponsored by the Czech Society for Cybernetics and Informatics
and Department of Theoretical Computer Science, ICS, CAS
Photographs by Studio Cosmo