Invited Speakers

Kurt Gödel Society in Brno Award Recipient and Invited Speaker

Jiří Rosický
(Masaryk University Brno)
Talk: Stable Independence from the Category Theoretic Point of View

Czech Gathering of Logicians Invited Speakers

Rostislav Horčík
(Czech Technical University)
Talk: A Logical Approach to Explainability for Graph Neural Networks

Andrzej Indrzejczak
(University of Łódź)
Talk: Proof Systems for Hybrid Logic with Lambda and Iota Operators

Amirhossein Akbar Tabatabai
(Czech Academy of Sciences)
Talk: On Gödel's Classical Interpretation of Intuitionism

Last update: 28/05/2024.