Keywords: Invited Presentations
2018
[92](Invited) tba (Christoph Benzmüller), HaPoC celebration event for Martin Davis’ 90st birthday, 2018.
2017
[91](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)
[90](Invited keynote) tba (Christoph Benzmüller), 3. BMG Tag, Berliner Mathematische Gesellschaft e.V., Berlin, 2017. (November)
[89](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.
[88](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)
[87](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.
[86](Invited tutorial) Tutorial on Universal Logic Theorem Proving in HOL (Christoph Benzmüller), ILIAS group, University of Luxembourg, 2017. (May)
[85](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)
[84](Invited public talk) Calculemus!: Analyse von Kurt Gödel's Gottesbeweis mit dem Computer (Christoph Benzmüller), Urania, Berlin, 2017. (June)
[83](Invited) Calculemus! --- Progress in Universal Logic Reasoning and Computational Metaphysics (Christoph Benzmüller), Alpen-Adria Universität Klagenfurt, 2017. (April)
[82](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)
[81](Invited) Computational Metaphysics: The Virtues of Formal Proofs Beyond Math (Christoph Benzmüller), ILIAS Distinguished Lectures, University of Luxembourg, 2017. (March)
[80](Invited) Künstliche Intelligenz --- Bemerkungen zur Historie und zu aktuellen Entwicklungen (Christoph Benzmüller), Innovationsregion Lausitz GmbH, Cottbus, 2017. (February)
[79](Invited) System Demonstration: Interactive and Automated Reasoning in Isabelle/HOL (Christoph Benzmüller), Workshop "bettermarks und Mathematische Beweise", bettermarks GmbH, Berlin, 2017. (January)
2016
[78](Invited) Uniform Proofs via Shallow Semantic Embeddings? (Christoph Benzmüller), Dagstuhl Seminar 15381 --- Universality of Proofs, Dagstuhl, 2016. (slides)
[77](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))
[76](Invited Panel) Erwachen der Roboter – lernende Maschinen und die Intelligenz der Zukunft (Christoph Benzmüller), Bundeszentrale für politische Bildung – bpb, Berlin, 2016. (July)
[75](Invited) Automatisierung von Gödel's Gottesbeweis im Computer (Christoph Benzmüller), Auticon GmbH, Berlin, 2016. (June)
[74](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))
[73](Invited) Computational Metaphysics (Christoph Benzmüller), Central Teaching Award Acceptance Speech at FU Berlin, 2016. (slides (without movies))
[72](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)
[71](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)
[70](Invited tutorial) A Universal Logic Theorem Proving Approach (Christoph Benzmüller), Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA, 2016. (February)
[69](Invited) A Success Story of Higher-Order Theorem Proving in Computational Metaphysics (Christoph Benzmüller), Logic Colloquium, University of California, Berkeley, USA, 2016. (February)
2015
[68](Invited keynote) On a (Quite) Universal Theorem Proving Approach and its Application to Metaphysics (Christoph Benzmüller), Tableaux 2015, Wroclaw, Poland, 2015. (slides)
[67](Invited lecture course) Higher-Order Modal Logics: Automation and Applications (Christoph Benzmüller, Bruno Woltzenlogel Paleo), The 11th Reasoning Web Summer School, 2015. (slides)
[66](Invited) Experiments in Computational Metaphysics (Christoph Benzmüller), SRI International, Menlo Park, USA, 2015. (December)
[65](Invited lecture course) Higher-Order Modal Logics (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Logic Summer School, ANU Canberra, Australia, 2015. (slides)
[64](Invited keynote) Experiments in Computational Metaphysics (Christoph Benzmüller), 9th All India Students' Conference on Science and Spiritual Quest (AISSQ), IIT Kharagpur, India, 2015. (slides)
[63](Invited) Experiments in Computational Metaphysics (Christoph Benzmüller), Computational Logic Seminar (MUGS), Stanford University, USA, 2015. (October)
[62](Invited) Higher-Order Proofs and Models -- Examples from Meta-Logical Reasoning and Metaphysics (Christoph Benzmüller), Dagstuhl Seminar 15381 --- Deduction: Models and Proofs, 2015. (October)
[61](Invited) ''Gottesbeweis'' reloaded --- Analyzing Variants of the Ontological Argument with the Computer (Christoph Benzmüller), Lange Nacht der Wissenschaften, Berlin, Germany, 2015. (slides)
[60](Invited) Towards Computational Metaphysics (Christoph Benzmüller), Universität Leipzig, 2015.
[59](Invited keynote) Gödel's Ontological Argument Revisited -- Findings from a Computer-supported Analysis (Christoph Benzmüller), 1st World Congress on Logic and Religion, João Pessoa, Brazil, 2015. (slides)
[58](Invited) Towards Computational Metaphysics --- Bridging between Mathematical Logic, Artificial Intelligence and Philosophy (Christoph Benzmüller), Berlin Mathematical School, lecture series on 'Bridges between mathematics and its applications', Technical University Berlin, Germany, 2015.
[57](Invited) Towards Computational Metaphysics --- Techniques and Tools for Knowledge Representation and Reasoning in Expressive Ontologies (Christoph Benzmüller), Friedrich-Alexander-Universität, Erlangen-Nürnberg, Germany, 2015.
2014
[56](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)
[55](Invited keynote) On Logic Embeddings and Gödel's God (Christoph Benzmüller), 22nd International Workshop on Algebraic Development Techniques, Sinaia, Romania, 2014. (slides)
[54](Invited tutorial) Higher-Order Automated Theorem Provers (Christoph Benzmüller), APPA Workshop at VSL'2014, Vienna, Austria, 2014. (slides)
[53](Invited) Kurt Gödel's Gottesbeweis auf dem Computer (Christoph Benzmüller), Marburg, Germany, 2014. (slides)
[52](Invited) Gödel's God on the Computer (Christoph Benzmüller), IT University Copenhagen, Denmark, 2014.
[51](Invited) Gödel's God on the Computer (Christoph Benzmüller), Informatikkolloquium, The University of Innsbruck, Austria, 2014.
[50](Invited) Kurt Gödel's Gottesbeweis auf dem Computer (Christoph Benzmüller), Lange Nacht der Wissenschaften, Berlin, Germany, 2014.
2013
[49](Invited keynote) Gödel's God on the Computer (Christoph Benzmüller), The 10th International Workshop on the Implementation of Logics (IWIL 2013), Stellenbosch, South Africa, 2013. (slides)
[48]Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Informatik Kolloquium, Freie Universität Berlin, Germany, 2013. (slides)
2012
[47](Invited) Konzepte und Nutzen von Lambda-Ausdrücken in Java 8 (und Scala) (Christoph Benzmüller), Beuth Hochschule für Technik, Berlin, Germany, 2012. (slides)
[46](Invited) LEO-II --- Eine universelle Logikmaschine (Christoph Benzmüller), Beuth Hochschule für Technik, Berlin, Germany, 2012.
[45](Invited) Automating Expressive Classical and Non-Classical Logics with LEO-II, Computer Science Colloquium (Christoph Benzmüller), Computer Science Colloquium, Freie Universität Berlin, Germany, 2012.
[44](Invited) Utilizing Higher-order Automated Theorem Provers as Universal Logic Engines (Christoph Benzmüller), Retirement Celebration of Peter Andrews, Carnegie Mellon University, USA, 2012. (slides)
[43](Invited) Utilizing Church's Type Theory as a Universal Logic (Christoph Benzmüller), Collegium Logicum Lecture Series, Kurt Gödel Society, Vienna, Austria, 2012. (slides)
2011
[42](Invited) Mechanization and Automation of Combinations of Classical and Non-Classical Logics in Classical Higher Order Logics (Christoph Benzmüller), Colloquium New Trends in Computational Logic, TU Dresden, Germany, 2011.
[41](Invited) Mechanisierung und Automatisierung von Kombinationen klassischer und nichtklassischer Logiken in klassischer Logik höherer Stufe (Christoph Benzmüller), University of Hamburg, Germany, 2011.
[40](Invited) Der Automatische Theorembeweiser LEO-II (Christoph Benzmüller), BMW Group, Munich, Germany, 2011.
[39](Invited) Intelligente Werkzeuge zur Erhebung, Bereitstellung, Analyse und Kommunikation von diversifiziertem, personifiziertem, interoperablen semantischen Wissen (Christoph Benzmüller), Deutsches Institut für Wirtschaftsforschung, Berlin, Germany, 2011.
[38](Invited) Automating Expressive Non-classical Logics and their Combinations in Classical Higher Order Logic (Christoph Benzmüller), University of Potsdam, Germany, 2011. (slides)
2010
[37](Invited) Combining Logics in Simple Type Theory (and an Application in Ontology Reasoning) (Christoph Benzmüller), SRI International, Menlo Park, USA, 2010. (slides)
[36](Invited) Winner Presentation: LEO-II (Christoph Benzmüller), CASC-J5, Fifth International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK, 2010. (slides)
[35](Invited) Adaptive Assertion-Level Proofs (Christoph Benzmüller, Marvin Schiller), The IJCAR 2010 Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions, Edinburgh, UK, 2010. (slides)
[34](Invited) Three presentations at Dagstuhl Seminar 10412 QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, Dagstuhl, Germany, October 10-13, 2010: Reasoning within and about Combinations of Logics in Simple Type Theory (talk and system demonstration), Participant Introduction, and QSTRLib Use Case: Educational Question Answering on Spatial Configurations of Countries, States, and Cities. (Christoph Benzmüller), Dagstuhl Seminar 10412: QSTRLib, Schloss Dagstuhl, Germany, 2010.
2008
[33](Invited) Exploring Properties of Multimodal Logics with the Cooperative Automatic Higher-Order Theorem Prover LEO-II (Christoph Benzmüller), SRI International, Menlo Park, USA, 2008. (slides)
[32](Invited) Tool Support for Formalized Mathematics: Cooperative Higher-Order Theorem Proving with LEO-II, Tutorial Dialogues on Proofs with the DIALOG demonstrator, and the PLATO/OMEGA Proof Assistant Plug-in for TeXmacs (Christoph Benzmüller), Formal Mathematics Seminar, University of Bonn, Germany, 2008. (slides)
[31](Invited) LEO-II --- A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (Christoph Benzmüller), Microsoft Research, Redmond, USA, 2008.
[30](Invited) Automating Access Control Logics and Multimodal Logics in the Automatic Higher-Order Theorem Prover LEO-II (Christoph Benzmüller), Kestrel Institute, Palo Alto, USA, 2008.
[29](Invited) Automating Access Control Logics and Multimodal Logics in the Automatic Higher-Order Theorem Prover LEO-II (Christoph Benzmüller), Pure and Applied Logic Seminar, Carnegie Mellon University, Pittsburgh, USA, 2008. (slides)
2007
[28](Invited) Challenges for Automated Theorem Proving in Classical Higher Order Logics (Christoph Benzmüller), Heriot-Watt University, Edinburgh, Scotland, 2007.
[27](Invited) Challenges for Automated Theorem Proving in Classical Higher Order Logics (Christoph Benzmüller), University of St. Andrews, St. Andrews, Scotland, 2007. (slides)
[26](Invited) Challenges for Automated Theorem Proving in Classical Higher Order Logics (Christoph Benzmüller), The University of Edinburgh, Scotland, 2007.
[25](Invited tutorial) Semantics of Higher-Order Logics (Christoph Benzmüller), Invited Lecture Course at ITU Copenhagen, Denmark, 2007. (slides)
[24](Invited) Effiziente Automatisierung von Logik höherer Stufe ---- realisierbarer Traum oder ewiger Albtraum? (Christoph Benzmüller), Inaugural Lecture (Privatdozent) at Saarland University, Germany, 2007.
2006
[23](Invited) Semantics of Higher-Order Logics (Christoph Benzmüller), Invited Lecture Course at ESSLLI 2006, Malaga, Spain, 2006. (slides)
[22](Invited) Service Oriented Architectures for Mathematics Assistance Systems (Christoph Benzmüller), Fachhochschule Frankfurt am Main, Germany, 2006.
[21](Invited) Classical Higher-Order Logic --- Semantics, Proof Theory and Automation (Christoph Benzmüller), University of Potsdam, Germany, 2006.
[20](Invited) Classical Higher-Order Logic --- Theory, Applications and Problems (Christoph Benzmüller), Saarland University (scientific habilitation talk), Germany, 2006. (slides)
2005
[19](Invited) A Structured Set of Higher-Order Problems (Christoph Benzmüller), Dagstuhl Seminar 05431: Deduction and Applications, Schloss Dagstuhl, Germany, 2005. (slides)
[18](Invited) Three Approaches for Guiding the Cooperation of Mathematical Reasoning Systems: Proof Planning, Agent-based Reasoning, and Autometad Composition of Reasoning Web Service (Christoph Benzmüller), QSL Theme day: Integration of deductive tools. Nancy, France, 2005. (slides)
[17](Invited) Can a Higher-Order and a First-Order Theorem Prover Cooperate? (Christoph Benzmüller), LORIA, Nancy, France, 2005. (slides)
[16](Invited) Logik höherer Stufe: Ein geeignetes Fundament für die Mathematik und für Formale Methoden? (Christoph Benzmüller), TU Darmstadt, Germany, 2005.
2004
[15](Invited) OMEGA: A Mathematical Assistance System (Christoph Benzmüller), Automated Reasoning Group, Cambridge University, Cambridge, UK, 2004. (slides)
2003
[14](Invited) OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Christoph Benzmüller), MKM Symposium 2003, Edinburgh, Scotland, 2003. (slides)
2002
[13](Invited) Tutorial Dialog with a Mathematical Assistant System (Christoph Benzmüller), Computer Science Department, The University of Birmingham, UK, 2002.
[12](Invited tutorial) From Natural Deduction to Sequent Calculus and back (Christoph Benzmüller), CALCULEMUS Autumn School 2002, Pisa, Italy, 2002.
2001
[11](Invited) Concurrent Resource Guided Deduction (Christoph Benzmüller), Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, Birmingham, UK, 2001. (slides)
[10](Invited keynote) An Agent-based Approach to Reasoning (Christoph Benzmüller), AISB'01 Convention Agents and Cognition in conjunction with 8th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of York, UK, 2001. (slides)
[9](Invited) Panel member of the IJCAR 2001 Workshop Future Directions in Automated Reasoning --- Problems and Ideas for a New Millennium (Christoph Benzmüller), IJCAR 2001, Siena, Italy, 2001.
[8](Invited) Agent-oriented Reasoning with O-ANTS (Christoph Benzmüller), Department of Computer Science, Cornell University, Ithaca, NY, USA, 2001.
[7](Invited) Agent-oriented Reasoning with O-ANTS (Christoph Benzmüller), Pure and Applied Logic Seminar, Carnegie Mellon University, Pittsburgh, PA, USA, 2001. (slides)
2000
[6](Invited) OANTS --- An Open Approach at Combining Interactive and Automated Theorem Proving (Christoph Benzmüller), Centre for Agent Research and Development CARD, Department of Computer Science, Manchester Metropolitan University, UK, 2000. (slides)
[5](Invited) Towards Agent based Theorem Proving and Proof Planning in OMEGA (Christoph Benzmüller), Department of Computer Science, The University of York, UK, 2000.
[4](Invited) OMEGA, MATHWEB and Friends (Christoph Benzmüller), Department of Artificial Intelligence, The University of Edinburgh, Edinburgh, Scotland, 2000.
[3](Invited) Resource Guided Concurrent Deduction with O-ANTS (Christoph Benzmüller), Department of Artificial Intelligence, The University of Edinburgh, Edinburgh, Scotland, 2000.
1999
[2](Invited) Extensional Higher Order Resolution, Paramodulation and RUE-Resolution (Christoph Benzmüller), Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, UK, 1999. (slides)
[1](Invited) A two layered Agent Approach for Guiding Interactive Proofs (Christoph Benzmüller), Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, UK, 1999.
Powered by bibtexbrowser