@book{Talk1,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2012_TUWien.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Collegium Logicum Lecture Series, Kurt G{\"o}del Society, Vienna, Austria},
	Title = {{(Invited)} Utilizing Church's Type Theory as a Universal Logic},
	Year = 2012}

@book{Talk2,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2012_Retirement_Peter.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Carnegie Mellon University, USA},
	Title = {{(Invited; retirement celebration of Peter Andrews)} Utilizing Higher-order Automated Theorem Provers as Universal Logic Engines},
	Year = 2012}

@book{Talk3,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Computer Science Colloquium, Freie Universit{\"a}t Berlin, Germany},
	Title = {{(Invited)} Automating Expressive Classical and Non-Classical Logics with LEO-II, Computer Science Colloquium},
	Year = 2012}

@book{Talk4,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Beuth Hochschule f{\"u}r Technik, Berlin, Germany},
	Title = {{(Invited)} LEO-II --- Eine universelle Logikmaschine},
	Year = 2012}

@book{Talk4b,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2012_Beuth_Java.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Beuth Hochschule f{\"u}r Technik, Berlin, Germany},
	Title = {{(Invited)} Konzepte und Nutzen von Lambda-Ausdr{\"u}cken in Java 8 (und Scala)},
	Year = 2012}

@book{Talk5,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2011_Potsdam.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {University of Potsdam, Germany},
	Title = {{(Invited)} Automating Expressive Non-classical Logics and their Combinations in Classical Higher Order Logic},
	Year = 2011}

@book{Talk6,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Deutsches Institut f{\"u}r Wirtschaftsforschung, Berlin, Germany},
	Title = {{(Invited)} Intelligente Werkzeuge zur Erhebung, Bereitstellung, Analyse und Kommunikation von diversifiziertem, personifiziertem, interoperablen semantischen Wissen},
	Year = 2011}

@book{Talk7,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {BMW Group, Munich, Germany},
	Title = {{(Invited)} Der Automatische Theorembeweiser LEO-II},
	Year = 2011}

@book{Talk8,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {University of Hamburg, Germany},
	Title = {{(Invited)} Mechanisierung und Automatisierung von Kombinationen klassischer und nichtklassischer Logiken in klassischer Logik h{\"o}herer Stufe},
	Year = 2011}

@book{Talk9,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Colloquium New Trends in Computational Logic, TU Dresden, Germany},
	Title = {{(Invited)} Mechanization and Automation of Combinations of Classical and Non-Classical Logics in Classical Higher Order Logics},
	Year = 2011}

@book{Talk10,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Dagstuhl Seminar 10412: QSTRLib,  Schloss Dagstuhl, Germany},
	Title = {{(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.},
	Year = 2010}

@book{Talk11,
	OPTAuthor = {Christoph Benzm{\"u}ller and Marvin Schiller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010_EMSQMS.pdf">slides</a>},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {The IJCAR 2010 Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions, Edinburgh, UK},
	Title = {{(Invited)} Adaptive Assertion-Level Proofs},
	Year = 2010}

@book{Talk12,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/CASC-J5.pdf">slides</a>},
	Keywords = {presentation, invited presentations, conference presentations},
	Publisher = {CASC-J5, Fifth International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK},
	Title = {{(Invited)} Winner Presentation: LEO-II},
	Year = 2010}

@book{Talk13,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010_SRI.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {SRI International, Menlo Park, USA},
	Title = {{(Invited)} Combining Logics in Simple Type Theory (and an Application in Ontology Reasoning)},
	Year = 2010}

@book{Talk13b,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2008-CMU.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Pure and Applied Logic Seminar, Carnegie Mellon University, Pittsburgh, USA},
	Title = {{(Invited)} Automating Access Control Logics and Multimodal Logics in the Automatic Higher-Order Theorem Prover LEO-II},
	Year = 2008}

@book{Talk14,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Kestrel Institute, Palo Alto, USA},
	Title = {{(Invited)} Automating Access Control Logics and Multimodal Logics in the Automatic Higher-Order Theorem Prover LEO-II},
	Year = 2008}

@book{Talk15,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Microsoft Research, Redmond, USA},
	Title = {{(Invited)} LEO-II --- A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic},
	Year = 2008}

@book{Talk16,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2008-Bonn.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Formal Mathematics Seminar, University of Bonn, Germany},
	Title = {{(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},
	Year = 2008}

@book{Talk17,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2008-SRI.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {SRI International, Menlo Park, USA},
	Title = {{(Invited)} Exploring Properties of Multimodal Logics with the Cooperative Automatic Higher-Order Theorem Prover LEO-II},
	Year = 2008}

@book{Talk18,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Inaugural Lecture (Privatdozent) at Saarland University, Germany},
	Title = {{(Invited)} Effiziente Automatisierung von Logik h{\"o}herer Stufe---Realisierbarer Traum oder ewiger Albtraum?},
	Year = 2007}

@book{Talk19,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-Copenhagen-lectures.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {IT University Copenhagen, Denmark},
	Title = {{(Invited Lecture Course)} Semantics of Higher-Order Logics},
	Year = 2007}

@book{Talk20,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {The University of Edinburgh, Scotland},
	Title = {{(Invited)} Challenges for Automated Theorem Proving in Classical Higher Order Logics},
	Year = 2007}

@book{Talk21,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2007-StAndrews.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {University of St. Andrews, St. Andrews, Scotland},
	Title = {{(Invited)} Challenges for Automated Theorem Proving in Classical Higher Order Logics},
	Year = 2007}

@book{Talk22,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Heriot-Watt University, Edinburgh, Scotland},
	Title = {{(Invited)} Challenges for Automated Theorem Proving in Classical Higher Order Logics},
	Year = 2007}

@book{Talk23,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-Habil.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Saarland University (scientific habilitation talk), Germany},
	Title = {{(Invited)} Classical Higher-Order Logic --- Theory, Applications and Problems},
	Year = 2006}

@book{Talk24,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {University of Potsdam, Germany},
	Title = {{(Invited)} Classical Higher-Order Logic --- Semantics, Proof Theory and Automation},
	Year = 2006}

@book{Talk25,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Fachhochschule Frankfurt am Main, Germany},
	Title = {{(Invited)} Service Oriented Architectures for Mathematics Assistance Systems},
	Year = 2006}

@book{Talk26,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-ESSLLI.pdf">slides</a>},
	Keywords = {presentation, invited presentations, conference presentations},
	Publisher = {ESSLLI 2006, Malaga, Spain},
	Title = {{(Invited Lecture Course)} Semantics of Higher-Order Logics},
	Year = 2006}

@book{Talk28,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {TU Darmstadt, Germany},
	Title = {{(Invited)} Logik h{\"o}herer Stufe: Ein geeignetes Fundament f{\"u}r die Mathematik und f{\"u}r Formale Methoden?},
	Year = 2005}


@book{Talk30,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-Nancy-HO-FO.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {LORIA, Nancy, France},
	Title = {{(Invited)} Can a Higher-Order and a First-Order Theorem Prover Cooperate?},
	Year = 2005}

@book{Talk31,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-Nancy.pdf">slides</a>},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {QSL Theme day: Integration of deductive tools. Nancy, France},
	Title = {{(Invited)} Three Approaches for Guiding the Cooperation of Mathematical Reasoning Systems: Proof Planning, Agent-based Reasoning, and Autometad Composition of Reasoning Web Service},
	Year = 2005}

@book{Talk32,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2004-cambridge.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Automated Reasoning Group, Cambridge University, Cambridge, UK},
	Title = {{(Invited)} OMEGA: A Mathematical Assistance System},
	Year = 2004}

@book{Talk33,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-MKM03-EDI-omega.pdf">slides</a>},
	Keywords = {presentation, invited presentations, conference presentations},
	Publisher = {MKM Symposium 2003, Edinburgh, Scotland},
	Title = {{(Invited)} OMEGA --- From Proof Planning towards Mathematical Knowledge Management},
	Year = 2003}

@book{Talk34,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations, conference presentations},
	Publisher = {CALCULEMUS Autumn School 2002, Pisa, Italy},
	Title = {{(Invited Tutorial)} From Natural Deduction to Sequent Calculus and back},
        Note = {<a href="http://christoph-benzmueller.de/papers/2002-pisa.pdf">slides</a>},
	Year = 2002}

@book{Talk35,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Computer Science Department, The University of Birmingham, UK},
	Title = {{(Invited)} Tutorial Dialog with a Mathematical Assistant System},
	Year = 2002}

@book{Talk36,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2001-cmu-talk.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Pure and Applied Logic Seminar, Carnegie Mellon University, Pittsburgh, PA, USA},
	Title = {{(Invited)} Agent-oriented Reasoning with O-ANTS},
	Year = 2001}

@book{Talk37,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Department of Computer Science, Cornell University, Ithaca, NY, USA},
	Title = {{(Invited)} Agent-oriented Reasoning with O-ANTS},
	Year = 2001}

@book{Talk38,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {IJCAR 2001, Siena, Italy},
	Title = {{(Invited)} Panel member of the IJCAR 2001 Workshop Future Directions in Automated Reasoning --- Problems and Ideas for a New Millennium},
	Year = 2001}

@book{Talk39,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2001-aisb-agents.pdf">slides</a>},
	Keywords = {presentation, invited presentations, conference presentations},
	Publisher = {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},
	Title = {{(Invited Keynote)} An Agent-based Approach to Reasoning},
	Year = 2001}

@book{Talk40,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2001-bham-agents-talk.ps.gz">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, Birmingham, UK},
	Title = {{(Invited)} Concurrent Resource Guided Deduction},
	Year = 2001}

@book{Talk41,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Department of Artificial Intelligence, The University of Edinburgh, Edinburgh, Scotland},
	Title = {{(Invited)} Resource Guided Concurrent Deduction with O-ANTS},
	Year = 2000}

@book{Talk42,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Department of Artificial Intelligence, The University of Edinburgh, Edinburgh, Scotland},
	Title = {{(Invited)} OMEGA, MATHWEB and Friends},
	Year = 2000}

@book{Talk43,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Department of Computer Science, The University of York, UK},
	Title = {{(Invited)} Towards Agent based Theorem Proving and Proof Planning in OMEGA},
	Year = 2000}

@book{Talk44,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2000-manchester-agents.ps.gz">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Centre for Agent Research and Development CARD, Department of Computer Science, Manchester Metropolitan University, UK},
	Title = {{(Invited)} OANTS --- An Open Approach at Combining Interactive and Automated Theorem Proving},
	Year = 2000}

@book{Talk45,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Publisher = {Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, UK},
	Title = {{(Invited)} A two layered Agent Approach for Guiding Interactive Proofs},
	Year = 1999}

@book{Talk46,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1999-bham-diss.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, UK},
	Title = {{(Invited)} Extensional Higher Order Resolution, Paramodulation and RUE-Resolution},
	Year = 1999}

@book{Talk47,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-RIO.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil},
	Title = {HOL based Universal Reasoning},
	Year = 2013}

@book{Talk48,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-ICAART.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {5th International Conference on Agents and Artificial Intelligence, Barcelona, Spain},
	Title = {A Top-down Approach to Combining Logics},
	Year = 2013}

@book{Talk49,
	OPTAuthor = {Christoph Benzm{\"u}ller and Jens Otten},
	Note = {<a href="http://christoph-benzmueller.de/papers/2012_ECAI.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {European Conference on Artificial Intelligence (ECAI-2012), Montpellier, France},
	Title = {Implementing and Evaluating Provers for First-order Modal Logics},
	Year = 2012}

@book{Talk50,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2012_Goedel.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Freie Universit{\"a}t Berlin, Germany},
	Title = {G{\"o}del's Unvollst{\"a}ndigkeitss{\"a}tze},
	Year = 2012}

@book{Talk52,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2011_NCMPL.pdf">slides</a>, <a href="./2011_NCMPL_presentation.mov">[movie]</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {The International Conference on Non-classical Modal and Predicate Logics Guangzhou, China},
	Title = {Quantified Conditional Logics are Fragments of HOL},
	Year = 2011}

@book{Talk53,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010-ECAI-IKBET.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {The ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET'2010), Lisbon, Portugal},
	Title = {Sigma: An Integrated Development Environment for Logical Theory Development},
	Year = 2010}

@book{Talk54,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010-ECAI-ARCOE-17-8.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Lisbon, Portugal},
	Title = {Reasoning with Embedded Formulas and Modalities in SUMO},
	Year = 2010}

@book{Talk55,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010-ECAI-ARCOE-16-8.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Lisbon, Portugal},
	Title = {Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Ontology},
	Year = 2010}

@book{Talk56,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010-CLIMA.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon, Portugal},
	Title = {Combining Logics in Simple Type Theory},
	Year = 2010}

@book{Talk57,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010-PAAR.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Workshop on Practical Aspects of Automated Reasoning (PAAR-2010), Edinburgh, UK},
	Title = {Progress in Automating Higher-Order Ontology Reasoning},
	Year = 2010}

@book{Talk58,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2010-UNILOG.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {Contest presentation at the World Congress and School on Universal Logic III (UNILOG'2010), Lisbon, Portugal},
	Title = {Simple Type Theory as Framework for Combining Logics},
	Year = 2010}

@book{Talk59a,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {CADE-22, Montreal, Canada},
	Title = {Handover of the Festschrift to Peter B. Andrews},
	Year = 2009}

@book{Talk59,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2009-SEC.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {24th IFIP International Information Security Conference, Pafos, Cyprus},
	Title = {Automating Access Control Logics in Simple Type Theory with LE0-II},
	Year = 2009}

@book{Talk60,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {AAAI 2009 Spring Symposia, Stanford, USA},
	Title = {Automating Quantified Multimodal Logics in HOL --- My very first Region Connection Calculus Prover},
	Year = 2009}

@book{Talk61,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2008_IJCAR_LEO-II.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {The 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia},
	Title = {LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)},
	Year = 2008}

@book{Talk62,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {The 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia},
	Title = {THF0 --- The Core TPTP Language for Classical Higher-Order Logic},
	Year = 2008}

@book{Talk63,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2008_IJCAR_LEO-II_demo.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {ESHOL Workshop at the 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia},
	Title = {LEO-II Demo},
	Year = 2008}

@book{Talk64,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Saarbr{\"u}cken, Germany},
	Title = {Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II},
	Year = 2008}

@book{Talk65,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Automated Reasoning Group Lunch Talk, The University of Cambridge, UK},
	Title = {Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II},
	Year = 2008}

@book{Talk66,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {CIAO Workshop, TU Darmstadt, Germany},
	Title = {Some Results of the LEO-II Project},
	Year = 2008}

@book{Talk67,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2007-LEO-II-TPHOLS.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {TPHOLs, Kaiserslautern, Germany},
	Title = {Progress Report on LEO-II: An Automatic Theorem Prover for Higher-Order Logic},
	Year = 2007}

@book{Talk68,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2007-LEO-II-Cambridge.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Automated Reasoning Group Lunch Talk, The University of Cambridge, UK},
	Title = {Progress Report on LEO-II: An Automatic Theorem Prover for Higher-Order Logic},
	Year = 2007}

@book{Talk69,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Automated Reasoning Workshop, London, UK},
	Title = {The LEO-II Project},
	Year = 2007}

@book{Talk70,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Koblenz, Germany},
	Title = {The LEO-II Project},
	Year = 2007}

@book{Talk71,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Omega-Ultra-Texmacs Mini Workshop, Saarbr{\"u}cken, Germany},
	Title = {The LEO-II Project},
	Year = 2007}

@book{Talk72,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-Cambodia-Short.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {Short paper at LPAR 2006: 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Pnom Penh, Cambodia},
	Title = {Judging Granularity for Automated Mathematics Teaching},
	Year = 2006}

@book{Talk73,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-iwil.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {IWIL-6 workshop at LPAR 2006: The 6th International Workshop on the Implementation of Logics, Pnom Penh, Cambodia},
	Title = {Term Indexing for the LEO-II Prover},
	Year = 2006}

@book{Talk74,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-IJCAR.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {Third International Joint Conference on Automated Reasoning (IJCAR 2006), LNAI , Seattle, USA},
	Title = {Cut-Simulation in Impredicative Logics},
	Year = 2006}

@book{Talk75,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-C-Tag.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {C-Tag, SFB 378, Saarland University, Germany},
	Title = {Underspecification in Math-DIALOG},
	Year = 2006}

@book{Talk76,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2006-ringvorlesung.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Ringvorlesung, FR Informatik, Universit{\"a}t des Saarlandes, Germany},
	Title = {Dialog mit einem Beweisassistenten in nat{\"u}rlicher Sprache},
	Year = 2006}

@book{Talk77,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), Montego Bay, Jamaica},
	Title = {System Description: LEO --- A Resolution based Higher-Order Theorem Prover},
	Year = 2005}

@book{Talk78,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), Montego Bay, Jamaica},
	Title = {Combining Proofs of Higher-Order and First-Order Automated Theorem Provers},
	Year = 2005}

@book{Talk79,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-Dialog-Theorema-Ultra-Omega.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Theorema-Ultra-Omega-Workshop, Saarbr{\"u}cken, Germany},
	Title = {Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs},
	Year = 2005}

@book{Talk80,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-dagstuhl.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Dagstuhl Seminar 05431: Deduction and Applications, Schloss Dagstuhl, Germany},
	Title = {{(Invited)} A Structured Set of Higher-Order Problems},
	Year = 2005}

@book{Talk81,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-DreamReunion.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Dream Group Reunion, Edinburgh, UK},
	Title = {Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs},
	Year = 2005}

@book{Talk82,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-AAAI.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, Pennsylvania, USA},
	Title = {Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs},
	Year = 2005}

@book{Talk83,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {First Saarbr{\"u}cken-Nancy Workshop on Higher-order Logic and Hybrid Logics},
	Title = {New Directions in the OMEGA Project},
	Year = 2005}

@book{Talk84,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-uitp.ppt">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {UITP'05 Workshop (ETAPS Satellite Workshop), Edinburgh, Scotland},
	Title = {Designing a Proof GUI for non-Experts: Evaluation of an Experiment},
	Year = 2005}

@book{Talk85,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-Ciao-Nottingham.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {CIAO'05 Workshop, Nottingham, UK},
	Title = {New Directions in the OMEGA Project},
	Year = 2005}

@book{Talk86,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2005-Montevideo-LPAR.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {LPAR'04 Conference, Montevideo, Uruguay},
	Title = {Can a Higher-Order and a First-Order Theorem Prover Cooperate?},
	Year = 2005}

@book{Talk87,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Workshop on Logic, Proofs, and Programs, Saarbr{\"u}cken, Germany},
	Title = {OMEGA and DIALOG},
	Year = 2004}

@book{Talk88,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2004-DIALOG-dedtreff.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Saarbr{\"u}cken, Germany},
	Title = {DIALOG: Natural Language-based Interaction with a Mathematical Assistance System},
	Year = 2004}

@book{Talk89,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Special Session at the IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development together with J. Siekmann, J. Calmet, and W. Windsteiger, Cork, Ireland},
	Title = {CALCULEMUS Quo Vadis?},
	Year = 2004}

@book{Talk90,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2004-Nancy.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Workshop on Logic, Proofs, and Programs, Nancy, France},
	Title = {Semantics and Automation of Higher-Order Logic,},
	Year = 2004}

@book{Talk91,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Evaluation of the Collaborative Research Centre SFB378 Resource-adaptive Cognitive Processes, Saarbr{\"u}cken, Germany},
	Title = {Agent-oriented Proof Planning},
	Year = 2004}

@book{Talk91a,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2004-DIALOG-talk-in-OMEGA-series.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {OMEGA talk series, Saarbr{\"u}cken, Germany},
	Title = {DIALOG: Natural Language-based Interaction with a Mathematical Assistance System},
	Year = 2004}

@book{Talk92,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-deduktionstreffen-talk.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Augsburg, Germany},
	Title = {Bemerkungen zur Semantik und Mechanisierung von Logik hoeherer Stufe},
	Year = 2003}

@book{Talk93,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-calculemus-rom.pd">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {CALCULEMUS Symposium 2003, Rome, Italy},
	Title = {The CALCULEMUS Research Training Network --- A short Overview},
	Year = 2003}

@book{Talk94,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/P12.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {IJCAI-03 Poster Presentation, Acapulco, Mexico},
	Title = {Assertion Application in Theorem Proving and Proof Planning (poster)},
	Year = 2003}

@book{Talk95,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-ijcai-ws-agents-talk.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {IJCAI-03 Workshop on Agents and Automated Reasoning, Acapulco, Mexico},
	Title = {A New Framework for Reasoning Agents},
	Year = 2003}

@book{Talk96,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-ijcai-ws-dialog-talk.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, Mexico},
	Title = {Tutorial Dialogs on Mathematical Proofs},
	Year = 2003}

@book{Talk97,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-qpq-talk.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {First QPQ Workshop on Deductive Software (QPQ'03), CADE-19, Miami, Florida, USA},
	Title = {The CALCULEMUS Research Training Network --- A short Overview},
	Year = 2003}

@book{Talk98,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-UdS-open-day.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Open day, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {OMEGA - Ein Assistenzsystem f{\"u}r die Mathematik},
	Year = 2003}

@book{Talk99,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-sfb-dagstuhl-omega.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Meeting in camera of the Special Research Centre SFB 378, Dagstuhl, Germany},
	Title = {OMEGA},
	Year = 2003}

@book{Talk100,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2003-linz-talk.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Theorema-Omega'03 Workshop, Schloss Hagenberg, Austria},
	Title = {Proof Development with OMEGA --- Square root of 2 is Irrational},
	Year = 2003}

@book{Talk101,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/MTR-main-talk.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Mathematics on the Semantic Web, Eindhoven, The Netherlands},
	Title = {CALCULEMUS - Systems for Integrated Deduction and Computation},
	Year = 2003}

@book{Talk102,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/MTR-usaar-slides.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Midterm Review of the European Union Research Training Network CALCULEMUS, Saarbr{\"u}cken, Germany},
	Title = {Saarland University Node Report},
	Year = 2003}

@book{Talk103,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/MTR-main-talk.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Midterm Review of the European Union Research Training Network CALCULEMUS, Saarbr{\"u}cken, Germany},
	Title = {CALCULEMUS Midterm Review Report},
	Year = 2003}

@book{Talk104,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2002-lpar.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {LPAR 2002, Tbilisi, Georgia,},
	Title = {Proof Development with OMEGA: Sqrt(2) is irrational},
	Year = 2002}

@book{Talk105,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2002-cade-omega.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {CADE-18, Copenhagen, Denmark},
	Title = {Proof Development with OMEGA},
	Year = 2002}

@book{Talk106,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {VERIFY'02 Workshop at FLOC 2002, Copenhagen, Denmark},
	Title = {Reasoning Services in the MathWeb-SB for Symbolic Verification of Hybrid Systems},
	Year = 2002}

@book{Talk107,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2002-bham.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Computer Science Department, The University of Birmingham, UK},
	Title = {Tutorial Dialog with a Mathematical Assistant System},
	Year = 2002}

@book{Talk108,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2002-calculemus-talk.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {CALCULEMUS 2002, Marseille, France},
	Title = {Agent based proof search with Indexed Formulas},
	Year = 2002}

@book{Talk109,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2002-sfb-dialog.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany},
	Title = {Tutorial Dialog with a Mathematical Assistant System},
	Year = 2002}

@book{Talk110,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2002-sfb-omega.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany},
	Title = {Ressource-Adaptive Proof Planning with OMEGA},
	Year = 2002}

@book{Talk111,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2001-mkm-talk.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {First International Workshop on Mathematical Knowledge Management RISC-Linz, Schloss Hagenberg, Austria},
	Title = {Distributed Assertion Retrieval},
	Year = 2001}

@book{Talk112,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2001-ki-talk.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {KI 2001, Wien, Austria},
	Title = {Experiments with an Agent-oriented Reasoning System},
	Year = 2001}

@book{Talk113a,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {TPHOLS 2001, Edinburgh, Scotland},
	Title = {A lost proof},
	Year = 2001}

@book{Talk113,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {CALCULEMUS Workshop 2001, Siena, Italy},
	Title = {An Agent-oriented approach to reasoning},
	Year = 2001}

@book{Talk114,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {C++ days of SFB 378 Resource adaptive cognitive processes, Mertesdorf, Germany},
	Title = {Agent-oriented theorem proving and proof planning in OMEGA},
	Year = 2001}

@book{Talk115,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Meeting in camera of the OMEGA group, Saarbr{\"u}cken, Germany},
	Title = {Agents in OMEGA},
	Year = 2001}

@book{Talk116,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Meeting in camera of the Special Research Division SFB378, Schloss Dagstuhl, Germany},
	Title = {OMEGA --- Ressourcenadaptives Beweisplanen},
	Year = 2001}

@book{Talk117,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Meeting in camera of the Special Research Division SFB378, Schloss Dagstuhl, Germany},
	Title = {Tutorielle Kommunikation f{\"u}r ein mathematisches Assistenzsystem},
	Year = 2001}

@book{Talk118,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2000-deduktionstreffen-agents.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Systemdemonstration at the Deduktionstreffen, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Agent based proof planning with O-ANTS},
	Year = 2000}

@book{Talk119,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Eine {\"u}bersicht zur AG Siekmann},
	Year = 2000}

@book{Talk120a,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Towards agent based proof planning},
	Year = 2000}

@book{Talk120,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2000-calculemus-oants.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {CALCULEMUS Symposium 2000, St. Andrews, Scotland},
	Title = {OANTS --- An open approach at combining Interactive and Automated Theorem Proving},
	Year = 2000}

@book{Talk121,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Short talk and poster presentation at Automated Reasoning Workshop 2000, King's College, London, UK},
	Title = {Resource Guided Concurrent Deduction},
	Year = 2000}

@book{Talk122,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-aisb00.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {AISB},
	Title = {Resource Guided Concurrent Deduction (poster)},
	Year = 2000}

@book{Talk123,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Department of Computer Science, The University of York, York, UK},
	Title = {System demonstration: OMEGA, O-ANTS, and LEO},
	Year = 2000}

@book{Talk124,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {9th CLAM - INKA - OMRS Workshop (CIAO), Schloss Dagstuhl, Germany},
	Title = {Proof Planning based on a Multi Agent Architecture?">Proof Planning based on a Multi Agent Architecture?},
	Year = 2000}

@book{Talk125,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {SAG-WAS der AG Siekmann, Schloss Dagstuhl, Germany},
	Title = {Ist KI eine empirische Wissenschaft?},
	Year = 1999}

@book{Talk126,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Kollegiatentag im Rahmen der Herbstschule Kognitionswissenschaft, Saarbr{\"u}cken, Germany},
	Title = {Ressourcenadaptive Vorschlagsagenten im Interaktiven Beweisen},
	Year = 1999}

@book{Talk127,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1999-epia-agents.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {9th Portuguese Conference on Artificial Intelligence, Evora, Portugal},
	Title = {Critical Agents Supporting Interactive Theorem Proving},
	Year = 1999}

@book{Talk128,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Promotionskolloquium, Saarbr{\"u}cken, Germany,},
	Title = {Gleichheit und Extensionalit{\"a}t im automatischen Beweisen in Logik h{\"o}herer Stufe},
	Year = 1999}

@book{Talk129,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1999-calculemus.ps.gz">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {CALCULEMUS Workshop, Trento, Italy},
	Title = {Agent Based Mathematical Reasoning},
	Year = 1999}

@book{Talk130,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1999-CADE-para-and-rue.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {16th Conference on Automated Deduction, Trento, Italy},
	Title = {Extensional Higher-Order Paramodulation and RUE-Resolution},
	Year = 1999}

@book{Talk131,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1999-stifti-berlin.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {Forschungskolloquium der Studienstiftung des Deutschen Volkes, Berlin, Germany},
	Title = {On Automated Higher-Theorem Proving and Henkin Completeness},
	Year = 1999}

@book{Talk132,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Poster at the 6th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice; in conjunction with AISB'99 Convention, Edinburgh, Scotland},
	Title = {Agent based Proof Planning (poster)},
	Year = 1999}

@book{Talk133,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {Informatikforum '98 (Max-Planck-Institut f{\"u}r Informatik, Deutsches Forschungszentrum f{\"u}r K{\"u}nstliche Intelligenz und Fachbereich Informatik der Uni des Saarlandes) Saarbr{\"u}cken, Germany},
	Title = {System Demonstration: OMEGA --- a Mathematical Assistant},
	Year = 1998}

@book{Talk134,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Munich, Germany},
	Title = {System Demonstration: OMEGA --- a Mathematical Assistant},
	Year = 1998}

@book{Talk135,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), Sozopol, Bulgaria},
	Title = {System Demonstration: OMEGA --- a Mathematical Assistant},
	Year = 1998}

@book{Talk136,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), Sozopol, Bulgaria},
	Title = {Constraint Solving in Logig Programming and Automated Theorem Proving: a comparison},
	Year = 1998}

@book{Talk137,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Workshop Inference Mechanisms in Knowledge-Based Systems: Theory and Applications, KI'98, Bremen, Germany},
	Title = {System Demonstration: Integrating TPS with OMEGA},
	Year = 1998}

@book{Talk138,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Workshop Inference Mechanisms in Knowledge-Based Systems: Theory and Applications, KI'98, Bremen, Germany},
	Title = {Integrating TPS with OMEGA},
	Year = 1998}

@book{Talk139,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {The 15th International Conference on Automated Deduction, Lindau, Germany},
	Title = {System Demonstration: LEO --- A Higher-Order Theorem Prover},
	Year = 1998}

@book{Talk140,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {The 15th International Conference on Automated Deduction, Lindau, Germany},
	Title = {LEO --- A Higher-Order Theorem Prover},
	Year = 1998}

@book{Talk141,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {SAG-WAS'98 der AG Siekmann, Schloss Dagstuhl, Germany},
	Title = {Exploiting past proof experience + Experiments in the Automatic Selection of Problem-solving Strategies},
	Year = 1998}

@book{Talk142,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Evaluation of the SFB 378, Max-Planck Institute f{\"u}r Informatik (MPI), Saarbr{\"u}cken, Germany},
	Title = {System Demonstration: OMEGA --- A mathematical Assistant},
	Year = 1998}

@book{Talk143,
	OPTAuthor = {Christoph Benzm{\"u}ller and Volker Sorge},
	Keywords = {presentation, other presentations},
	Publisher = {Oberseminar AG Siekmann, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Integrating TPS with OMEGA},
	Year = 1998}

@book{Talk144,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Oberseminar AG Siekmann, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Model Existence for Higher-Order Logic},
	Year = 1998}

@book{Talk145,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {Forschungskolloquium der Studienstiftung des Deutschen Volkes, Kochl am See, Germany},
	Title = {Extensionale Resolution h{\"o}herer Stufe},
	Year = 1997}

@book{Talk146,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Schloss Dagstuhl, Germany},
	Title = {Extensionale Resolution h{\"o}herer Stufe},
	Year = 1997}

@book{Talk147,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Oberseminar AG Siekmann, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Embedding Extensionality in Higher-Order Resolution},
	Year = 1997}

@book{Talk148,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Automated theorem proving seminar, Department of Mathematics, Carnegie Mellon Univerity, Pittsburgh, USA},
	Title = {Equalizing terms by Difference Reduction and Abstraction},
	Year = 1997}

@book{Talk149,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1997-cmu.ps.gz">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Automated theorem proving seminar, Department of Mathematics, Carnegie Mellon Univerity, Pittsburgh, USA},
	Title = {LEO --- Towards Higher-Order Resolution},
	Year = 1997}

@book{Talk150,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, conference presentations},
	Publisher = {Sommerakademie der Studienstiftung des Deutschen Volkes, St. Johann, S{\"u}dtirol, Italy},
	Title = {Ein kategorieller Kalk{\"u}l ebener und r{\"a}umlicher Netze},
	Year = 1996}

@book{Talk151,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1996-oberseminar.ps.gz">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Oberseminar AG Siekmann, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Higher-Order Resolution and Extensionality},
	Year = 1996}

@book{Talk152,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/1995-deduktionstreffen.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {Towards Higher-Order Theorem Proving with equality},
	Year = 1995}

@book{Talk153,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {Oberseminar AG Siekmann, Saarland University, Saarbr{\"u}cken, Germany},
	Title = {HO-Differenzreduzierung},
	Year = 1995}

@book{Talk154,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-cade98.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {CADE},
	Title = {LEO -- A Higher Order Theorem Prover},
	Year = 1998}

@book{Talk156,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-dialog01.pdf" target="_blank">poster</a>},
	Keywords = {presentation, poster presentations},
	Publisher = {Begehung SFB 378},
	Title = {DIALOG (poster)},
	Year = 2001}

@book{Talk157,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-omega01.pdf" target="_blank">poster</a>},
	Keywords = {presentation, poster presentations},
	Publisher = {Begehung SFB 378},
	Title = {OMEGA (poster)},
	Year = 2001}

@book{Talk158,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-aisb01.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {AISB},
	Title = {Proof Transformation and Expansion with a Parameterizable Inference Machine (poster)},
	Year = 2001}

@book{Talk159,
	OPTAuthor = {Christoph Benzm{\"u}ller and Manfred Kerber},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-tphols01.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {TPHOLs},
	Title = {A Lost Proof (poster)},
	Year = 2001}

@book{Talk160,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-aisb02.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {AISB},
	Title = {Agent Based Theorem Proving (poster)},
	Year = 2002}

@book{Talk161,
	OPTAuthor = {Christoph Benzm{\"u}ller and Dialog Group},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-omega-05-a.pdf" target="_blank">poster-1</a>, <a href="http://christoph-benzmueller.de/papers/poster-omega-05-b.pdf" target="_blank">poster-2</a>, <a href="http://christoph-benzmueller.de/papers/poster-omega-05-c.pdf" target="_blank">poster-3</a>, <a href="http://christoph-benzmueller.de/papers/poster-omega-05-d.pdf" target="_blank">poster-4</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {Begehung SFB 378},
	Title = {DIALOG (poster)},
	Year = 2005}

@book{Talk162,
	OPTAuthor = {Christoph Benzm{\"u}ller and OMEGA Group},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-dialog-05-a.pdf" target="_blank">poster-1</a>, <a href="http://christoph-benzmueller.de/papers/poster-dialog-05-b.pdf" target="_blank">poster-2</a>, <a href="http://christoph-benzmueller.de/papers/poster-dialog-05-c.pdf" target="_blank">poster-3</a>, <a href="http://christoph-benzmueller.de/papers/poster-dialog-05-d.pdf" target="_blank">poster-4</a>},
	Keywords = {presentation, poster presentations},
	Publisher = {Begehung SFB 378},
	Title = {OMEGA (poster)},
	Year = 2005}

@book{Talk163,
	OPTAuthor = {Marvin Schiller and Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-ki-06.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {KI},
	Title = {Granularity Judgments in Proof Tutoring (poster)},
	Year = 2006}

@book{Talk164,
	OPTAuthor = {Frank Theiss and Christoph Benzm{\"u}ller},
	Keywords = {presentation, poster presentations},
	Publisher = {Deduktionstreffen},
	Title = {Term Indexing for the LEO-II Prover (poster)},
	Year = 2007}

@book{Talk165,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-dedsys07-I.pdf" target="_blank">poster</a>},
	Keywords = {presentation, poster presentations},
	Publisher = {Deduktionstreffen},
	Title = {The LEO-II Project (poster)},
	Year = 2007}

@book{Talk166,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-leo-II.pdf" target="_blank">poster</a>},
	Keywords = {presentation, poster presentations},
	Publisher = {University of Cambridge Project Poster},
	Title = {The LEO-II Project (poster)},
	Year = 2007}

@book{Talk167,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-leo-TPHOLs-2007.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {TPHOLs},
	Title = {LEO-II, A Higher-Order Theorem Prover (poster)},
	Year = 2007}

@book{Talk168,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-VSI-2008.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {VSI},
	Title = {LEO-II, A Higher-Order Theorem Prover (poster)},
	Year = 2008}

@book{Talk169,
	OPTAuthor = {Christoph Benzm{\"u}ller and Dominik Dietrich and Marvin Schiller and Serge Autexier},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-ki-07.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {KI},
	Title = {Deep Inference for Automated Proof Tutoring (poster)},
	Year = 2007}

@book{Talk170,
	OPTAuthor = {Marvin Schiller and Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/poster-AIED-2009.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, poster presentations},
	Publisher = {AIED},
	Title = {Granularity-Adaptive Proof Presentation (poster)},
	Year = 2009}

@book{Talk171,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/P3.pdf" target="_blank">poster</a>},
	Keywords = {presentation, conference presentations, workshop presentations},
	Publisher = {AISB},
	Title = {Towards Fine-Grained Proof Planning with Critical Agents (poster)},
	Year = 1999}

@book{Talk172,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-PxTP.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Third International Workshop on Proof Exchange for Theorem Proving (PxTP 2013), Lake Placid, NY, USA},
	Title = {LEO-II version 1.5},
	Year = 2013}

@book{Talk173,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Publisher = {Freie Universit\"at Berlin, Germany},
	Title = {The Watson System -- An Overview},
	Year = 2013}

@book{Talk174,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-IJCAI-Poster.pdf" target="_blank " target="_blank">poster</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China},
	Title = {Automating Quantified Conditional Logics in HOL},
	Year = 2013}

@book{Talk175,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-ARCOE.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {The 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013), Corunna, Spain},
	Title = {Automated Consistency Checking of Expressive Ontologies --- Beware of the Wrong Interpretation of Success!},
	Year = 2013}

@book{Talk176,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-Deduktionstreffen.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {Deduktionstreffen 2013, Koblenz, Germany},
	Title = {Automating Quantified Conditional Logics is (relatively) Easy},
	Year = 2013}

@book{Talk177,
	OPTAuthor = {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-FUBerlin.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Informatik Kolloquium, Freie Universit\"at Berlin, Germany},
	Title = {Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence},
	Year = 2013}

@book{Talk178,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-LPAR.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2013), Stellenbosch, South Africa},
	Title = {HOL based First-order Modal Logic Provers},
	Year = 2013}

@book{Talk179,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-IWIL.pdf">slides</a>},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {The 10th International Workshop on the Implementation of Logics (IWIL 2013), Stellenbosch, South Africa},
	Title = {{(Invited Keynote)} G{\"o}del's God on the Computer},
	Year = 2013}

@book{Talk180,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2013-ALCS.pdf">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {International Workshop on Algebraic Logic in Computer Science (ALCS 2013), Stellenbosch, South Africa},
	Title = {Cut-free calculi for challenge logics in a lazy way},
	Year = 2013}

@book{Talk181,
	OPTAuthor = {Christoph Benzm{\"u}ller and Bruno Woltzenlogel-Paleo},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-SquareOfOpposition.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {World Congress on the Square of Opposition VI, Vatican},
	Title = {G{\"o}del's Proof of God's Existence},
	Year = 2014}

@book{Talk182,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations, other presentations},
	Publisher = {Lange Nacht der Wissenschaften, Berlin, Germany},
	Title = {{(Invited)} Kurt G{\"o}del's Gottesbeweis auf dem Computer},
	Year = 2014}

@book{Talk183,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {Informatikkolloquium, The University of Innsbruck, Austria},
	Title = {{(Invited)} G{\"o}del's God on the Computer},
	Year = 2014}

@book{Talk184,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {IT University Copenhagen, Denmark},
	Title = {{(Invited)} G{\"o}del's God on the Computer},
	Year = 2014}

@book{Talk185,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-Marburg.pdf">slides</a>},
	Keywords = {presentation, invited presentations, other presentations},
	Publisher = {Fromme Professoren Marburg, Germany},
	Title = {{(Invited)} Kurt G{\"o}del's Gottesbeweis auf dem Computer},
	Year = 2014}

@book{Talk186,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014_Goedel.pdf">slides</a>},
	Keywords = {presentation, other presentations},
	Publisher = {Freie Universit{\"a}t Berlin, Germany},
	Title = {G{\"o}del's Unvollst{\"a}ndigkeitss{\"a}tze},
	Year = 2014}

@book{Talk187,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-APPA.pdf">slides</a>},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {APPA Workshop at VSL'2014, Vienna, Austria},
	Title = {{(Invited Tutorial)} Higher-Order Automated Theorem Provers},
	Year = 2014}

@book{Talk188,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-ARQNL.pdf\ ">slides</a>},
	Keywords = {presentation, workshop presentations},
	Publisher = {ARQNL Workshop at VSL'2014, Vienna, Austria},
	Title = {HOL based First-order Modal Logic Provers},
	Year = 2014}

@book{Talk189,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-ECAI.pdf">slides</a>},
	Keywords = {presentation, conference presentations},
	Publisher = {21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic},
	Title = {Automating G{\"o}del's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers},
	Year = 2014}

@book{Talk190,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-WADT.pdf">slides</a>},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {22nd International Workshop on Algebraic Development Techniques, Sinaia, Romania},
	Title = {{(Invited Keynote)} On Logic Embeddings and G{\"o}del's God},
	Year = 2014}

@book{Talk191,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2014-LogInf.pdf">slides</a>},
	Keywords = {presentation, invited presentations, workshop presentations},
	Publisher = {21. Jahrestagung der GI-Fachgruppe `Logik in der Informatik', University of Kassel, Germany},
	Title = {{(Invited Keynote)} On Logic Embeddings and G{\"o}del's God},
	Year = 2014}

@book{Talk192,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://christoph-benzmueller.de/papers/2014-LogInf.pdf">slides</a>},
	Publisher = {Friedrich-Alexander-Universit{\"a}t, Erlangen-N{\"u}rnberg, Germany},
	Title = {{(Invited)} Towards Computational Metaphysics --- Techniques and Tools for Knowledge Representation and Reasoning in Expressive Ontologies},
	Year = 2015}

@book{Talk193,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Optnote = {<a href="http://christoph-benzmueller.de/papers/2014-LogInf.pdf">slides</a>},
	Publisher = {Friedrich-Alexander-Universit{\"a}t, Erlangen-N{\"u}rnberg, Germany},
	Title = {Der ABox-Vervollst{\"a}ndigungsalgorithmus f{\"u}r ALC},
	Year = 2015}

@book{Talk194,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://christoph-benzmueller.de/papers/2014-LogInf.pdf">slides</a>},
	Publisher = {Berlin Mathematical School, lecture series on 'Bridges between mathematics and its applications', Technical University Berlin, Germany},
	Title = {{(Invited)} Towards Computational Metaphysics --- Bridging between Mathematical Logic, Artificial Intelligence and Philosophy},
	Year = 2015}

@book{Talk195,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2015-LogicAndReligion.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {1st World Congress on Logic and Religion, Jo\~ao Pessoa, Brazil},
	Title = {{(Invited Keynote)} G{\"o}del's Ontological Argument Revisited -- Findings from a Computer-supported Analysis},
	Year = 2015}

@book{Talk196,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://christoph-benzmueller.de/papers/2014-LogInf.pdf">slides</a>},
	Publisher = {Universit{\"a}t Leipzig},
	Title = {{(Invited)} Towards Computational Metaphysics},
	Year = 2015}

@book{Talk197,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, other presentations},
	Optnote = {<a href="http://christoph-benzmueller.de/papers/2014-LogInf.pdf">slides</a>},
	Publisher = {Universit{\"a}t Leipzig},
	Title = {Einf{\"u}hrung in die Komplexit{\"a}tsklassen P und NP},
	Year = 2015}

@book{Talk198,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2015-LogicAndReligion.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Lange Nacht der Wissenschaften, Berlin, Germany},
	Title = {{(Invited)} ''Gottesbeweis'' reloaded --- Analyzing Variants of the Ontological Argument with the Computer},
	Year = 2015}

@book{Talk199,
	OPTAuthor = {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
	Note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {The 11th Reasoning Web Summer School},
	Title = {{(Invited Lecture Course)} Higher-Order Modal Logics: Automation and Applications},
	Year = 2015}

@book{Talk200,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {<a href="http://christoph-benzmueller.de/papers/2015-Tableaux.pdf">slides</a>},
	Keywords = {presentation, invited presentations},
	Publisher = {Tableaux 2015, Wroclaw, Poland},
	Title = {{(Invited Keynote)} On a (Quite) Universal Theorem Proving Approach and its Application to Metaphysics},
	Year = 2015}

@book{Talk201,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {October},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://christoph-benzmueller.de/papers/2015-LogicAndReligion.pdf">slides</a>},
	Publisher = {Dagstuhl Seminar 15381 --- Deduction: Models and Proofs},
	Title = {{(Invited)} Higher-Order Proofs and Models -- Examples from Meta-Logical Reasoning and Metaphysics},
	Year = 2015}

@book{Talk202,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {October},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},
	Publisher = {Computational Logic Seminar (MUGS), Stanford University, USA},
	Title = {{(Invited)} Experiments in Computational Metaphysics},
	Year = 2015}

@book{Talk203,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {October},
	Keywords = {presentation, invited presentations},
	Note = {<a href="http://christoph-benzmueller.de/papers/2015-AISSQ.pdf">slides</a>},
	Publisher = {9th All India Students' Conference on Science and Spiritual Quest (AISSQ), IIT Kharagpur, India},
	Title = {{(Invited Keynote)} Experiments in Computational Metaphysics},
	Year = 2015}

@book{Talk204,
	OPTAuthor = {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
	Note = {December},
	Keywords = {presentation, invited presentations},
	Note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchool.pdf">slides</a>},
	Publisher = {Logic Summer School, ANU Canberra, Australia},
	Title = {{(Invited Lecture Course)} Higher-Order Modal Logics},
	Year = 2015}

@book{Talk205,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {December},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},
	Publisher = {SRI International, Menlo Park, USA},
	Title = {{(Invited)} Experiments in Computational Metaphysics},
	Year = 2015}

@book{Talk206,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {February},
	Keywords = {presentation, invited presentations},
        note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-Berkeley.pdf">slides</a>},
	Publisher = {Logic Colloquium, University of California, Berkeley, USA},
	Title = {{(Invited)} A Success Story of Higher-Order Theorem Proving in Computational Metaphysics},
	Year = 2016}

@book{Talk207,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {February},
	Keywords = {presentation, invited presentations},
	Optnote = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},
	Publisher = {Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA},
	Title = {{(Invited Tutorial)} A Universal Logic Theorem Proving Approach},
	Year = 2016}

@book{Talk208,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {May},
	Keywords = {presentation, invited presentations},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-Stanford.pdf">slides</a>},
	Publisher = {Mathematical Logic Seminar, Stanford University, USA},
	Title = {{(Invited)} The Inconsistency in Gödel’s Ontological Argument: An Application of Mathematical Proof Assistants in Metaphysics},
	Year = 2016}

@book{Talk209,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {June},
	Keywords = {presentation, invited presentations},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-Toulouse.pdf">slides</a>},
	Publisher = {Thematic trimester 'Current Issues in the Philosophy of Practice of Mathematics and Informatics', Centre International de Math\'ematiques et d'Informatique de Toulouse (CIMI), France},
	Title = {{(Invited Lecture Course)} Computational Metaphysics},
	Year = 2016}

@book{Talk210,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {April},
	Keywords = {presentation, invited presentations},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-Lehrpreis.pdf">slides</a> (without movies)},
	Publisher = {Central Teaching Award Acceptance Speech at FU Berlin},
	Title = {{(Invited)} Computational Metaphysics},
	Year = 2016}


@book{Talk211,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {21 November},
	Keywords = {presentation, invited presentations},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-SSONET.pdf">slides</a> (without movies)},
	Publisher = {Shared Services and Outsourcing Woche (\url{http://www.sharedserviceswoche.de/mediacenter}), Berlin},
	Title = {{(Invited Keynote)} K\"unstliche Intelligenz---Wohin geht die Reise?},
	Year = 2016}


@book{Talk212,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {June},
	Keywords = {presentation, invited presentations},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-Auticon.pdf">slides</a> (without movies)},
	Publisher = {Auticon GmbH, Berlin},
	Title = {{(Invited)} Automatisierung von G{\"o}del's Gottesbeweis im Computer},
	Year = 2016}




@book{Talk213,
	Keywords = {presentation, invited presentations},
	OPTnote = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-Lehrpreis.pdf">slides</a> (without movies)},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, workshop presentations},
	Publisher = {ARQNL 2016, Coimbra, Portugal},
	Title = {TPTP and Beyond: Representation of Quantified Non-Classical Logics},
	Year = 2016}

@book{Talk214,
	Keywords = {presentation, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {UITP 2016, Coimbra, Portugal},
	Title = {Hands-on Higher-order Modal Logics in Isabelle/HOL},
	Year = 2016}

@book{Talk215,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Bundeszentrale für politische Bildung – bpb, Berlin},
	Title = {{(Invited Panel)} Erwachen der Roboter – lernende Maschinen und die Intelligenz der Zukunft},
	Year = 2016}

@book{Talk216,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Intl. Congress on Mathematical Software (ICMS 2016)},
	Title = {Automating Free Logic in Isabelle/HOL},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-ICMS.pdf">slides</a>, <a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-ICMS.zip">Isabelle/HOL_paper_source</a>, <a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016_ICMS_Experiments.thy">Isabelle/HOL_further_experiments</a>},
	Year = 2016}

@book{Talk217,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Intl. Congress on Mathematical Software (ICMS 2016)},
	Title = {(Poster) The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-IJCAI-Poster.pdf">poster</a>},
	Year = 2016}


@book{Talk218,
	Keywords = {presentation, workshop presentations},
	Note = {September},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Deduktionstreffen 2016},
	Title = {Axiomatizing Category Theory in Free Logic},
	OPTnote = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-IJCAI-Poster.pdf">poster</a>},
	Year = 2016}

@book{Talk219,
	Keywords = {presentation, conference presentations},
	Note = {September},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {39th German Conference on Artificial Intelligence (KI)},
	Title = {An Object-Logic Explanation for the Inconsistency in Gödel’s Ontological Theory},
	OPTnote = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-KI.pdf">poster</a>},
	Year = 2016}


@book{Talk220,
	Keywords = {presentation, invited presentations},
	Note = {September},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {The global, cross-sector conference and exhibition on
technology supported learning and training (OEB)},
	Title = {The OEB Plenary Debate 2016},
	note = {<a href="https://oeb.global/programme/keynotes/oeb-16">panelists</a>,<a href="https://www.youtube.com/watch?v=ytnD-3q8ays">youtube</a>},
	Year = 2016}


@book{Talk221,
        OPTAuthor = {Christoph Benzm{\"u}ller},
	Note = {Winter},
	Keywords = {presentation, invited presentations},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-BMS.pdf">slides</a> (without movies)},
	Publisher = {Colloquium of the Berlin Mathematical School (BMS Fridays), Berlin},
	Title = {{(Invited)} Computational Metaphysics: The Virtues of Formal Proofs Beyond Maths},
	Year = 2016}

	

@book{Talk222,
	Keywords = {presentation, conference presentations},
	Note = {September},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam},
	Title = {Einsatz von Theorembeweisern in der Lehre},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-HDI.pdf">slides</a>},
	Year = 2016}



@book{Talk223,
	Keywords = {presentation, conference presentations},
	Note = {September},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Deduktionstreffen, 26 September 2016 in Klagenfurt, Austria},
	Title = {Axiomatising Category Theory in Isabelle/HOL},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-Deduktionstreffen.pdf">slides</a>},
	Year = 2016}


@book{Talk224,
	Keywords = {presentation, conference presentations},
	Note = {September},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {KI 2016 - 39th German Conference on Artificial Intelligence, 26-30 September 2016 in Klagenfurt, Austria},
	Title = {An Object-Logic Explanation for the Inconsistency in G\"odel's OntologicalTheory},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2016-KI.pdf">slides</a>},
	Year = 2016}

@book{Talk225,
	Keywords = {presentation, conference presentations},
	Note = {September},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Second Global Conference on Artificial Intelligence (GCAI), Berlin},
	Title = {Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL},
	note = {<a href="http://page.mi.fu-berlin.de/cbenzmueller/2016-GCAI/">course material</a>},
	Year = 2016}


@book{Talk226,
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Keywords = {presentation, invited presentations},
	note = {<a href="http://christoph-benzmueller.de/papers/2016-Dagstuhl.pdf">slides</a>},
	Publisher = {Dagstuhl Seminar 15381 --- Universality of Proofs, Dagstuhl},
	Title = {{(Invited)} Uniform Proofs via Shallow Semantic Embeddings?},
	Year = 2016}


@book{Talk227,
	Keywords = {presentation, invited presentations, workshop presentations},
	Note = {January},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Workshop: Bettermarks und Mathematische Beweise, bettermarks GmbH, Berlin},
	Title = {{(Invited)} System Demonstration: Interactive and Automated Reasoning in Isabelle/HOL},
	OPTnote = {<a href="todo">poster</a>},
	Year = 2017}

@book{Talk228,
	Keywords = {presentation, invited presentations},
	Note = {February},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Innovationsregion Lausitz GmbH, Cottbus},
	Title = {{(Invited)} Künstliche Intelligenz---Bemerkungen zur Historie und zu aktuellen Entwicklungen},
	note = {<a href="todo">poster</a>},
	Year = 2017}



@book{Talk229,
	Keywords = {presentation, invited presentations},
	Note = {March},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {ILIAS Distinguished Lectures, University of Luxembourg},
	Title = {{(Invited)} Computational Metaphysics: The Virtues of Formal Proofs Beyond Math},
	OPTnote = {<a href="todo">poster</a>},
	Year = 2017}

@book{Talk230,
	Keywords = {presentation, invited presentations, workshop presentations},
	Note = {April},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Workshop on Rational Enterprise Architecture Logic and Reasoning (REAL), University of Luxembourg},
	Title = {{(Invited)} Universal Logic Reasoning via Shallow Semantical Embeddings},
	OPTnote = {<a href="todo">poster</a>},
	Year = 2017}

@book{Talk231,
	Keywords = {presentation, invited presentations},
	Note = {April},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Alpen-Adria Universit\"at Klagenfurt},
	Title = {{(Invited)} Calculemus! --- Progress in Universal Logic Reasoning and
Computational Metaphysics},
	OPTnote = {<a href="todo">poster</a>},
	Year = 2017}

@book{Talk232,
	Keywords = {presentation, other presentations},
	Note = {April},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Alpen-Adria Universit\"at Klagenfurt},
	Title = {Davis-Putnam-Logemann-Loveland Algrithmus},
	OPTnote = {<a href="todo">poster</a>},
	Year = 2017}


@book{Talk233,
	Keywords = {presentation, invited presentations},
	Note = {June},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {URANIA, Berlin},
	Title = {{(Invited Public Presentation)} Calculemus!: Analyse von Kurt G\"odel's Gottesbeweis mit
dem Computer},
	OPTnote = {<a href="todo">poster</a>},
        Note = {<a href="http://christoph-benzmueller.de/papers/slides-URANIA-2017.pdf" target="_blank">slides</a>},
	Year = 2017}



@book{Talk234,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Session on Innovative \& Effective Teaching in History of Science and Technology, 25th International Congress of History of Science and Technology, Rio de Janeiro, Brazil},
	Title = {Innovative Teaching of Computational Metaphysics},
	OPTnote = {<a href="todo">poster</a>},
	Year = 2017}


@book{Talk235,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {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, Brazil},
	Title = {{(Invited)} Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths and Computer Science},
	Year = 2017}






@book{Talk236,
	Keywords = {presentation, invited presentations},
	Note = {May},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {ILIAS group, University of Luxembourg},
	Title = {{(Invited Tutorial)} Tutorial on Universal Logic Theorem Proving in HOL},
	note = {<a href="http://christoph-benzmueller.de/papers/2017-Luxemburg-Tutorial-May.zip">zip-file</a>},
	Year = 2017}





@book{Talk237,
	Keywords = {presentation, workshop presentations},
	Note = {May},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {International Workshop on Logic-Based Formalisms for Legal Reasoning (LBFLR 2017)},
	Title = {Universal Logic Theorem Proving via Semantical Embeddings in HOL},
	note = {<a href="http://christoph-benzmueller.de/papers/2017-Calabria-Tutorial.pdf">slides</a>, <a href="http://christoph-benzmueller.de/papers/2017-Calabria-Tutorial.zip">zip-file</a>},
	Year = 2017}


@book{Talk238,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brazil},
	Title = {{(Invited Keynote)} Computational Metaphysics: The Virtues of Formal Proofs Beyond Math},
	note = {<a href="http://christoph-benzmueller.de/papers/2017-Campinas.pdf">slides</a>},
	Year = 2017}

@book{Talk239,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brazil},
	Title = {{(Invited Tutorial)} Universal Logical Reasoning via Semantical Embeddings in HOL},
	OPTnote = {<a href="http://christoph-benzmueller.de/papers/2017-Campinas-Tutorial.zip">zip-file</a>},
	Year = 2017}


@book{Talk240,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Dagstuhl Seminar 17371: Deduction Beyond First-Order Logic, Dagstuhl},
	Title = {{(Invited)} Automating Free Logic in HOL, with an Experimental Application in Category Theory},
	Year = 2017}



@book{Talk241,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {KI 2017 - 40th German Conference on Artificial Intelligence, 25-29 September 2017 in Dortmund, Germany},
	Title = {Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic},
	Year = 2017}


@book{Talk242,
	Keywords = {presentation, invited presentations},
	Note = {November},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {3. BMG Tag, Berliner Mathematische
Gesellschaft e.V., Berlin},
	Title = {{(Invited Keynote)} What has the Mechanisation of Category Theory in Common with Proving God’s Existence?},
	OPTnote = {<a href="todo">poster</a>},
	Year = 2017}


@book{Talk243,
	Keywords = {presentation, invited presentations},
	Note = {December},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {XX Brazilian Symposium on Formal Methods
(SMBF), Recife, Brazil},
	Title = {{(Invited Keynote)} Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning },
	note = {<a href="http://christoph-benzmueller.de/papers/2017-SBMF-Recife.pdf">slides</a>},
	Year = 2017}



@book{Talk244,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Pontif{\'i}cia Universidade Cat{\'o}lica do Rio Grande do Sul (PUCRS), 40 Years of Computer Science},
	Title = {{(Invited)} What has the Mechanisation of Category Theory in Common with Proving God’s Existence?},
	Year = 2017}

@book{Talk245,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Pontif{\'i}cia Universidade Cat{\'o}lica do Rio Grande do Sul (PUCRS), Porto Alegre, Brazil},
	Title = {{(Invited Tutorial)} Automated Reasoning in Higher-order and Non-classical Logics},
	annote = {<a href="http://christoph-benzmueller.de/papers/2017-PUCRS-Tutorial.zip">zip-file</a>},
	Year = 2017}

@book{Talk246,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Bath IMI Thematic Semester: Algorithms, Accountability and Ethics in Machine Learning, U Bath, UK},
	Title = {{(Invited Lecture)} From Computational Metaphysics towards Computational (Pseudo-)\-Ethics},
	Year = 2018,
}

@book{Talk247,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France},
	Title = {Some Reflections on a Computer-aided Theory Exploration Study in Category Theory},
        Note = {<a href="http://christoph-benzmueller.de/papers/2018-AITP-Talk.pdf">slides</a>,
	           <a href="https://www.youtube.com/watch?v=Y6-iVbD7Jq4">video</a>},	
	Year = 2018,
}

@book{Talk248,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018},
	Title = {{(Invited Keynote)} A Flexible Infrastructure for Normative Reasoning},
	Year = 2018,
	Note = {<a href="https://lecturenet.uu.nl/Site1/Play/6e679ba9960a48c28b9e86688b57351f1d?catalog=5f595ae1-b213-456b-af3d-5248da311475">video</a>},
	Month = jul,
	doi = {10.13140/RG.2.2.27972.48007},
}




@book{Talk249,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK},
	Title = {{(Invited Keynote)} Experiments in Universal Logical Reasoning --- How to utilise ATPs 
and SMT solvers for the exploration of axiom systems for category theory in free logic?},
	Year = 2018,
	note = {<a href="http://christoph-benzmueller.de/papers/2018-SMT.pdf">slides</a>},
	Month = jul,
}


@book{Talk250,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Second Chinese Conference on Logic and Argumentation (CLAR 2018), Hangzhou, China},
	Title = {Computational Hermeneutics: Using Computers to Interpret Arguments},
	Year = 2018,
	Month = jun,
}


@book{Talk251,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Institut für Theoretische Informatik, LMU München},
	Title = {{(Invited)} Experiments in Universal Logical Reasoning --- How to utilise ATPs 
and SMT solvers for the exploration of axiom systems for category theory in free logic?},
	Year = 2018,
	note = {<a href="http://christoph-benzmueller.de/papers/2018-LMU.pdf">slides</a>},
	Month = jun,
}



@book{Talk252,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Special Session on the History and Philosophy of Computing (HaPoC) at the Computability in Europe (CiE) conference},
	Title = {{(Invited; celebration of Martin Davis' 90th Birthday)} A Deontic Logic Reasoning Infrastructure},
	Year = 2018,
	note = {<a href="http://christoph-benzmueller.de/papers/2018-CiE.pdf">slides</a>},
	Month = aug, 
}

@book{Talk253,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {12th All India Students' Conference on Science and Spiritual Quest (AISSQ), IIT Bhubaneswar, India},
	Title = {{(Invited Keynote)} Can computers help to sharpen our understanding of ontological arguments?},
	Year = 2018,
	Month = oct,
	Note = {<a href="http://christoph-benzmueller.de/papers/2018-AISSQ.pdf">slides</a>,
	           <a href="https://youtu.be/_ceTZ2jehT4">video</a>}
}

@book{Talk254,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Colloquium Cognitive Systems University of Ulm},
	Title = {{(Invited)} Studies in Computational Metaphysics and Computational (Pseudo-)Ethics},
	Year = 2018,
	Month = nov,
	Note = {<a href="http://christoph-benzmueller.de/papers/2018-Ulm.pdf">slides</a>},
}

@book{Talk255,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Formal Methods and Science in  Philosophy III, Dubrovnik, Croatia},
	Title = {{(Invited Keynote)} Computational Metaphysics: New Insights on
G\"odel's Ontological Argument and Modal Collapse},
	Year = 2019,
	Month = apr,
	OPTNote = {<a href="http://christoph-benzmueller.de/papers/2019-Dubrovnik.pdf">slides</a>},
}



@book{Talk256,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {ANDREI-60: Automating New-era Deductive Reasoning Event In Iberia, Tblisi, Georgia},
	Title = {{(Invited)} Higher-order automated theorem proving --- Why has there been such a resistance?},
	Year = 2019,
	Month = may,
}

@book{Talk257,
	Keywords = {presentation, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Kurt G{\"o}del: Philosophical Views, Workshop at FU Berlin \url{http://christoph-benzmueller.de/2019-Goedel/}},
	Title = {What Kind of Ultrafilter is G{\"o}del's God},
	Year = 2019,
	Month = feb,
}

@book{Talk258,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Panel Discussion on "Artificial Intelligence", by Nature Research (Springer Nature), with Dean Sanderson (Springer Nature), Oliver Brock (TU Berlin), Dagmar Monett (HWR Berlin), Raul Rojas (FU Berlin), Henry Ford Bau, FU Berlin},
	Title = {{(Invited Panelist)}},
	Year = 2019,
	Month = mar,
	Note = {<a href="http://christoph-benzmueller.de/papers/NatureResearchLiveInBerlin.pdf">event flyer</a>, 
<a href="https://mobile.twitter.com/nresearchnews/status/1105168025148366848">twitter</a>},
}

@book{Talk259,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Panel Discussion on "Laws in LAWS", scientific involvement in the effort to ban Lethal Autonomous Weapon Systems (LAWS), organised by Future of Life
	 Institute \url{http://futureoflife.org}, with Ariel Conn (FLI) and Kate Folb (Hollywood), Konferenzzentrum der Heinrich-B{\"o}ll-Stiftung, Berlin},
	Title = {{(Invited Panelist)}},
	Year = 2019,
	Month = mar,
	Note = {<a href="https://www.stopkillerrobots.org/wp-content/uploads/2020/01/March-2019-Berlin-global-meeting.pdf">meeting report</a>},
}




@book{Talk260,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Center for Intelligent Systems and their Applications (CISA), Edinburgh University, School of Informatics, Scotland},
	Title = {{(Invited)} On Universal Logical Reasoning and Gödel's Ontological Argument},
	Year = 2019,
	note = {<a href="http://christoph-benzmueller.de/papers/2019-Edinburgh.pdf">slides</a>},
	Month = jun,
}

@book{Talk261,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {71. Science Slam Berlin, SO36 Berlin Kreuzberg},
	Title = {{(Invited Featured Scientist)} Der Beweis},
	Year = 2019,
	Month = may,
	Note = {<a href="https://youtu.be/rXvboBiz7co">youtube</a>},
}

@book{Talk262,
	Keywords = {presentation},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Tag der offenen T{\"u}r, Dahlem Center for Machine Learning and Robotics, FU Berlin},
	Title = {Ethisch Intelligente Systeme},
	Year = 2019,
	Month = Jun,
	Note = {<a href="https://www.fu-berlin.de/presse/informationen/fup/2019/fup_19_147-tag-der-offenen-tuer-dahlem-center-for-machine-learning-and-robotics/index.html">Press</a>},
}

@book{Talk263,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Symposium ``K{\"u}nstliche Intelligenz: Made in Germany'' des Deutschen Zentrums für Luft- und Raumfahrt (DLR),  Berlin},
	Title = {{(Invited)} Ethisch Intelligente Systeme},
	Year = 2019,
	Month = jun,
	Note = {<a href="http://smodell.besl-eventservice.de/0XnpZ5aJGVWg/index.php">Event Website</a>},
}

@book{Talk264,
	Keywords = {presentation},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Kids Presentation for Kronach-Grundschule, FU Berlin},
	Title = {KI und Robotik an der FU Berlin},
	Year = 2019,
	Month = jun,
	OPTNote = {<a href="http://smodell.besl-eventservice.de/0XnpZ5aJGVWg/index.php">Event Website</a>},
}

@book{Talk265,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {University of Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Science, Campinas, Brazil},
	Title = {(Invited) Studies in Computational Metaphysics \& Computational (Pseudo-)Ethics},
	Year = 2019,
	Month = jul,
}


@book{Talk266,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Maria Sibylla Merian Centre Conviviality-Inequality in Latin America (Mecila) \& Goethe-Institut S\~{a}o Paulo, Brazil, Invitation by FU Berlin Office in S\~{a}o Paulo},
	Title = {(Invited Plenary Talk) Human vs.~Nonhuman -- The Need for Ethical Intelligent Systems},
	Year = 2019,
	Month = jul,
}


@book{Talk267,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Faculty of Law, University of S\~{a}o Paulo, Brazil},
	Title = {(Invited) Deontic Logic and Artificial Intelligence},
	Year = 2019,
	Month = aug,
}


@book{Talk268,
	Keywords = {presentation, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE), Workshop at CADE-27, Natal, Brazil},
	Title = {Explicit Normative Reasoning and Machine Ethics},
	Year = 2019,
	Month = aug,
}



@book{Talk269,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Forum Experiment!, VolkswagenStiftung, Herrenhausen Palace, Hannover},
	Title = {(Invited) Consistent Rational Argumentation in Politics (CRAP)},
	Year = 2019,
	Month = nov,
	Day = {26--27},
	Note = {Nov 26-27},
	Note = {<a href="http://christoph-benzmueller.de/papers/2019-poster-VolswagenStiftung.pdf">poster</a>},
}



@book{Talk270,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Artificial Intelligence in Automotive, Holiday Inn München},
	Title = {(Invited Speaker) Ethisch-rechtliche Kontrolle autonomer Systeme -- Machbar?},
	Year = 2019,
	Month = dec,
	Day = {3--4},
	Note = {Dec 3-4, \url{https://cti.euroforum.de/ai-in-automotive/}},
	Note = {<a href="http://christoph-benzmueller.de/papers/2019-AIinAutomotive.pdf">slides</a>},
	}





@book{Talk271,
	Keywords = {presentation, interview, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Deutschen Wissenschafts- und Innovationshauses São Paulo (DWIH São Paulo), Brazil},
	Title = {(Interview) Artificial Intelligence Welcomes Humans},
	Year = 2019,
	Month = jul,
	Note = {Available at \url{https://www.dwih-saopaulo.org/de/themen/kuenstliche-intelligenz/kuenstliche-intelligenz-heisst-die-menschen-herzlich-willkommen/} and \url{https://www.dwih-saopaulo.org/en/topics/artificial-intelligence/artificial-intelligence-welcomes-humans/}},
	}


@book{Talk272,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {AI Camp Wolfsburg, organisiert von Weissenberg Group und IHK Lüneburg-Wolfsburg},
	Title = {(Invited Talk) Ethisch-rechtliche Kontrolle von KI Systemen},
	Year = 2019,
	Month = oct,
	Day = 23,
	Note = {Oct 23, \url{http://www.ai-camp.de}},
	}

@book{Talk273,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {TU Vienna, Faculty of Informatics},
	Title = {(Invited) Reasoning about Programs, Agents and Machine Ethics: A Meta-Logical Approach},
	Year = 2019,
	Month = oct,
	}





@book{Talk275,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {PhDs in Logic XII},
	Title = {(Invited Tutorial, Covid-19-postponed) tba},
	Year = 2021,
	OPTMonth = apr,
	}


@book{Talk276,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Plenary at the International Conferences on Logic and AI, ZJULogAI,
Hangzhou, China},
	Title = {(Invited Keynote, Covid-19-postponed) Ethico-legal governance of intelligent artificial agents -- Can post-hoc normative reasoning competencies prevent AI systems from going rogue?},
	Year = 2020,
	OPTMonth = apr,
	url = {http://www.xixilogic.org/zjulogai/abstracts/},
	}


@book{Talk277,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {EPFL-FU Digital Humanities Winter School "AI Ethics", EPFL Lausanne, 4-5 February, 2020},
	Title = {(Invited Tutorial) Coding Ethics: Computational Techniques for Ethical Decisions},
	Year = 2020,
	Month = feb,
	Note = {\url{https://www.epfl.ch/labs/dcml/wp-content/uploads/2020/01/EPFL-FU-DHWS-poster.pdf}},
	}


@book{Talk278,
	Keywords = {presentation, invited presentations},
	OPtAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Bitkom AI Research Network, \url{bitkom.org}},
	Title = {(Invited E-Lecture) Ethisch-rechtliche Kontrolle von KI Systemen},
	Year = 2020,
	Month = feb,
	Note = {<a href="http://christoph-benzmueller.de/papers/2020-Bitkom.pdf" target="_blank">slides</a>},
	}

@book{Talk279,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Große Interdisziplinarität wagen!, Joint event of TU Berlin, FU Berlin, HU Berlin and Charite Berlin organized by Present Futures Forum Berlin},
	Title = {(Invited E-Lecture) Formales Argumentieren mit dem Computer – über Disziplingrenzen hinaus},
	Year = 2020,
	Month = jul,
	Doi = {10.13140/RG.2.2.14168.52487},
	Note = {<a href="https://www.researchgate.net/publication/342804924" target="_blank">slides</a>},
	}

@book{Talk280,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Science Pitch "Exploration Projects Social Cohesion", Berlin University Alliance},
	Title = {(Invited Pitch) Berlin Ethics Lab für verantwortliche KI und
verantwortliche Mensch-Maschine-Interaktion},
	Year = 2020,
	Month = aug,
	OPTNote = {<a href="https://www.researchgate.net/publication/342804924">slides</a>},
	}


@book{Talk281,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Akademie Franz Hitze Haus, Münster, 6. Oktober},
	Title = {(Invited Public Talk) Ontologischer Gottesbeweis am Computer},
	Year = 2020,
	Month = oct,
	OPTNote = {<a href="https://www.researchgate.net/publication/342804924">slides</a>},
	}


@book{Talk282,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)},
	Title = {A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument},
	Year = 2020,
	Month = sep,
	Doi = {10.13140/RG.2.2.35270.29765},
	Note = {<a href="https://www.researchgate.net/publication/344242706">slides</a>},
	}


@book{Talk283,
	Keywords = {presentation, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller and Bertram Lomfeld},
	Publisher = {The 1st Workshop on Models of Legal Reasoning
MLR 2020, hosted by the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)},
	Title = {Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic},
	Year = 2020,
	Month = sep,
	OPTDoi = {10.13140/RG.2.2.35270.29765},
	OPTNote = {<a href="https://www.researchgate.net/publication/344242706">slides</a>},
	}

@book{Talk284,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller and Bertram Lomfeld},
	Publisher = {43rd German Conference on Artificial Intelligence, KI2020, September 21–25, 2020: Bamberg, Germany},
	Title = {Reasonable Machines: A Research Manifesto},
	Year = 2020,
	Month = sep,
	OPTDoi = {10.13140/RG.2.2.35270.29765},
	OPTNote = {<a href="https://www.researchgate.net/publication/344242706">slides</a>},
	}

@book{Talk285,
	Keywords = {presentation, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Workshop on Deontic Reasoning, University of Luxembourg},
	Title = {Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic},
	Year = 2020,
	Month = oct,
	OPTDoi = {10.13140/RG.2.2.35270.29765},
	Note = {<a href="https://icr.uni.lu/deonticlogic2020-2030/TalkBenzmueller.pdf">slides</a>,<a href="https://www.youtube.com/watch?v=drIQKmBFPgY&feature=youtu.be">video</a>},
	}


@book{Talk286,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Bundesverband Informationswirtschaft, Telekommunikation und Neue Medien e.V.},
	Title = {(Invited Presentation and Panelist) Bitkom Forum Recht 2020, 
Rechtliche Aspekte von Künstlicher Intelligenz (KI)},
	Year = 2020,
	Month = oct,
	OPTNote = {<a href="https://www.researchgate.net/publication/342804924">slides</a>},
	}

@book{Talk287,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Falling Walls and Berlin Science Week},
	Title = {(Invited Panelist) Una Europa Talk: Resistance is futile. You will be digitalized!},
	Year = 2020,
	Month = Nov,
	Note = {<a href="https://www.youtube.com/watch?v=cLrjmCb96Jc">youtube</a>},
	}


@book{Talk288,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {University of Bern, Philosophy},
	Title = {(Invited Seminar) The Hermeneutics of AI Interpretability},
	Year = 2020,
	Month = Oct,
	}


@book{Talk289,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {National Colloquium on AI, Mexico},
	Title = {(Invited Presentation) Classical Higher-Order Logic (HOL)---Automation and Selected Application},
	Year = 2021,
	Month = Jan,
	Note = {<a href="https://www.consorcioia.mx/coloquioia">event link</a>, <a href="https://www.youtube.com/watch?v=XaxCeVOMfQ4">youtube</a>},
	}
	

@book{Talk290,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {AAAI Spring Symposium on Implementing AI Ethics},
	Title = {(Invited Presentation and Demo) Value-Oriented Ethico-Legal Reasoning in LogiKEy},
	Year = 2021,
	Month = Mar,
	OPTNote = {<a href="https://www.researchgate.net/publication/350186805_Value-Oriented_Ethico-Legal_Reasoning_in_LogiKEy">slides</a>}
	}

@book{Talk291,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Joint annual meeting of the GI groups Deduction Systems and Logic in Computer Science},
	Title = {Value-Oriented Ethico-Legal Reasoning in LogiKEy},
	Year = 2021,
	Month = Mar,
	Note = {<a href="http://dx.doi.org/10.13140/RG.2.2.15266.76481">slides</a>}
	}

@book{Talk292,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {KI Club, FU Berlin},
	Title = {(Invited Presentation) Value-Oriented Ethico-Legal Reasoning in LogiKEy},
	Year = 2021,
	Month = Apr,
	}

@book{Talk293,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Ontology Talk by Adam Pease},
	Title = {(Interview) Higher-Order Logic},
	Year = 2021,
	Month = Jul,
	}


@book{Talk294,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Science Slam der FU Berlin im Rahmen des berlinweiten Wissenschaftsfestivals „Wissensstadt Berlin 2021“},
	Title = {Vertrauensw\"urdige und Verantwortungsvolle KI f\"ur unsere gro{\ss}e Stadt},
	Year = 2021,
	Month = Aug,
	Note = {Gewinnerbeitrag; <a href="https://www.fu-berlin.de/campusleben/campus/2021/210809-science-slam-wissensstadt-berlin-2021/index.html">website</a>}
	}


@book{Talk295,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {European Academy of Religion (EuARe), Panel on Religion, Technology, and Artificial Intelligence},
	Title = {(Invited Presentation) Analysis and exploration of theistic arguments with theorem provers and model finders: New insights into the Ontological Argument},
	Year = 2021,
	Month = Aug,
	OPTNote = {}
	}


@book{Talk296,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Workshop on Existence and Free Logic},
	Title = {(Invited Presentation) Higher-order Free Logic and Free Logic in Higher-order Logic},
	Year = 2021,
	Month = Oct,
	OPTNote = {}
	}


@book{Talk297,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Seminar in Logic and Philosophy of Mathematics, University of Helsinki},
	Title = {(Invited Presentation) A Simplified Variant of Gödel's Ontological Argument},
	Year = 2021,
	Month = Nov,
	OPTNote = {}
	}


@book{Talk298,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {DELIGHT Project Kick-Off Workshop (online), University of Luxembourg},
	Title = {(Invited Presentation) Latest Extensions to LogiKEy},
	Year = 2021,
	Month = Dec,
	Note = {Forthcoming}
	}


@book{Talk299,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Inauguration Ceremony and Kick-off Meeting of the Zhejiang University--University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning (ZLAIRE)},
	Title = {(Invited Inauguration Speech) Why we need ZLAIRE},
	Year = 2021,
	Month = Nov,
	Doi = {10.13140/RG.2.2.19484.62084},
	OPTNote = {<a href="https://www.zju.edu.cn/english/2021/1209/c19573a2450175/page.htm">news link</a>},
	}

@book{Talk300,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {The Humanities and The Rise of AI -- Implications of Cultural and Societal Engineering, World Expo Dubai, February 7},
	Title = {(Invited Presentation) The Computer as Experimental Metaphysician?},
	Year = 2022,
	Month = Feb,
	Note = {<a href="http://endsofthehumanities.com/">event link</a>,
<a href="https://youtu.be/X4GYd22rV0A">youtube</a>},
	}

@book{Talk301,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {The Logic and Religion Webinar, 12 May},
	Title = {(Invited Presentation) Studying Ontological Arguments with Computers},
	Month = May,
	Year = 2022,
	Note = {<a href="https://www.youtube.com/watch?v=4zwWXhS7onw">youtube</a>}
	}

@book{Talk302,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {AI-Meetup, Dependable Intelligent Software Lab, U Bamberg, 1. April},
	Title = {(Invited Presentation) Ethico-legal Governance of AI Systems},
	Year = 2022,
	Month = Apr,
	}

@book{Talk303,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Smart = gut? Ethische Aspekte der Smart City, Workshop, U Bamberg, 6./7. Mai},
	Title = {(Invited Presentation) Kann man KI Systeme kontrollieren?},
	Year = 2022,
	Month = May,
	}

@book{Talk304,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Smart = gut? Ethische Aspekte der Smart City, Workshop, U Bamberg, 6./7. Mai},
	Title = {(Invited Presentation, Slam) Vertrauensw{\"u}rdige und Verantwortungsvolle KI f{\"u}r die Smart City},
	Year = 2022,
	Month = May,
	}

@book{Talk305,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller and David Fuenmayor},
	Publisher = {Lawgorithm: AI, Ethics and Law Seminar, University of Sao Paulo, June},
	Title = {(Invited Keynote) Bridging Legal Argumentation and Automated Theorem Proving},
	Year = 2022,
	Month = Jun,
	Note = {<a href="https://youtu.be/h8hTsMMeHgU?t=3700">youtube</a>},
	}

@book{Talk306,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Topos Institute, Berkeley, CA, 16 June},
	Title = {(Invited Presentation) Logico-Pluralistic Exploration of Foundational Theories with Computers},
	Year = 2022,
	Month = Jun,
	Note = {<a href="https://www.youtube.com/watch?v=c3qfeSmhN-8">youtube</a>},
	}

@book{Talk307,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Public Discussion: Digitization, Artificial Intelligence and Responsibility of Science, Summer School, Vereinigung Deutscher Wissenschaftler, 30 June},
	Title = {(Invited Presentation) Trusted AI through Ethico-Legal Governors?},
	Month = Jun,
	Year = 2022,
	}

@book{Talk308,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {AuReLeE Workshop Luxembourg (https://aurelee.net/conclusion/index.html), July 18, doi: 10.13140/RG.2.2.11932.16003},
	Title = {(Invited Presentation) HOL, Universal Meta-Logical Reasoning and LogiKEy},
	Note = {<a href="http://dx.doi.org/10.13140/RG.2.2.11932.16003">Slides</a>},
	Month = Jul,
	Year = 2022,
	}

@book{Talk309,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Summer School AI \& Ethics, Goethe-Institut e.V.},
	Title = {(Invited Presentation) What is AI?},
	Note = {<a href="http://dx.doi.org/10.13140/RG.2.2.11932.16003">Slides</a>},
	Year = 2022,
	Month = Sep,
	}

@book{Talk310,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Summer School AI \& Ethics, Goethe-Institut e.V.},
	Title = {(Invited Presentation) Trusted AI through Ethico-Legal Governors?},
	Note = {<a href="http://dx.doi.org/10.13140/RG.2.2.11932.16003">Slides</a>, <a href="https://youtu.be/XbHZgxzggkQ?feature=shared&t=1018">Youtube</a>},
	Year = 2022,
	Month = Sep,
	}

@book{Talk311,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Acatech Science Slam Bamberg},
	Title = {(Invited Presentation) KI an der Leine},
	Note = {<a href="https://www.acatech.de/allgemein/acatech-science-slam-in-bamberg/">Slides</a>},
	Year = 2022,
	Month = Oct,
	}



@book{Talk312,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Christmas Lecture at University of Bamberg},
	Title = {(Invited Presentation) Der 'Beweis'},
	Year = 2022,
	Month = Dec,
	}



@book{Talk313,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {School of Computing, Ulster University, UK},
	Title = {(Invited Presentation) HOL, Universal Meta-Logical Reasoning and LogiKEy},
	Year = 2023,
	Month = Mar,
	}


@book{Talk314,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {FLAIRS-36 Conference, Florida Artificial Intelligence Research Society, Sheraton Sandy Key Resort, Clearwater Beach, Florida, USA, May 14-17},
	Title = {(Invited Keynote) Reasonable, Trusted AI through Symbolic Ethico-legal Control and Reflection?},
	Year = 2023,
	Month = May,
	doi = {10.13140/RG.2.2.32547.84003},
	}


@book{Talk315,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Servus KI! Podcast},
	Title = {ChatGPT, KI \& Gott},
	Year = 2023,
	Month = Feb,
	Note = {<a href="https://servus-ki.podigee.io/3-chatgpt">Podcast</a>},
	}

@book{Talk316,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Servus KI! Podcast},
	Title = {Ethische KIs},
	Note = {<a href="https://servus-ki.podigee.io/3-chatgpt">Podcast</a>},
	Year = 2023,
	Month = Mar,
	}


@book{Talk317,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {IT-Forum Oberfranken},
	Title = {(Invited Presentation) Was kann KI? Perspektiven aus der Forschung an der Universität Bamberg},
	Day = 29,
	Month = Mar,
	Year = 2023,
	}


@book{Talk318,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Bamberg Startups e.V.},
	Title = {(Invited Presentation) Was kann KI (noch besser machen)?},
	Day = 5,
	Month = Apr,
	Year = 2023,
	}


@book{Talk319,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Antrittsvorlesung an der Otto-Friedrich-Universit{\"a}t Bamberg (13. Juni 2023)},
	Title = {KI für den Menschen: Ein Dreiklang aus Beweis, Verantwortung und Dialog},
	Day = 13,
	Month = Jun,
	Year = 2023,
	Note = {<a href="https://git.imp.fu-berlin.de/cbenzmueller/chrisgitlab/-/blob/89ac7ca4f51dcc71a6ab2e86e2192996e3c88d6d/talks/2023-Antrittsvorlesung/Antrittsvorlesung.key">slides</a>, <a href="https://git.imp.fu-berlin.de/cbenzmueller/chrisgitlabmedia/-/blob/71f5561ff14b6ec4ae0167c93d970ca5a07198ee/Antrittsvorlesung-Pt1-Guido-Welcome.MOV">[movie]</a>},
	}



@book{Talk320,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Dagstuhl Seminar 23151 on Normative Reasoning for AI},
	Title = {(Invited Presentation) Is HOL (as a meta-logic) all we need for the implementation of flexible normative reasoning?},
	Day = 10,
	Month = Apr,
	Year = 2023,
	}



@book{Talk321,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Dagstuhl Seminar 23151 on Normative Reasoning for AI},
	Title = {Know-it-all Parrots in the Offing},
	Day = 12,
	Month = Apr,
	Year = 2023,
	}

@book{Talk322,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {FPS-Law Jahresempfang Berlin},
	Title = {(Invited Presentation) Ethisch-rechtliche Kontrolle 
von KI Systemen},
	Day = 22,
	Month = Jun,
	Year = 2023,
	}

@book{Talk323,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {ZIAI-Tag Bamberg},
	Title = {(Invited Presentation) Computational Metaphysics},
	Day = 7,
	Month = Jul,
	Year = 2023,
	}

@book{Talk324,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Deduktionstreffen, October 26, 2023, Berlin},
	Title = {(Invited Presentation) Who finds the short proof?},
	Day = 26,
	Month = Sep,
	Year = 2023,
	}


@book{Talk325,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {International Conference on Computational Intelligence and Network Systems (CINS 2023), October 18, 2023, Dubai, UAE},
	Title = {(Invited Presentation) Reasonable, trusted AI requires hybrid techniques},
	Day = 18,
	Month = Oct,
	Year = 2023,
	}


@book{Talk326,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Vortragsreihe ,,Zwischen Mensch und Maschine: K{\"u}nstliche Intelligenz im Dialog mit den Geisteswissenschaften'', Universit{\"a} Leipzig, January 23, 2024},
	Title = {(Invited Presentation) KI kann mehr als Muster in Daten erkennen — {\"U}ber erfolgreiche Anwendungen symbolischer KI-Technologien in Philosophie, Theologie und Mathematik},
	Day = 23,
	Month = Jan,
	Year = 2024,
	Note = {<a href="https://www.theol.uni-leipzig.de/fakultaet/veranstaltungsportal/veranstaltungsdetail/termin/vom-hilfsmittel-zur-disziplin-die-ki-von-morgen">website</a>},
	Url = {https://www.theol.uni-leipzig.de/fakultaet/veranstaltungsportal/veranstaltungsdetail/termin/vom-hilfsmittel-zur-disziplin-die-ki-von-morgen},
	}

@book{Talk327,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Zhejiang University — ZLAIRE: University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning},
	Title = {(Invited High-End Foreign Expert Presentation) Introduction to {LogiKEy} (for ethical and legal reasoning)},
	Day = 20,
	Month = Jan,
	Year = 2024,
	Url = {https://www.zlaire.net/full?news?2402092059260110425},
	}

@book{Talk328,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Zhejiang University — ZLAIRE: University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning},
	Title = {(Invited High-End Foreign Expert Presentation) {LogiKEy} focused introduction to {Isabelle/HOL}},
	Day = 20,
	Month = Jan,
	Year = 2024,
	Url = {https://www.zlaire.net/full?news?2402092059260110425},
	}


@book{Talk329,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Jung und Alt bewegt, Digitaler Workshop, Vereinigung Deutscher Wissenschaftler (VDW)},
	Title = {(Invited Presentation) KI Insights: Experte Prof. Dr. Christoph Benzmüller über Ethik, Innovation und die globale Perspektive auf Künstliche Intelligenz},
	Day = 27,
	Month = Feb,
	Year = 2024,
	Note = {<a href="https://vdw-ev.de/bericht-jung-und-alt-bewegt-ki/">website</a>},
	Url = {https://vdw-ev.de/bericht-jung-und-alt-bewegt-ki/},
	}


@book{Talk330,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Fachforum Geisteswissenschaften 2024, Hans-Seidel-Stiftung},
	Title = {(Invited Presentation) KI-Systeme in Gesellschaft und Forschung: Eine Einfuehrung und Positionierung},
	Day = 11,
	Month = May,
	Year = 2024,
	Note = {<a href="https://banziana.de/zwischen-1-0-und-fleisch-blut/">website</a>},
	Url = {https://banziana.de/zwischen-1-0-und-fleisch-bluthttps://vdw-ev.de/bericht-jung-und-alt-bewegt-ki/},
	}

@book{Talk331,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Hausdorff Institute for Mathematics, Workshop ``Prospects of Formalized Mathematics''},
	Title = {(Invited Presentation) Comments on the Formalisation and Automation of Foundational Theories from the Point of View of LogiKEy},
	Day = 17,
	Month = Jun,
	Year = 2024,
	}

@book{Talk332,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Models of Consciousness 2024},
	Title = {(Invited Presentation) AI Consciousness – From the Perspective of a Logician},
	Day = 4,
	Month = Oct,
	Year = 2024,
	Note = {<a href="https://amcs-community.org/events/moc5-2024//">website</a>},
	Url = {https://amcs-community.org/events/moc5-2024/},
	}




@book{Talk333,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {East China Normal University, Shanghai, China},
	Title = {(Invited Presentation) Experiments in Computational Metaphysics using the logic-pluralistic LogiKEy methodology},
	Day = 21,
	Month = Nov,
	Year = 2024,
	OPTNote = {<a href="https://www.sohu.com/a/821547991_121124751">website</a>},
	OPTUrl = {https://www.sohu.com/a/821547991_121124751},
	}


@book{Talk334,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {ExtenDD Seminar, University of Lodz, Poland},
	Title = {(Invited Presentation) Utilizing proof assistant systems and the LogiKEy methodology for experiments on free logic in HOL},
	Day = 8,
	Month = Jan,
	Year = 2024,
	}


@book{Talk335,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {ISDIA 2025 Conference, University of Wollongong, Dubai},
	Title = {XAI in Healthcare: Analysis and Evaluation of XAI Tools and Legal Liability for Neural Networks. A Case Study on Tumor Image Classification},
	Day = 21,
	Month = Jan,
	Year = 2025,
	OPTNote = {<a href="https://isdia.org/">website</a>},
	OPTUrl = {https://isdia.org/},
	}

@book{Talk336,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {German International School in Dubai (DISD), Dubai, UAE},
	Title = {(Invited Presentation) Künstliche Intelligence---Chancen und Herausforderungen},
	Day = 18,
	Month = Mar,
	Year = 2025,
	}


@book{Talk337,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Agentur für Arbeit Bamberg},
	Title = {(Invited Presentation) B.Sc. Künstliche Intelligenz  Data Science -- Neuer Studiengang an der Otto-Friedrich-Universität Bamberg},
	Day = 26,
	Month = Mar,
	Year = 2025,
	}


@book{Talk338,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {BITS Pilani Dubai, Dubai, UAE},
	Title = {(Invited Presentation) Artificial Intelligence -- Opportunities and Challenges},
	Day = 11,
	Month = Apr,
	Year = 2025,
	}

@book{Talk339,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {University of Luxembourg, May, 2025},
	Title = {(Invited Presentation) LogiKEy methodology: Utilizing higher-order theorem proving systems for universal logical reasoning},
	Day = 13,
	Month = May,
	Year = 2025,
	}

@book{Talk340,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Festkolloquium MiKo 60, FAU Erlangen, 2025},
	Title = {(Invited Presentation) How to automate higher-order logic with Michael (fast)},
	Day = 17,
	Month = May,
	Year = 2025,
	}


@book{Talk341,
	Keywords = {presentation, invited presentations, workshop presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {DELIGHT Workshop, University of Luxembourg, May, 2025},
	Title = {(Invited Presentation) Faithful Logic Embeddings in HOL — Deep and Shallow},
	Day = 30,
	Month = May,
	Year = 2025,
	}


@book{Talk342,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {},
	Title = {(Invited Presentation) ZIAI — Zentrum für Innovative Anwendungen der Informatik},
	OPTDay = 30,
	Month = Jul,
	Year = 2025,
	}


@book{Talk343,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Conference on Automated Deduction, CADE 2025, Business Meeting},
	Title = {Peter Andrews -- A Short Memorial as part of CADE 2025},
	OPTDay = 30,
	Month = Aug,
	Year = 2025,
	}

@book{Talk344,
	Keywords = {presentation, conference presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Conference on Automated Deduction, CADE 2025, Main Track},
	Title = {Faithful Logic Embeddings in HOL -- Deep and Shallow},
	OPTDay = 30,
	Month = Aug,
	Year = 2025,
	}



@book{Talk345,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Willkommensempfang des Graduiertenzentrums TRAc und des Welcome Centers der Universität Bamberg},
	Title = {(Invited Presentation) Das Zentrum für Innovative Anwendungen der Informatik (ZIAI) — Innovationskreisläufe zwischen den Disziplinen.},
	OPTDay = 30,
	Month = Jul,
	Year = 2025,
	}


@book{Talk346,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Duale Hochschule Baden-Württemberg Stuttgart},
	Title = {(Invited Presentation) Symbolische Kontrolle für subsymbolische Künstliche Intelligenz?},
	OPTDay = 30,
	Month = Feb,
	Year = 2026,
	}
	
@book{Talk347,
	Keywords = {presentation, invited presentations},
		OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Seminar Series on ,,Formalisation of mathematics with interactive theorem provers'', Cambridge University, UK},
	Title = {(Invited Presentation) Faithful Logic Embeddings in HOL: Deep and Shallow, Propositional and Quantified},
	OPTDay = 30,
	Month = Mar,
	Year = 2026,
	}


@book{Talk348,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Rotary Club Bamberg -- Schloss Geyerwörth},
	Title = {(Invited Presentation) KI und Gottesbeweis},
	OPTDay = 30,
	Month = Apr,
	Year = 2026,
	}


@book{Talk349,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {Topos Institute, Berkeley, CA, USA},
	Title = {(Invited Presentation) A topic will be announced shortly},
	OPTDay = 30,
	Month = May,
	Year = 2026,
	}
	
@book{Talk350,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {University of Luxembourg, Luxembourg},
	Title = {(Invited Presentation) LogiKEy Methodology: Utilizing Higher-Order Theorem Proving Systems for Universal (Meta-)Logical Reasoning},
	OPTDay = 30,
	Month = March,
	Year = 2026,
	}
	
@book{Talk351,
	Keywords = {presentation, invited presentations},
	OPTAuthor = {Christoph Benzm{\"u}ller},
	Publisher = {University of Luxembourg, Luxembourg},
	Title = {(Invited Presentation) Faithful Logic Embeddings in HOL: Deep and Shallow, Propositional and Quantified},
	OPTDay = 30,
	Month = March,
	Year = 2026,
	}