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.