Year: 2017
2017
[19](Invited Tutorial) Automated Reasoning in Higher-order and Non-classical Logics (Christoph Benzmüller), Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil, 2017. (zip-file)
[18](Invited) What has the Mechanisation of Category Theory in Common with Proving God’s Existence? (Christoph Benzmüller), Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), 40 Years of Computer Science, 2017.
[17](Invited Keynote) Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Christoph Benzmüller), XX Brazilian Symposium on Formal Methods (SMBF), Recife, Brazil, 2017. (slides)
[16](Invited Keynote) What has the Mechanisation of Category Theory in Common with Proving God’s Existence? (Christoph Benzmüller), 3. BMG Tag, Berliner Mathematische Gesellschaft e.V., Berlin, 2017. (November)
[15]Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic (Christoph Benzmüller), KI 2017 - 40th German Conference on Artificial Intelligence, 25-29 September 2017 in Dortmund, Germany, 2017.
[14](Invited) Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller), Dagstuhl Seminar 17371: Deduction Beyond First-Order Logic, Dagstuhl, 2017.
[13](Invited Tutorial) Universal Logical Reasoning via Semantical Embeddings in HOL (Christoph Benzmüller), 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil, 2017. (zip-file)
[12](Invited Keynote) Computational Metaphysics: The Virtues of Formal Proofs Beyond Math (Christoph Benzmüller), 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil, 2017.
[11]Universal Logic Theorem Proving via Semantical Embeddings in HOL (Christoph Benzmüller), International Workshop on Logic-Based Formalisms for Legal Reasoning (LBFLR 2017), 2017. (May)
[10](Invited Tutorial) Tutorial on Universal Logic Theorem Proving in HOL (Christoph Benzmüller), ILIAS group, University of Luxembourg, 2017. (May)
[9](Invited) Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths and Computer Science (Christoph Benzmüller), S-2: The Ubiquity of Computing: historical and philosophical issues---Commission for Computing HaPoC--- 25th International Congress of History of Science and Technology, Rio de Janeiro, Brasil, 2017. (poster)
[8]Innovative Teaching of Computational Metaphysics (Christoph Benzmüller), Session on Innovative and Effective Teaching in History of Science and Technology --- 25th International Congress of History of Science and Technology, Rio de Janeiro, Brasil, 2017. (July)
[7](Invited Public Talk) Calculemus!: Analyse von Kurt Gödel's Gottesbeweis mit dem Computer (Christoph Benzmüller), Urania, Berlin, 2017. (June)
[6]Davis-Putnam-Logemann-Loveland Algrithmus (Christoph Benzmüller), Alpen-Adria Universität Klagenfurt, 2017. (April)
[5](Invited) Calculemus! --- Progress in Universal Logic Reasoning and Computational Metaphysics (Christoph Benzmüller), Alpen-Adria Universität Klagenfurt, 2017. (April)
[4](Invited) Universal Logic Reasoning via Shallow Semantical Embeddings (Christoph Benzmüller), Workshop on Rational Enterprise Architecture Logic and Reasoning (REAL), University of Luxembourg, 2017. (April)
[3](Invited) Computational Metaphysics: The Virtues of Formal Proofs Beyond Math (Christoph Benzmüller), ILIAS Distinguished Lectures, University of Luxembourg, 2017. (March)
[2](Invited) Künstliche Intelligenz --- Bemerkungen zur Historie und zu aktuellen Entwicklungen (Christoph Benzmüller), Innovationsregion Lausitz GmbH, Cottbus, 2017. (February)
[1](Invited) System Demonstration: Interactive and Automated Reasoning in Isabelle/HOL (Christoph Benzmüller), Workshop \textitBettermarks und Mathematische Beweise, bettermarks GmbH, Berlin, 2017. (January)
Powered by bibtexbrowser