Year: 2016
2016
[20](Invited) Uniform Proofs via Shallow Semantic Embeddings? (Christoph Benzmüller), Dagstuhl Seminar 15381 --- Universality of Proofs, Dagstuhl, 2016. (slides)
[19]Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL (Christoph Benzmüller), Second Global Conference on Artificial Intelligence (GCAI), Berlin, 2016. (course material)
[18]An Object-Logic Explanation for the Inconsistency in Gödel's OntologicalTheory (Christoph Benzmüller), KI 2016 - 39th German Conference on Artificial Intelligence, 26-30 September 2016 in Klagenfurt, Austria, 2016. (slides)
[17]Axiomatising Category Theory in Isabelle/HOL (Christoph Benzmüller), Deduktionstreffen, 26 September 2016 in Klagenfurt, Austria, 2016. (slides)
[16]Einsatz von Theorembeweisern in der Lehre (Christoph Benzmüller), Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam, 2016. (slides)
[15](Invited talk) Computational Metaphysics: The Virtues of Formal Proofs Beyond Maths (Christoph Benzmüller), Colloquium of the Berlin Mathematical School (BMS Fridays), Berlin, 2016. (slides (without movies))
[14]An Object-Logic Explanation for the Inconsistency in Gödel’s Ontological Theory (Christoph Benzmüller), 39th German Conference on Artificial Intelligence (KI), 2016. (September)
[13]Axiomatizing Category Theory in Free Logic (Christoph Benzmüller), Deduktionstreffen 2016, 2016. (September)
[12](Poster) The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics (Christoph Benzmüller), Intl. Congress on Mathematical Software (ICMS 2016), 2016. (poster)
[11]Automating Free Logic in Isabelle/HOL (Christoph Benzmüller), Intl. Congress on Mathematical Software (ICMS 2016), 2016. (slides, Isabelle/HOL_paper_source, Isabelle/HOL_further_experiments)
[10](Invited Panel) Erwachen der Roboter – lernende Maschinen und die Intelligenz der Zukunft (Christoph Benzmüller), Bundeszentrale für politische Bildung – bpb, Berlin, 2016. (July)
[9]Hands-on Higher-order Modal Logics in Isabelle/HOL (Christoph Benzmüller), UITP 2016, Coimbra, Portugal, 2016. (July)
[8]TPTP and Beyond: Representation of Quantified Non-Classical Logics (Christoph Benzmüller), ARQNL 2016, Coimbra, Portugal, 2016. (July)
[7](Invited) Automatisierung von Gödel's Gottesbeweis im Computer (Christoph Benzmüller), Auticon GmbH, Berlin, 2016. (June)
[6](Invited keynote) Künstliche Intelligenz---Wohin geht die Reise? (Christoph Benzmüller), Shared Services and Outsourcing Woche (http://www.sharedserviceswoche.de/mediacenter), Berlin, 2016. (slides (without movies))
[5](Invited) Computational Metaphysics (Christoph Benzmüller), Central Teaching Award Acceptance Speech at FU Berlin, 2016. (slides (without movies))
[4](Invited) Computational Metaphysics (Christoph Benzmüller), Thematic trimester 'Current Issues in the Philosophy of Practice of Mathematics and Informatics', Centre International de Mathématiques et d'Informatique de Toulouse (CIMI), France, 2016. (June)
[3](Invited) The Inconsistency in Gödel’s Ontological Argument: An Application of Mathematical Proof Assistants in Metaphysics (Christoph Benzmüller), Mathematical Logic Seminar, Stanford University, USA, 2016. (slides)
[2](Invited tutorial) A Universal Logic Theorem Proving Approach (Christoph Benzmüller), Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA, 2016. (February)
[1](Invited) A Success Story of Higher-Order Theorem Proving in Computational Metaphysics (Christoph Benzmüller), Logic Colloquium, University of California, Berkeley, USA, 2016. (February)
Powered by bibtexbrowser