Year: .*
2019
[50]Kurt Gödel -- Selected Topics (Christoph Benzmüller), Freie Universität Berlin, 2019. (kvv; website) (Seminar, Winter 2018/19, 2 SWS)
2018
[49]Universal Logical Reasoning (Christoph Benzmüller), Freie Universität Berlin, 2018. (kvv; website) (Winter 2018/19, 2+2 SWS, 5 ECTS)
[48]Softwareprojekt: Logik-Software (Christoph Benzmüller (with Tobias Gleissner)), Freie Universität Berlin, 2018. (kvv) (Softwareprojekt, Winter 2018/19, 2 SWS)
[47]Künstliche Intelligenz (Christoph Benzmüller, Christoph Schommer (U Luxembourg)), Freie Universität Berlin, 2018. (kvv) (Summer 2018, 2+2 SWS, 5 ECTS)
[46]From computational metaphysics towards computational pseudo-ethics (Christoph Benzmüller), Bath IMI Thematic Semester (U Bath, UK): Algorithms, Accountability and Ethics in Machine Learning, 2018.
2017
[45]WYSIWYG-Editor for Higher Order Logic (Projektseminar) (Christoph Benzmüller), Freie Universität Berlin, 2017. (kvv) (Summer 2017, 2 SWS)
[44](Invited Tutorial) Automated Reasoning in Higher-order and Non-classical Logics (Christoph Benzmüller), Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil, 2017. (zip-file)
[43](Invited Tutorial) Universal Logical Reasoning via Semantical Embeddings in HOL (Christoph Benzmüller), 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil, 2017. (zip-file)
[42](Invited Tutorial) Tutorial on Universal Logic Theorem Proving in HOL (Christoph Benzmüller), ILIAS group, University of Luxembourg, 2017. (zip-file)
[41]KI-gestützte Pflege einer internationalen Schuldatenbank (Christoph Benzmüller), Freie Universität Berlin, 2017. (kvv) (Softwareprojekt, Winter 2017/18, 2 SWS)
[40]Intelligente Lehr- und Lernsysteme (Christoph Benzmüller, Carsten Ullrich (DFKI)), Freie Universität Berlin, 2017. (kvv, Slides and Reports) (Pro-/Seminar, Winter 2017/18, 2+2 SWS, 5 ECTS)
[39]Künstliche Intelligenz (Christoph Benzmüller, Raul Rojas), Freie Universität Berlin, 2017. (kvv) (Summer 2017, 2+2 SWS, 5 ECTS)
2016
[38](Invited Tutorial) Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL (Christoph Benzmüller), Second Global Conference on Artificial Intelligence (GCAI), Berlin, 2016. (course material)
[37](Invited tutorial) A Universal Logic Theorem Proving Approach (Christoph Benzmüller), Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA, 2016. (slides)
[36]Interactive and Automated Theorem Proving for Non-Classical Logics (Christoph Benzmüller (with A. Steen, M. Wisnieswki)), Tutorial at GCAI-2016, 2016. (course material)
[35]Künstliche Intelligenz (Christoph Benzmüller, Raúl Rojas), Freie Universität Berlin, 2016. (kvv) (Summer 2016, 2+2 SWS, 5 ECTS)
[34](Central teaching award of FU Berlin) Computational Metaphysics (Christoph Benzmüller), Freie Universität Berlin, 2016. (course website) (Summer 2016, 2+2 SWS, 5 ECTS)
[33](Invited lecture course) Computational Metaphysics (Christoph Benzmüller), Thematic trimester 'Current Issues in the Philosophy of Practice of Mathematics & Informatics', Centre International de Mathématiques et d'Informatique de Toulouse (CIMI), France, 2016. (slides)
2015
[32](Invited lecture course) Higher-Order Modal Logics: Automation and Applications (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Logic Summer School, ANU Canberra, Australia, 2015. (slides, some-demo-files)
[31](Invited tutorial) Higher-Order Modal Logics: Automation and Applications (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Reasoning Web Summer School, 2015. (slides)
[30]Logik (Christoph Benzmüller (with A. Steen, M. Wisnieswki)), Freie Universität Berlin, 2015. (course website) (Summer 2015, Proseminar, 2 SWS, 5 ECTS)
[29]Künstliche Intelligenz (Christoph Benzmüller, Raúl Rojas), Freie Universität Berlin, 2015. (kvv) (Summer 2015, 2+2 SWS, 5 ECTS)
[28]Entwicklung eines netzbasierten Editors zur Generierung von PDF-Dokumenten (Christoph Benzmüller (with P. Podlech, A. Steen, M. Wisnieswki)), Freie Universität Berlin, 2015. (kvv) (Winter 2014/2015, Softwareprojekt, 2 SWS)
[27]Expressive Logiken -- Theorie, Mechanisierung, Anwendungen (Christoph Benzmüller), Freie Universität Berlin, 2015. (kvv; webpage) (Winter 2014/15, 2+2 SWS, 5 ECTS)
2014
[26]Expressive Klassische und Nichtklassische Logiken und deren Automatisierung (Christoph Benzmüller), Freie Universität Berlin, 2014. (kvv; webpage) (Winter 2013/14, 2+2 SWS, 5 ECTS)
[25]Künstliche Intelligenz (Christoph Benzmüller, Raúl Rojas), Freie Universität Berlin, 2014. (kvv) (Summer 2014, block course, 2+2 SWS, 5 ECTS)
[24]Logik erster Stufe in Theorie und Praxis (Christoph Benzmüller), Freie Universität Berlin, 2014. (kvv; webpage) (Winter 2013/14, 2+2 SWS, 5 ECTS)
2013
[23]Technologien für Frage-Antwort-Systeme (Raúl Rojas, Christoph Benzmüller, Marco Block-Berlitz), Freie Universität Berlin, 2013. (kvv; webpage) (Winter 2012/13, 2 SWS, 4 ECTS)
[22]Logik erster Stufe -- Theorie und Praxis (Christoph Benzmüller), Freie Universität Berlin, 2013. (kvv; webpage) (Winter 2012/13, 2+2 SWS, 5 ECTS)
2008
[21]Working with Automated Reasoning Tools (Christoph Benzmüller, Geoff Sutcliffe), Saarland University, 2008. (webpage) (Block-Lecture September 2008, 2+2 SWS)
2007
[20](Invited lecture course) Semantics of Higher-Order Logic (Christoph Benzmüller), IT University Copenhagen, 2007. (slides) (Block-Lecture October 2007)
[19]Fortgeschrittenenpraktikum Deduktionssysteme (Serge Autexier, Christoph Benzmüller, Jörg Siekmann), Saarland University, 2007. (I held the Fortgeschrittenenpraktikum regularly 2004--2007)
[18]Oberseminar AG Siekmann (Serge Autexier, Christoph Benzmüller, Jörg Siekmann), Saarland University, 2007. (I held the Oberseminar regularly 2004--2007)
2006
[17]Semantics and Mechanization of Classical Higher-Order Logic (Christoph Benzmüller, Chad Brown), Saarland University, 2006. (Winter 2005/06, 4+2 SWS)
[16](Invited lecture course) Automated Theorem Proving in Higher-Order Logics (Christoph Benzmüller), Technical University Darmstadt, 2006. (slides) (Summer 2006, 3+2 SWS)
[15](Invited tutorial) Semantics of Higher-Order Logic (Christoph Benzmüller), ESSLLI Summer School in Logic, Language and Information, 2006. (slides) (Block-Lecture July/August 2006)
[14]Mathematical Assistant Systems Shootout (Serge Autexier, Christoph Benzmüller, Chad Brown), Saarland University, 2006. (Summer 2006)
2005
[13]Mathematical Assistant Systems Shootout (Serge Autexier, Christoph Benzmüller, Chad Brown, Armin Fiedler, Claus-Peter Wirth), Saarland University, 2005. (Summer 2005)
[12]Mathematical Assistance Systems (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Jörg Siekmann, Claus-Peter Wirth), Saarland University, 2005. (webpage) (Winter 2004/05, 4+2 SWS)
[11]Artificial Intelligence (Serge Autexier, Christoph Benzmüller, Chad Brown, Jörg Siekmann), Saarland University, 2005. (webpage) (Summer 2005, 4+2 SWS)
2004
[10]Human-Oriented Theorem Proving: Foundations and Applications (Christoph Benzmüller, Armin Fiedler, Claus-Peter Wirth), Saarland University, 2004. (Winter 2003/04, 4+2 SWS)
[9]Automated Theorem Proving in First-Order and Higher-Order Logic (Christoph Benzmüller), Saarland University, 2004. (webpage) (Summer 2004, 2+2 SWS)
2003
[8]Fortgeschrittenenpraktikum Deduktionssysteme (Christoph Benzmüller, Jörg Siekmann), Saarland University, 2003. (I held the Fortgeschrittenenpraktikum regularly 2001--2003)
[7]Oberseminar AG Siekmann (Christoph Benzmüller, Jörg Siekmann), Saarland University, 2003. (I held the course regularly 2001--2003)
[6]Artificial Intelligence (Christoph Benzmüller, Erica Melis, Jörg Siekmann), Saarland University, 2003. (Summer 2003, 4+2 SWS)
[5]Human-Oriented Theorem Proving: Foundations and Applications (Christoph Benzmüller, Armin Fiedler, Claus-Peter Wirth), Saarland University, 2003. (Summer 2003, 4+2 SWS)
2002
[4]Automated Theorem Proving in First-Order and Higher-Order Logic (Christoph Benzmüller), Saarland University, 2002. (Summer 2002, 2+2 SWS)
[3](Invited tutorial) From Natural Deduction Calculus to Sequent Calculus and back (Christoph Benzmüller), CALCULEMUS Autumn School in Pisa, 2002.
2001
[2]Künstliche Intelligenz (Christoph Benzmüller, Jörg Siekmann), Saarland University, 2001. (Summer 2001, 4+2 SWS)
1999
[1]Künstliche Intelligenz (Jörg Siekmann, Christoph Benzmüller), Saarland University, 1999. (Summer 1999, 4+2 SWS)
Powered by bibtexbrowser