Year: 2017
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. (December)
[16](Invited keynote) tba (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. (July)
[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 Algrithums (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) Ku╠ł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 "bettermarks und Mathematische Beweise", bettermarks GmbH, Berlin, 2017. (January)
Powered by bibtexbrowser