\n \n \n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited) Higher-order automated theorem proving — Why has there been such a resistance?.\n \n \n \n\n\n \n \n\n\n \n\n\n\n ANDREI-60: Automating New-era Deductive Reasoning Event In Iberia, Tblisi, Georgia, May 2019.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk256,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {ANDREI-60: Automating New-era Deductive Reasoning Event In Iberia, Tblisi, Georgia},\n\tTitle = {{(Invited)} Higher-order automated theorem proving --- Why has there been such a resistance?},\n\tYear = 2019,\n\tMonth = may,\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n What Kind of Ultrafilter is Gödel's God.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Kurt Gödel: Philosophical Views, Workshop at FU Berlin ˘rlhttp://christoph-benzmueller.de/2019-Goedel/, February 2019.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@book{Talk257,\n\tKeywords = {presentation},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Kurt G{\\"o}del: Philosophical Views, Workshop at FU Berlin \\url{http://christoph-benzmueller.de/2019-Goedel/}},\n\tTitle = {What Kind of Ultrafilter is G{\\"o}del's God},\n\tYear = 2019,\n\tMonth = feb,\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited Panelist).\n \n \n \n\n\n \n \n\n\n \n\n\n\n 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, March 2019.\n
event flyer, twitter\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk258,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {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},\n\tTitle = {{(Invited Panelist)}},\n\tYear = 2019,\n\tMonth = mar,\n\tNote = {<a href="http://christoph-benzmueller.de/papers/NatureResearchLiveInBerlin.pdf">event flyer</a>, \n<a href="https://mobile.twitter.com/nresearchnews/status/1105168025148366848">twitter</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited Panelist).\n \n \n \n\n\n \n \n\n\n \n\n\n\n Panel Discussion on \"Laws in LAWS\", scientific involvement in the effort to ban Lethal Autonomous Weapon Systems (LAWS), organised by Future of Life Institute ˘rlhttp://futureoflife.org, with Ariel Conn (FLI) and Kate Folb (Hollywood), Konferenzzentrum der Heinrich-Böll-Stiftung, Berlin, March 2019.\n
meeting report\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk259,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Panel Discussion on "Laws in LAWS", scientific involvement in the effort to ban Lethal Autonomous Weapon Systems (LAWS), organised by Future of Life\n\t Institute \\url{http://futureoflife.org}, with Ariel Conn (FLI) and Kate Folb (Hollywood), Konferenzzentrum der Heinrich-B{\\"o}ll-Stiftung, Berlin},\n\tTitle = {{(Invited Panelist)}},\n\tYear = 2019,\n\tMonth = mar,\n\tNote = {<a href="https://www.stopkillerrobots.org/wp-content/uploads/2020/01/March-2019-Berlin-global-meeting.pdf">meeting report</a>},\n}\n\n\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited) On Universal Logical Reasoning and Gödel's Ontological Argument.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Center for Intelligent Systems and their Applications (CISA), Edinburgh University, School of Informatics, Scotland, June 2019.\n
slides\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk260,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Center for Intelligent Systems and their Applications (CISA), Edinburgh University, School of Informatics, Scotland},\n\tTitle = {{(Invited)} On Universal Logical Reasoning and Gödel's Ontological Argument},\n\tYear = 2019,\n\tnote = {<a href="http://christoph-benzmueller.de/papers/2019-Edinburgh.pdf">slides</a>},\n\tMonth = jun,\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited Featured Scientist) Der Beweis.\n \n \n \n\n\n \n \n\n\n \n\n\n\n 71. Science Slam Berlin, SO36 Berlin Kreuzberg, May 2019.\n
youtube\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk261,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {71. Science Slam Berlin, SO36 Berlin Kreuzberg},\n\tTitle = {{(Invited Featured Scientist)} Der Beweis},\n\tYear = 2019,\n\tMonth = may,\n\tNote = {<a href="https://youtu.be/rXvboBiz7co">youtube</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Ethisch Intelligente Systeme.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Tag der offenen Tür, Dahlem Center for Machine Learning and Robotics, FU Berlin, June 2019.\n
Press\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@book{Talk262,\n\tKeywords = {presentation},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Tag der offenen T{\\"u}r, Dahlem Center for Machine Learning and Robotics, FU Berlin},\n\tTitle = {Ethisch Intelligente Systeme},\n\tYear = 2019,\n\tMonth = Jun,\n\tNote = {<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>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited) Ethisch Intelligente Systeme.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Symposium ``Künstliche Intelligenz: Made in Germany'' des Deutschen Zentrums für Luft- und Raumfahrt (DLR), Berlin, June 2019.\n
Event Website\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk263,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Symposium ``K{\\"u}nstliche Intelligenz: Made in Germany'' des Deutschen Zentrums für Luft- und Raumfahrt (DLR), Berlin},\n\tTitle = {{(Invited)} Ethisch Intelligente Systeme},\n\tYear = 2019,\n\tMonth = jun,\n\tNote = {<a href="http://smodell.besl-eventservice.de/0XnpZ5aJGVWg/index.php">Event Website</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n KI und Robotik an der FU Berlin.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Kids Presentation for Kronach-Grundschule, FU Berlin, June 2019.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@book{Talk264,\n\tKeywords = {presentation},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Kids Presentation for Kronach-Grundschule, FU Berlin},\n\tTitle = {KI und Robotik an der FU Berlin},\n\tYear = 2019,\n\tMonth = jun,\n\tOPTNote = {<a href="http://smodell.besl-eventservice.de/0XnpZ5aJGVWg/index.php">Event Website</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited Plenary Talk) Human vs. Nonhuman – The Need for Ethical Intelligent Systems.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Maria Sibylla Merian Centre Conviviality-Inequality in Latin America (Mecila) & Goethe-Institut São Paulo, Brazil, Invitation by FU Berlin Office in São Paulo, July 2019.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk266,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {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},\n\tTitle = {(Invited Plenary Talk) Human vs.~Nonhuman -- The Need for Ethical Intelligent Systems},\n\tYear = 2019,\n\tMonth = jul,\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited) Deontic Logic and Artificial Intelligence.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Faculty of Law, University of São Paulo, Brazil, August 2019.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk267,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Faculty of Law, University of S\\~{a}o Paulo, Brazil},\n\tTitle = {(Invited) Deontic Logic and Artificial Intelligence},\n\tYear = 2019,\n\tMonth = aug,\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Explicit Normative Reasoning and Machine Ethics.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE), Workshop at CADE-27, Natal, Brazil, August 2019.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n
\n
@book{Talk268,\n\tKeywords = {presentation},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE), Workshop at CADE-27, Natal, Brazil},\n\tTitle = {Explicit Normative Reasoning and Machine Ethics},\n\tYear = 2019,\n\tMonth = aug,\n}\n\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited) Consistent Rational Argumentation in Politics (CRAP).\n \n \n \n\n\n \n \n\n\n \n\n\n\n Forum Experiment!, VolkswagenStiftung, Herrenhausen Palace, Hannover, November 2019.\n
poster\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk269,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Forum Experiment!, VolkswagenStiftung, Herrenhausen Palace, Hannover},\n\tTitle = {(Invited) Consistent Rational Argumentation in Politics (CRAP)},\n\tYear = 2019,\n\tMonth = nov,\n\tDay = {26--27},\n\tNote = {Nov 26-27},\n\tNote = {<a href="http://christoph-benzmueller.de/papers/2019-poster-VolswagenStiftung.pdf">poster</a>},\n}\n\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited Speaker) Ethisch-rechtliche Kontrolle autonomer Systeme – Machbar?.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Artificial Intelligence in Automotive, Holiday Inn München, December 2019.\n
slides\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk270,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Artificial Intelligence in Automotive, Holiday Inn München},\n\tTitle = {(Invited Speaker) Ethisch-rechtliche Kontrolle autonomer Systeme -- Machbar?},\n\tYear = 2019,\n\tMonth = dec,\n\tDay = {3--4},\n\tNote = {Dec 3-4, \\url{https://cti.euroforum.de/ai-in-automotive/}},\n\tNote = {<a href="http://christoph-benzmueller.de/papers/2019-AIinAutomotive.pdf">slides</a>},\n\t}\n\n\n\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Interview) Artificial Intelligence Welcomes Humans.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Deutschen Wissenschafts- und Innovationshauses São Paulo (DWIH São Paulo), Brazil, July 2019.\n
Available at ˘rlhttps://www.dwih-saopaulo.org/de/themen/kuenstliche-intelligenz/kuenstliche-intelligenz-heisst-die-menschen-herzlich-willkommen/ and ˘rlhttps://www.dwih-saopaulo.org/en/topics/artificial-intelligence/artificial-intelligence-welcomes-humans/\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk271,\n\tKeywords = {presentation, interview, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {Deutschen Wissenschafts- und Innovationshauses São Paulo (DWIH São Paulo), Brazil},\n\tTitle = {(Interview) Artificial Intelligence Welcomes Humans},\n\tYear = 2019,\n\tMonth = jul,\n\tNote = {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/}},\n\t}\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n (Invited Talk) Ethisch-rechtliche Kontrolle von KI Systemen.\n \n \n \n\n\n \n \n\n\n \n\n\n\n AI Camp Wolfsburg, organisiert von Weissenberg Group und IHK Lüneburg-Wolfsburg, October 2019.\n
Oct 23, ˘rlhttp://www.ai-camp.de\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n
\n
@book{Talk272,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\"u}ller},\n\tPublisher = {AI Camp Wolfsburg, organisiert von Weissenberg Group und IHK Lüneburg-Wolfsburg},\n\tTitle = {(Invited Talk) Ethisch-rechtliche Kontrolle von KI Systemen},\n\tYear = 2019,\n\tMonth = oct,\n\tDay = 23,\n\tNote = {Oct 23, \\url{http://www.ai-camp.de}},\n\t}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n\n\n\n