Year: 2014
2014
[11](Invited keynote) On Logic Embeddings and Gödel's God (Christoph Benzmüller), 21. Jahrestagung der GI-Fachgruppe `Logik in der Informatik', University of Kassel, Germany, 2014. (slides)
[10](Invited keynote) On Logic Embeddings and Gödel's God (Christoph Benzmüller), 22nd International Workshop on Algebraic Development Techniques, Sinaia, Romania, 2014. (slides)
[9]Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers (Christoph Benzmüller), 21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, 2014. (slides)
[8]HOL based First-order Modal Logic Provers (Christoph Benzmüller), ARQNL Workshop at VSL'2014, Vienna, Austria, 2014. (slides)
[7](Invited tutorial) Higher-Order Automated Theorem Provers (Christoph Benzmüller), APPA Workshop at VSL'2014, Vienna, Austria, 2014. (slides)
[6]Gödel's Unvollständigkeitssätze (Christoph Benzmüller), Freie Universität Berlin, Germany, 2014. (slides)
[5](Invited) Kurt Gödel's Gottesbeweis auf dem Computer (Christoph Benzmüller), Marburg, Germany, 2014. (slides)
[4](Invited) Gödel's God on the Computer (Christoph Benzmüller), IT University Copenhagen, Denmark, 2014.
[3](Invited) Gödel's God on the Computer (Christoph Benzmüller), Informatikkolloquium, The University of Innsbruck, Austria, 2014.
[2](Invited) Kurt Gödel's Gottesbeweis auf dem Computer (Christoph Benzmüller), Lange Nacht der Wissenschaften, Berlin, Germany, 2014.
[1]Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel-Paleo), World Congress on the Square of Opposition VI, Vatican, 2014. (slides)
Powered by bibtexbrowser