Monday 13 January 2020

8:30 registration
10:00 opening; Prof Jiří Zlatuška (Dean of Faculty of Informatics, MU)
10:30 Jiří Rosický "From First-order Logic to Accessible Categories"
11:30 lunch break
13:30 Albert Visser "The Second Incompleteness Theorem in General"
14:30 coffee break
14:45 Pavel Pudlák "The Second Incompleteness Theorem, Variations"
15:45 coffee break
  contributed talks
16:15 Bohdan Hejna "Common Gnoseological Meaning of Gödel and Caratheodory Theorems"
Ashot Baghdasaryan and Hovhannes Bolibekyan "On Neural Network Based Automated Theorem Prover For Minimal Logic"
17:15 coffee break
17:30 Peter Vojtáš "From Vopěnka's Phenomenology to a Modeling Framework"
18:00 Peter Zamarovský "Alternative Mathematics, or Petr Vopěnka's Wandering to Alternativity and Back"

Tuesday 14 January 2020

9:00 morning coffee
9:30 Matthias Baaz "Gödel logics - Enduring Consequences of a Short Paper"
10:30 coffee break
10:45 Curtis Franks "Gödel in 2020: Hindsight, Foresight, and Logical Blindness"
11:45 coffee break
  contributed talks
12:00 Elio La Rosa "Informal Provability and its Logics"
12:30 Piotr Błaszczyk "Modern Alternatives to Cantor's Theory of Infinity"
13:00 lunch break
Petr Vopěnka's block
15:00 opening, Prof Pavol Zlatoš
15:15 Lev Bukovský "From Topology to Set Theory"
15:45 Alena Vencovská "Alternative Set Theory and new Infinitary Mathematics"
16:15 coffee break
16:30 chamber music by Trio Komorní dechové harmonie Brno
16:45 Kateřina Trlifajová "An Encounter with Petr Vopěnka"
17:15 Prof Jan Novotný on Prof Petr Vopěnka and Kurt Gödel Prize for him;
presenting the prize to Vopěnka's son Martin Vopěnka by Prof Jan Novotný and Prof Pavol Zlatoš
18:00 ceremonial dinner (at Brno Observatory; end - 20:00)

Wednesday 15 January 2020

  contributed talks
9:00 Fedor Pakhomov "Speedups for Elementary Geometry and Presburger Arithmetic"
9:30 Miloš Dokulil "Gödel's Religious Worldview and the Path to its Immanent Personal Interpretation"
10:00 Joachim Hertel "New Numerical Evidence for Gödelian Hypercomputing Minds"
10:30 trip (bus/walk) on Brno's Gödelian places of interest; organised by Prof Jan Pavlík
12:00 ceremonial lunch (for invited) & end of the conference

Last update: 08/01/2020