Since 2013, the Prague Gathering of Logicians is an annual meeting of researchers in logic and related disciplines, mostly based in the Czech Republic. This year's edition will take place on 9-10 May and is co-organized by The Institute of the Theory of Information and Automation, Institute of Computer Science and the Institute of Philosophy of the Czech Academy of Sciences.
Speakers
- Libor Barto, Faculty of Mathematics and Physics, Charles University
- Zuzana Haniková, Institute of Computer Science, Czech Academy of Sciences
- Ansten Klev, Institute of Philosophy, Czech Academy of Sciences
- Aleš Pultr, Faculty of Mathematics and Physics, Charles University
- Jonathan Verner, Faculty of Arts, Charles University
- Vít Punčochář, Institute of Philosophy, Czech Academy of Sciences
- Carles Noguera, Institute of the Theory of Information and Automation, Czech Academy of Sciences
- Amanda Vidal, Institute of Computer Science, Czech Academy of Sciences
- Andrew Tedder, Institute of Computer Science, Czech Academy of Sciences
- Igor Sedlár, Institute of Computer Science, Czech Academy of Sciences
Registration
If you'd like to participate, send and e-mail to Igor Sedlár indicating if you'd also like to attend the banquet. There is no registration fee.Schedule
Thursday, 9 May (Joint programme with the Prague Logic Camp)Venue: Institute of Computer Science CAS, room 318, Pod Vodárensou věží 271/2, Prague 8. (map)
- 10:00 - 11:00: Carles Noguera - Mathematical Fuzzy Logic and graded reasoning
- 11:00 - 11:30: Cofee break
- 11:30 - 12:30: Amanda Vidal - Many-valued modal logics
- 12:30 - 14:30: Lunch
- 14:30 - 15:30: Andrew Tedder - Two logics of variable essence
- 15:30 - 16:00: Coffee break
- 16:00 - 17:00: Vít Punčochář - A duality between two semantic frameworks
- 17:00 - 17:30: Coffee break
- 17:30 - 18:30: Igor Sedlár - Dynamics in non-classical logic
Friday, 10 May
Venue: The Academic Conference Centre of the Czech Academy of Sciences, Husova 4a, Prague 1. (map)
- 10:00 - 11:00: Aleš Pultr - Notes about point-free topology
- 11:00 - 11:30: Cofee break
- 11:30 - 12:30: Zuzana Haniková - Algorithmic problems in Łukasiewicz logic
- 12:30 - 14:30: Lunch
- 14:30 - 15:30: Libor Barto - Algebraic theory of promise constraint satisfaction problems
- 15:30 - 16:30: Ansten Klev - Definitional identity
- 16:30 - 17:00: Coffee break
- 17:00 - 18:00: Jonathan Verner - What you (never) wanted to know about ultrafilters
- 19:00: Banquet
Associated events
- Prague Logic Camp, 6-9 May, 2019. Joint lectures with the PGL on Thursday 9 May.
- Workshop on Admissible Rules and Unification III, 11-12 May, 2019
Organization
- Carles Noguera, Inst. Theory of Information and Automation, CAS
- Igor Sedlár, Inst. Computer Science, CAS
- Ondrej Majer, Inst. Philosophy, CAS
Sponsors
- Institute of Philosophy, Czech Academy of Sciences
- Institute of Computer Science, Czech Academy of Sciences
- Czech Society for Cybernetics and Informatics