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.