var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=http%3A%2F%2Fpage.mi.fu-berlin.de%2Fcbenzmueller%2Fpapers%2Fteaching.bib&commas=true&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=http%3A%2F%2Fpage.mi.fu-berlin.de%2Fcbenzmueller%2Fpapers%2Fteaching.bib&commas=true&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=http%3A%2F%2Fpage.mi.fu-berlin.de%2Fcbenzmueller%2Fpapers%2Fteaching.bib&commas=true&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
  2. \n
  3. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
  4. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica.\n \n \n \n\n\n \n Kirchner, D., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2024.\n Summer 24, 2 SWS, 3 ECTS\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{Course81,\n  keywords =\t {teaching, lecture course},\n  author =\t {Daniel Kirchner and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica},\n  publisher =\t {University of Bamberg},\n  year =\t 2024,\n  note =\t {Summer 24, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://univis.uni-bamberg.de/form?dsc=anew/tlecture&tdir=fakult/diplom/lehrve/angewa/aisyst&anonymous=1&ref=tlecture&sem=2024s">VC</a>, joint with TU/FU Berlin},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-ETH: Ethics and Epistemology of AI.\n \n \n \n\n\n \n Ammon, S., Benzmüller, C., & Moser, R.\n\n\n \n\n\n\n University of Bamberg, 2024.\n Summer 24, 2+2 SWS, 6 ECTS\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{Course80,\n  keywords =\t {teaching, lecture course & project},\n  author =\t {Sabine Ammon and Christoph Benzm{\\"u}ller and Rahel Moser},\n  title =\t {AISE-ETH: Ethics and Epistemology of AI},\n  publisher =\t {University of Bamberg},\n  year =\t 2024,\n  note =\t {Summer 24, 2+2 SWS, 6 ECTS},\n  annote =       {<a href="https://univis.uni-bamberg.de/form?dsc=anew/tlecture&tdir=fakult/diplom/lehrve/angewa/aisyst&anonymous=1&ref=tlecture&sem=2024s">VC</a>, joint with TU/FU Berlin},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Auto: Automation Logical Reasoning.\n \n \n \n\n\n \n Benzmüller, C., & Fuenmayor, D.\n\n\n \n\n\n\n University of Bamberg, 2024.\n Summer 24, 2+2 SWS, 6 ECTS\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{Course79,\n  keywords =\t {teaching, lecture course & tutorial},\n  author =\t {Christoph Benzm{\\"u}ller and David Fuenmayor},\n  title =\t {AISE-Auto: Automation Logical Reasoning},\n  publisher =\t {University of Bamberg},\n  year =\t 2024,\n  note =\t {Summer 24, 2+2 SWS, 6 ECTS},\n  annote =       {<a href="https://univis.uni-bamberg.de/form?dsc=anew/tlecture&tdir=fakult/diplom/lehrve/angewa/aisyst&anonymous=1&ref=tlecture&sem=2024s">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Proj-B: Bachelorprojekt KI-Systementwicklung.\n \n \n \n\n\n \n Fuenmayor, D., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2024.\n Winter 2023/24, 2 SWS, 3 ECTS (6 ECTS in Philosophy)\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{Course77,\n  keywords =\t {teaching, seminar},\n  author =\t {David Fuenmayor and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung},\n  publisher =\t {University of Bamberg},\n  year =\t 2024,\n  note =\t {Winter 2023/24, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},\n  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42387352&show=llong">UnivIS</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Sem-B: Computational Philosophy.\n \n \n \n\n\n \n Vestrucci, A., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2024.\n Winter 2023/24, 2 SWS, 3 ECTS (6 ECTS in Philosophy)\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{Course76,\n  keywords =\t {teaching, seminar},\n  author =\t {Andrea Vestrucci and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Sem-B: Computational Philosophy},\n  publisher =\t {University of Bamberg},\n  year =\t 2024,\n  note =\t {Winter 2023/24, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},\n  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42330852&show=llong">UnivIS</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-UL: Universelle Logik & Universelles Schließen.\n \n \n \n\n\n \n Benzmüller, C., & Fuenmayor, D.\n\n\n \n\n\n\n University of Bamberg, 2024.\n Winter 2023/24, 2+2 SWS, 6 ECTS (3 ECTS as seminar in Philosophy)\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{Course75,\n  keywords =\t {teaching, lecture course & tutorial},\n  author =\t {Christoph Benzm{\\"u}ller and David Fuenmayor},\n  title =\t {AISE-UL: Universelle Logik \\& Universelles Schlie{\\ss}en},\n  publisher =\t {University of Bamberg},\n  year =\t 2024,\n  note =\t {Winter 2023/24, 2+2 SWS, 6 ECTS (3 ECTS as seminar in Philosophy)},\n  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42379977&show=llong">UnivIS</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2024.\n Winter 2023/24, 2 SWS, 3 ECTS\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{Course74,\n  keywords =\t {teaching, seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung},\n  publisher =\t {University of Bamberg},\n  year =\t 2024,\n  note =\t {Winter 2023/24, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://univis.uni-bamberg.de/prg?search=lectures&department=070107&id=42361231&show=llong">UnivIS</a>},\n}\n\n\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2023\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n AISE-Proj-Prak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science).\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 2024, 6 SWS, 15 ECTS\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{Course78,\n  keywords =\t {teaching, project practicum},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Proj-Prak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 2024, 6 SWS, 15 ECTS},\n  annote =       {<a href="https://univis.uni-bamberg.de/form?dsc=anew/tlecture&tdir=fakult/diplom/lehrve/angewa/aisyst&anonymous=1&ref=tlecture&sem=2024s">UnivIS</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI & Ethics.\n \n \n \n\n\n \n Benzmüller, C., & Vestrucci, A.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 2023, 6 SWS, 15 ECTS\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{Course73,\n  keywords =\t {teaching, project practicum},\n  author =\t {Christoph Benzm{\\"u}ller and Andrea Vestrucci},\n  title =\t {AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI \\& Ethics},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 2023, 6 SWS, 15 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61177">VC</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science).\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 2023, 6 SWS, 15 ECTS\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{Course72,\n  keywords =\t {teaching, project practicum},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 2023, 6 SWS, 15 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61175">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 2023, 2 SWS, 3 ECTS\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{Course71,\n  keywords =\t {teaching, seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 2023, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61179">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the Working Logician.\n \n \n \n\n\n \n Fuenmayor, D., Kirchner, D., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 23, 2 SWS, 3 ECTS\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{Course70,\n  keywords =\t {teaching, bachelor project},\n  author =\t {David Fuenmayor and Daniel Kirchner and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the Working Logician},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 23, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Sem-B: Isabelle for the Working Logician.\n \n \n \n\n\n \n Fuenmayor, D., Kirchner, D., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 23, 2 SWS, 3 ECTS\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{Course69,\n  keywords =\t {teaching, bachelor seminar},\n  author =\t {David Fuenmayor and Daniel Kirchner and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Sem-B: Isabelle for the Working Logician},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 23, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica.\n \n \n \n\n\n \n Zalta, E., Kirchner, D., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 23, 2 SWS, 3 ECTS\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{Course68,\n  keywords =\t {teaching, lecture course},\n  author =\t {Edward Zalta and Daniel Kirchner and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-PLM: Computational Metaphysics - Mechanizing Principia Logico-Metaphysica},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 23, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61169">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-ETH: Ethics and Epistemology of AI.\n \n \n \n\n\n \n Ammon, S., Benzmüller, C., Moser, R., Martin, R., & Solopova, V.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 23, 2+2 SWS, 6 ECTS\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{Course67,\n  keywords =\t {teaching, lecture course & project},\n  author =\t {Sabine Ammon and Christoph Benzm{\\"u}ller and Rahel Moser and Rosae Martin and Veronica Solopova},\n  title =\t {AISE-ETH: Ethics and Epistemology of AI},\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 23, 2+2 SWS, 6 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61168">VC</a>, joint with TU/FU Berlin},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Auto: Automation of First- and Higher-Order Logic .\n \n \n \n\n\n \n Benzmüller, C., & Fuenmayor, D.\n\n\n \n\n\n\n University of Bamberg, 2023.\n Summer 23, 2+2 SWS, 6 ECTS\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{Course66,\n  keywords =\t {teaching, lecture course & tutorial},\n  author =\t {Christoph Benzm{\\"u}ller and David Fuenmayor},\n  title =\t {AISE-Auto: Automation of First- and Higher-Order Logic },\n  publisher =\t {University of Bamberg},\n  year =\t 2023,\n  note =\t {Summer 23, 2+2 SWS, 6 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=61172">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science).\n \n \n \n\n\n \n Benzmüller, C., Fuenmayor, D., Vestrucci, A., & Martin, R.\n\n\n \n\n\n\n University of Bamberg, 2022.\n Winter 2022/23, 4 SWS, 6 ECTS\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{Course65,\n  keywords =\t {teaching, project practicum},\n  author =\t {Christoph Benzm{\\"u}ller and David Fuenmayor and Andrea Vestrucci and Rosae Martin},\n  title =\t {AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science)},\n  publisher =\t {University of Bamberg},\n  year =\t 2022,\n  note =\t {Winter 2022/23, 4 SWS, 6 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=58092">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Proj-B: Bachelorprojekt KI-Systementwicklung.\n \n \n \n\n\n \n Aleksandrov, M., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2022.\n Winter 2022/23, 2 SWS, 3 ECTS (6 ECTS in Philosophy)\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{Course64,\n  keywords =\t {teaching, seminar},\n  author =\t {Martin Aleksandrov and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Proj-B: Bachelorprojekt KI-Systementwicklung},\n  publisher =\t {University of Bamberg},\n  year =\t 2022,\n  note =\t {Winter 2022/23, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57731">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Sem-B: Computational Philosophy.\n \n \n \n\n\n \n Vestrucci, A., & Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2022.\n Winter 2022/23, 2 SWS, 3 ECTS (6 ECTS in Philosophy)\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{Course63,\n  keywords =\t {teaching, seminar},\n  author =\t {Andrea Vestrucci and Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Sem-B: Computational Philosophy},\n  publisher =\t {University of Bamberg},\n  year =\t 2022,\n  note =\t {Winter 2022/23, 2 SWS, 3 ECTS (6 ECTS in Philosophy)},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57732">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-UL: Universelle Logik & Universelles Schließen.\n \n \n \n\n\n \n Benzmüller, C., & Fuenmayor, D.\n\n\n \n\n\n\n University of Bamberg, 2022.\n Winter 2022/23, 2+2 SWS, 6 ECTS (3 ECTS as seminar in Philosophy)\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{Course62,\n  keywords =\t {teaching, lecture course & tutorial},\n  author =\t {Christoph Benzm{\\"u}ller and David Fuenmayor},\n  title =\t {AISE-UL: Universelle Logik \\& Universelles Schließen},\n  publisher =\t {University of Bamberg},\n  year =\t 2022,\n  note =\t {Winter 2022/23, 2+2 SWS, 6 ECTS (3 ECTS as seminar in Philosophy)},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57735">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2022.\n Winter 2022/23, 2 SWS, 3 ECTS\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{Course61,\n  keywords =\t {teaching, seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {AISE-Sem-M: Masterseminar/Oberseminar zu KI-Systementwicklung},\n  publisher =\t {University of Bamberg},\n  year =\t 2022,\n  note =\t {Winter 2022/23, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=57733">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Goethe-Institut Summer School on AI & Ethics at U Bamberg.\n \n \n \n\n\n \n Benzmüller, C., Schmid, U., Stang, A., & Kastner, S.\n\n\n \n\n\n\n University of Bamberg and Goethe Institut e.V. München, 2022.\n Block course, Autumn 2022, 2 SWS, 3 ECTS\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{CourseSpecial2,\n  keywords =\t {teaching, seminar},\n  author =\t {Christoph Benzm{\\"u}ller and Ute Schmid and Alexandra Stang and Stephanie Kastner},\n  title =\t {Goethe-Institut Summer School on AI & Ethics at U Bamberg},\n  publisher =\t {University of Bamberg and Goethe Institut e.V. M{\\"u}nchen},\n  year =\t 2022,\n  note =\t {Block course, Autumn 2022, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://www.uni-bamberg.de/en/wiai/news/artikel/goethe-institute-summer-school-2022-on-ai-ethics/">report</a>, <a href="https://www.goethe.de/prj/wmd/en/summer-school-2022.html">website</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Blockseminar AISE: Automated Theorem Proving and the TPTP.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg and University of Luxembourg and University of Greifswald, 2022.\n Seminar, Summer 2022, 2 SWS, 3 ECTS\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{Course60,\n  keywords =\t {teaching, seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Blockseminar AISE: Automated Theorem Proving and the TPTP},\n  publisher =\t {University of Bamberg and University of Luxembourg and University of Greifswald},\n  year =\t 2022,\n  note =\t {Seminar, Summer 2022, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=54718">VC</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Oberseminar AI Systems Engineering.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n University of Bamberg, 2022.\n Summer 2022, 2 SWS, 3 ECTS\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{Course59,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Oberseminar AI Systems Engineering},\n  publisher =\t {University of Bamberg},\n  year =\t 2022,\n  note =\t {Summer 2022, 2 SWS, 3 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=54720">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Ethics and Epistemology of AI.\n \n \n \n\n\n \n Ammon, S., Benzmüller, C., Moser, R., Aleksandrov, M., Martin, R., & Solopova, V.\n\n\n \n\n\n\n University of Bamberg and TU Berlin, 2022.\n Summer 2022, 2+2 SWS, 6 ECTS\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{Course58,\n  keywords =\t {teaching, lecture course & projects},\n  author =\t {Sabine Ammon and Christoph Benzm{\\"u}ller and Rahel Moser and Martin Aleksandrov and Rosae Martin and Veronica Solopova},\n  title =\t {Ethics and Epistemology of AI},\n  publisher =\t {University of Bamberg and TU Berlin},\n  year =\t 2022,\n  note =\t {Summer 2022, 2+2 SWS, 6 ECTS},\n  annote =       {<a href="https://vc.uni-bamberg.de/course/view.php?id=54756">VC</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Ethical Foundations of AI (Ethics of AI).\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin (with Sabina Ammon, Jessica Jesus de Pinho Pinhal, TU Berlin), 2021.\n Lecture course, Summer 2021, 4 SWS\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{Course57,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Ethical Foundations of AI (Ethics of AI)},\n  publisher =\t {Freie Universit{\\"a}t Berlin (with Sabina Ammon, Jessica Jesus de Pinho Pinhal, TU Berlin)},\n  year =\t 2021,\n  note =\t {Lecture course, Summer 2021, 4 SWS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/7f486b47-9a16-4559-bce4-d385ab35e21b\n" target="_blank">mycampus</a>; <a href="https://www.fu-berlin.de/vv/de/lv/665687?m=199259&pc=130142&sm=606239">kvv</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Universal Logical Reasoning.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Zhejiang University, Hangzhou, China, 2020.\n Invited Lecture Course (Part of course on Logic in AI)\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{Course56,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Universal Logical Reasoning},\n  publisher =\t {Zhejiang University, Hangzhou, China},\n  year =\t 2020,\n  note =\t {Invited Lecture Course (Part of course on Logic in AI)},\n  annote =       {<a href="https://www.xixilogic.org/events/2020/08/course-logic-in-ai/" target="_blank">Course website</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Ethical and Legal Challenges in AI and Data Science.\n \n \n \n\n\n \n Benzmüller, C., & Lomfeld, B.\n\n\n \n\n\n\n Freie Universität Berlin, 2020.\n Practice seminar, Summer 2020 (block course in autumn), 14.-25. Sep, 4 SWS\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{Course55,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller and  Bertram Lomfeld},\n  title =\t {Ethical and Legal Challenges in AI and Data Science},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2020,\n  note =\t {Practice seminar, Summer 2020 (block course in autumn), 14.-25. Sep, 4 SWS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/4e732ee4-5f15-4065-8bb1-471dafd573e4" target="_blank">mycampus</a>; <a href="https://cbenzmueller.github.io/teaching/2020-EthLegChall/index.pdf">flyer</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n AI Ethics.\n \n \n \n\n\n \n Benzmüller, C., Lomfeld, B., & Rohmeier, M.\n\n\n \n\n\n\n EPFL Lausanne, 2020.\n Block course, Summer 2020, Feb 4-5\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{CourseSpecial1,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller and  Bertram Lomfeld and Martin Rohmeier},\n  title =\t {AI Ethics},\n  publisher =\t {EPFL Lausanne},\n  year =\t 2020,\n  note =\t {Block course, Summer 2020, Feb 4-5},\n  annote =       {<a href="https://www.epfl.ch/labs/dcml/wp-content/uploads/2020/01/EPFL-FU-DHWS-poster.pdf">flyer</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n The Mind and the Future of AI.\n \n \n \n\n\n \n Benzmüller, C., & Alsabah, N.\n\n\n \n\n\n\n Freie Universität Berlin, 2020.\n Seminar, Summer 2020, 2 SWS\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{Course54,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller and  Nabil Alsabah},\n  title =\t {The Mind and the Future of AI},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2020,\n  note =\t {Seminar, Summer 2020, 2 SWS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/3d8aadfc-329d-47bb-bd99-91754ab903f5/" target="_blank">mycampus</a>; <a href="https://mycampus.imp.fu-berlin.de/evento/vv/course/597169">kvv</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Normative Reasoning and Machine Ethics.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2019.\n Seminar, Winter 2019/20, 2 SWS\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{Course53,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Normative Reasoning and Machine Ethics},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2019,\n  note =\t {Seminar, Winter 2019/20, 2 SWS},\n  annote =       {<a href="https://cbenzmueller.github.io/teaching/2020-Seminar/" target="_blank">website</a>; <a href="https://kvv.imp.fu-berlin.de/evento/vv/course/546790" target="_blank">kvv</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Künstliche Intelligenz (autumn block course).\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2019.\n Autumn 2019, 2+2 SWS, 5 ECTS\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{Course52,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {K{\\"u}nstliche Intelligenz (autumn block course)},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2019,\n  note =\t {Autumn 2019, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/d8aff32c-45eb-4e4a-a4e0-23224792700a" target="_blank">mycampus</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Benzmüller, C., & Schommer, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2019.\n Summer 2019, 2+2 SWS, 5 ECTS\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{Course51,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Schommer, Christoph},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2019,\n  note =\t {Summer 2019, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/3e65b04b-66a5-4044-ab0f-348b6af02dde" target="_blank">mycampus</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Kurt Gödel: Philosophical Views.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2019.\n Seminar, Winter 2018/19, 2 SWS\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{Course50,\n  keywords =\t {teaching,seminar},\n  Author =\t {Christoph Benzm{\\"u}ller},\n  Publisher =\t {Freie Universit{\\"a}t Berlin},\n  Title =\t {Kurt G{\\"o}del: Philosophical Views},\n    note =\t {Seminar, Winter 2018/19, 2 SWS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/8dde2528-2d41-43b7-8aec-8e41cfcb1824" target="_blank">mycampus</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2019-Goedel/">website</a>},\n  Year =\t 2019,\n}\n\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Universal Logical Reasoning.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2019.\n Winter 2018/19, 2+2 SWS, 5 ECTS\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{Course49,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Universal Logical Reasoning},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2019,\n  note =\t {Winter 2018/19, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/0a37b77f-e00a-4e9b-bf4e-d917e91b9d31" target="_blank">mycampus</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2018-UniversalLogicalReasoning/">website</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Softwareprojekt: Logik-Software.\n \n \n \n\n\n \n Gleissner, T., & Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2019.\n Softwareprojekt, Winter 2018/19, 2 SWS\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{Course48,\n  keywords =\t {teaching,software project},\n  author =\t {Tobias Gleissner and Christoph Benzm{\\"u}ller},\n  title =\t {Softwareprojekt: Logik-Software},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2019,\n  note =\t {Softwareprojekt, Winter 2018/19, 2 SWS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/f82bd478-e4e5-43c1-99af-9d8fe9281525" target="_blank">mycampus</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Benzmüller, C., & Schommer, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2018.\n Summer 2018, 2+2 SWS, 5 ECTS\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{Course47,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Christoph Schommer},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2018,\n  note =\t {Summer 2018, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/77882b68-ea5e-4414-b793-79c3baab65ca">kvv</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n From computational metaphysics towards computational pseudo-ethics.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Bath IMI Thematic Semester (U Bath, UK): Algorithms, Accountability and Ethics in Machine Learning, 2018.\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{Course46,\n  keywords =\t {teaching,lecture course},\n  Author =\t {Christoph Benzm{\\"u}ller},\n  Publisher =\t {Bath IMI Thematic Semester (U Bath, UK): Algorithms, Accountability and Ethics in Machine Learning},\n  Title =\t {From computational metaphysics towards computational pseudo-ethics},\n  Year =\t 2018,\n}\n\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n WYSIWYG-Editor for Higher Order Logic (Projektseminar).\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2017.\n Summer 2017, 2 SWS\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{Course45,\n  keywords =\t {teaching,seminar},\n  Author =\t {Christoph Benzm{\\"u}ller},\n  Publisher =\t {Freie Universit{\\"a}t Berlin},\n  Title =\t {WYSIWYG-Editor for Higher Order Logic (Projektseminar)},\n  Note =\t {Summer 2017, 2 SWS},\n  annote =       {<a href="https://mycampus.imp.fu-berlin.de/portal/site/c8964c4f-ce8c-42f6-8fea-c67adc2f56ad" target="_blank">mycampus</a>},\n  Year =\t 2017,\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n (Invited Tutorial) Automated Reasoning in Higher-order and Non-classical Logics.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil, 2017.\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{Course44,\n  keywords =\t {teaching,lecture course},\n  Author =\t {Christoph Benzm{\\"u}ller},\n  Publisher =\t {Pontif{\\'i}cia Universidade Cat{\\'o}lica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil},\n  Title =\t {{(Invited Tutorial)} Automated Reasoning in Higher-order and Non-classical Logics},\n  annote =       {<a href="http://christoph-benzmueller.de/papers/2017-PUCRS-Tutorial.zip">zip-file</a>},\n  Year =\t 2017\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n (Invited Tutorial) Tutorial on Universal Logic Theorem Proving in HOL.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n ILIAS group, University of Luxembourg, 2017.\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{Course42,\n  Author =\t {Christoph Benzm{\\"u}ller},\n  keywords =\t {teaching,lecture course. May},\n  Author =\t {Christoph Benzm{\\"u}ller},\n  Publisher =\t {ILIAS group, University of Luxembourg},\n  Title =\t {{(Invited Tutorial)} Tutorial on Universal Logic Theorem Proving in HOL},\n  annote =       {<a href="http://christoph-benzmueller.de/papers/2017-Luxemburg-Tutorial-May.zip">zip-file</a>},\n  Year =\t 2017\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n KI-gestützte Pflege einer internationalen Schuldatenbank.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2017.\n Softwareprojekt, Winter 2017/18, 2 SWS\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{Course39,\n  keywords =\t {teaching,software project},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {KI-gestützte Pflege einer internationalen Schuldatenbank},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2017,\n  note =\t {Softwareprojekt, Winter 2017/18, 2 SWS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/441121?m=160019&pc=63783&sm=344910">kvv</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Intelligente Lehr- und Lernsysteme.\n \n \n \n\n\n \n Benzmüller, C., & Ullrich, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2017.\n Pro-/Seminar, Winter 2017/18, 2+2 SWS, 5 ECTS\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{Course38,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller and Carsten Ullrich},\n  title =\t {Intelligente Lehr- und Lernsysteme},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2017,\n  note =\t {Pro-/Seminar, Winter 2017/18, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/402852?query=benzmüller&sm=344910">kvv</a>, <a href="http://christoph-benzmueller.de/papers/2017-2018_LehrUndLernsysteme_AusarbeitungenUndFolien.zip">Slides and Reports</a>},\n  Year =\t 2017\n  }\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Benzmüller, C., & Rojas, R.\n\n\n \n\n\n\n Freie Universität Berlin, 2017.\n Summer 2017, 2+2 SWS, 5 ECTS\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{Course37,\n  keywords = {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Raul Rojas},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2017,\n  note =\t {Summer 2017, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/353801?m=160089&pc=63783&sm=314889">kvv</a>},\n}\n\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n (Invited Tutorial) Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Second Global Conference on Artificial Intelligence (GCAI), Berlin, 2016.\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{Course41,\n  Author =\t {Christoph Benzm{\\"u}ller},\n  keywords =\t {teaching,lecture course. September},\n  Author =\t {Christoph Benzm{\\"u}ller},\n  Publisher =\t {Second Global Conference on Artificial Intelligence (GCAI), Berlin},\n  Title =\t {(Invited Tutorial) Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.},\n  annote =\t {<a href="http://christoph-benzmueller.de/2016-GCAI/tutorial.pdf">course material</a>},\n  Year =\t 2016\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n (Invited tutorial) A Universal Logic Theorem Proving Approach.\n \n \n \n\n\n \n February, C. B.\n\n\n \n\n\n\n Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA, 2016.\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{Course40,\n  Author =\t {Christoph Benzm{\\"u}ller. February},\n  keywords =\t {teaching,lecture course},\n  annote =       {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},\n  Publisher =\t {Berkeley-Stanford Circle in Logic and Philosophy, San Francisco, USA},\n  Title =\t {(Invited tutorial) A Universal Logic Theorem Proving Approach},\n  Year =\t 2016\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Benzmüller, C., & Rojas, R.\n\n\n \n\n\n\n Freie Universität Berlin, 2016.\n Summer 2016, 2+2 SWS, 5 ECTS\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{Course35,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Ra\\'{u}l Rojas},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2016,\n  note =\t {Summer 2016, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/270628?query=rojas&sm=231509">kvv</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n (Central teaching award of FU Berlin) Computational Metaphysics.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2016.\n Summer 2016, 2+2 SWS, 5 ECTS. April–July\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{Course34,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {(Central teaching award of FU Berlin) Computational Metaphysics},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  note =\t {Summer 2016, 2+2 SWS, 5 ECTS. April--July},\n  year =\t 2016,\n  annote =\t {<a href="http://www.inf.fu-berlin.de/users/lex/lehre/compmeta/">course website</a>}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n (Invited lecture course) Computational Metaphysics.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Thematic trimester 'Current Issues in the Philosophy of Practice of Mathematics & Informatics', Centre International de Mathématiques et d'Informatique de Toulouse (CIMI), France. June, 2016.\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{Course33,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {(Invited lecture course) Computational Metaphysics},\n  publisher =\t {Thematic trimester 'Current Issues in the Philosophy of Practice of Mathematics \\& Informatics', Centre International de Math\\'ematiques et d'Informatique de Toulouse (CIMI), France. June},\n  year =\t 2016,\n  annote =\t {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n (Invited lecture course) Higher-Order Modal Logics: Automation and Applications.\n \n \n \n\n\n \n Benzmüller, C., & Woltzenlogel Paleo, B.\n\n\n \n\n\n\n Logic Summer School, ANU Canberra, Australia. in December, 2015.\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{Course32,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Woltzenlogel Paleo, Bruno},\n  title =\t {(Invited lecture course) Higher-Order Modal Logics: Automation and Applications},\n  publisher =\t {Logic Summer School, ANU Canberra, Australia. in December},\n  year =\t 2015,\n  annote =\t {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchool.pdf">slides</a>, <a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-ANU-LogicSummerSchoolDemoExamples.zip">some-demo-files</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n (Invited tutorial) Higher-Order Modal Logics: Automation and Applications.\n \n \n \n\n\n \n Benzmüller, C., & Woltzenlogel Paleo, B.\n\n\n \n\n\n\n Reasoning Web Summer School, 2015.\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{Course31,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Woltzenlogel Paleo, Bruno},\n  title =\t {(Invited tutorial) Higher-Order Modal Logics: Automation and Applications},\n  publisher =\t {Reasoning Web Summer School},\n  year =\t 2015,\n  annote =\t {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Logik.\n \n \n \n\n\n \n Benzmüller, C., Steen, A., & Wisnieswki, M.\n\n\n \n\n\n\n Freie Universität Berlin, 2015.\n Summer 2015, Proseminar, 2 SWS, 5 ECTS\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{Course30,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller and A. Steen and M. Wisnieswki},\n  title =\t {Logik},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2015,\n  note =\t {Summer 2015, Proseminar, 2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.inf.fu-berlin.de/users/lex/lehre/prosemlogikSS15/">course website</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Benzmüller, C., & Rojas, R.\n\n\n \n\n\n\n Freie Universität Berlin, 2015.\n Summer 2015, 2+2 SWS, 5 ECTS\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{Course29,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Ra\\'{u}l Rojas},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2015,\n  note =\t {Summer 2015, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/143922?query=Benzmüller&sm=119983">kvv</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Entwicklung eines netzbasierten Editors zur Generierung von PDF-Dokumenten.\n \n \n \n\n\n \n Benzmüller, C., Podlech, P., Steen, A., & Wisnieswki, M.\n\n\n \n\n\n\n Freie Universität Berlin, 2015.\n Winter 2014/2015, Softwareprojekt, 2 SWS\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{Course28,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and P. Podlech and A. Steen and M. Wisnieswki},\n  title =\t {Entwicklung eines netzbasierten Editors zur Generierung von PDF-Dokumenten},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t {2015},\n  note =\t {Winter 2014/2015, Softwareprojekt, 2 SWS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/204479?m=224801&pc=196394&sm=129212">kvv</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Expressive Logiken – Theorie, Mechanisierung, Anwendungen.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2015.\n Winter 2014/15, 2+2 SWS, 5 ECTS\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{Course27,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Expressive Logiken -- Theorie, Mechanisierung, Anwendungen},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t {2015},\n  note =\t {Winter 2014/15, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/200103?query=Benzmüller&sm=129212">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2014-EL/">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Benzmüller, C., & Rojas, R.\n\n\n \n\n\n\n Freie Universität Berlin, 2014.\n Summer 2014, block course, 2+2 SWS, 5 ECTS\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{Course26,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Ra\\'{u}l Rojas},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t 2014,\n  note =\t {Summer 2014, block course, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/143922?query=Benzmüller&sm=119983">kvv</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Logik erster Stufe in Theorie und Praxis.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2014.\n Winter 2013/14, 2+2 SWS, 5 ECTS\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{Course2,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Logik erster Stufe in Theorie und Praxis},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t {2014},\n  note =\t {Winter 2013/14, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/117363?query=19619&sm=69108">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2013-FOL/">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Expressive Klassische und Nichtklassische Logiken und deren Automatisierung .\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2014.\n Winter 2013/14, 2+2 SWS, 5 ECTS\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{Course3,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Expressive Klassische und Nichtklassische Logiken und deren Automatisierung },\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t {2014},\n  note =\t {Winter 2013/14, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="http://www.fu-berlin.de/vv/de/lv/121691?query=Benzmuller&sm=69108">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2013-ExLog/">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Logik erster Stufe – Theorie und Praxis.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Freie Universität Berlin, 2013.\n Winter 2012/13, 2+2 SWS, 5 ECTS\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{Course1,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Logik erster Stufe -- Theorie und Praxis},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t {2013},\n  note =\t {Winter 2012/13, 2+2 SWS, 5 ECTS},\n  annote =       {<a href="https://www.mi.fu-berlin.de/kvv/course.htm?cid=10691&sid=26">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2012-FOL/">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Technologien für Frage-Antwort-Systeme.\n \n \n \n\n\n \n Rojas, R., Benzmüller, C., & Block-Berlitz, M.\n\n\n \n\n\n\n Freie Universität Berlin, 2013.\n Winter 2012/13, 2 SWS, 4 ECTS\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{Course4,\n  keywords =\t {teaching,seminar},\n  author =\t {Ra\\'{u}l Rojas and Christoph Benzm{\\"u}ller and Marco Block-Berlitz},\n  title =\t {Technologien f{\\"u}r Frage-Antwort-Systeme},\n  publisher =\t {Freie Universit{\\"a}t Berlin},\n  year =\t {2013},\n  note =\t {Winter 2012/13, 2 SWS, 4 ECTS},\n  annote =       {<a href="https://www.mi.fu-berlin.de/kvv/course.htm?cid=10888&sid=26&iid=1">kvv</a>; <a href="http://page.mi.fu-berlin.de/cbenzmueller/2012-Watson/">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2008\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Working with Automated Reasoning Tools.\n \n \n \n\n\n \n Benzmüller, C., & Sutcliffe, G.\n\n\n \n\n\n\n Saarland University, 2008.\n Block-Lecture September 2008, 2+2 SWS\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{Course5,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Geoff Sutcliffe},\n  title =\t {Working with Automated Reasoning Tools},\n  publisher =\t {Saarland University},\n  year =\t 2008,\n  note =\t {Block-Lecture September 2008, 2+2 SWS},\n  annote =       {<a href="http://www.cs.miami.edu/~geoff/Courses/TPTPSYS/">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2007\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n (Invited lecture course) Semantics of Higher-Order Logic.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n IT University Copenhagen, 2007.\n Block-Lecture October 2007\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{Course6,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {(Invited lecture course) Semantics of Higher-Order Logic},\n  publisher =\t {IT University Copenhagen},\n  year =\t 2007,\n  note =\t {Block-Lecture October 2007},\n  annote =       {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2007-Copenhagen-lectures.pdf">slides</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Oberseminar AG Siekmann.\n \n \n \n\n\n \n Autexier, S., Benzmüller, C., & Siekmann, J.\n\n\n \n\n\n\n Saarland University, 2007.\n I held the Oberseminar regularly 2004–2007\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{Course19,\n  keywords =\t {teaching,seminar},\n  author =\t {Serge Autexier and Christoph Benzm{\\"u}ller and J{\\"o}rg Siekmann},\n  title =\t {Oberseminar AG Siekmann},\n  publisher =\t {Saarland University},\n  year =         {2007},\n  note =\t {I held the Oberseminar regularly 2004--2007},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Fortgeschrittenenpraktikum Deduktionssysteme.\n \n \n \n\n\n \n Autexier, S., Benzmüller, C., & Siekmann, J.\n\n\n \n\n\n\n Saarland University, 2007.\n I held the Fortgeschrittenenpraktikum regularly 2004–2007\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{Course21,\n  keywords =\t {teaching,seminar},\n  author =\t {Serge Autexier and Christoph Benzm{\\"u}ller and J{\\"o}rg Siekmann},\n  title =\t {Fortgeschrittenenpraktikum Deduktionssysteme},\n  publisher =\t {Saarland University},\n  year =         {2007},\n  note =\t {I held the Fortgeschrittenenpraktikum  regularly  2004--2007},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2006\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n (Invited tutorial) Semantics of Higher-Order Logic.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n ESSLLI Summer School in Logic, Language and Information, 2006.\n Block-Lecture July/August 2006\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{Course7,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {(Invited tutorial) Semantics of Higher-Order Logic},\n  publisher =\t {ESSLLI Summer School in Logic, Language and Information},\n  year =\t 2006,\n  note =\t {Block-Lecture July/August 2006},\n  annote =       {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2006-ESSLLI.pdf">slides</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n (Invited lecture course) Automated Theorem Proving in Higher-Order Logics.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Technical University Darmstadt, 2006.\n Summer 2006, 3+2 SWS\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{Course8,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {(Invited lecture course) Automated Theorem Proving in Higher-Order Logics},\n  publisher =\t {Technical University Darmstadt},\n  year =\t 2006,\n  note =\t {Summer 2006, 3+2 SWS},\n  annote =       {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2006-ATPHOL.pdf">slides</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Semantics and Mechanization of Classical Higher-Order Logic.\n \n \n \n\n\n \n Benzmüller, C., & Brown, C.\n\n\n \n\n\n\n Saarland University, 2006.\n Winter 2005/06, 4+2 SWS\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{Course9,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Chad Brown},\n  title =\t {Semantics and Mechanization of Classical Higher-Order Logic},\n  publisher =\t {Saarland University},\n  year =\t {2006},\n  note =\t {Winter 2005/06, 4+2 SWS},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Mathematical Assistant Systems Shootout.\n \n \n \n\n\n \n Autexier, S., Benzmüller, C., & Brown, C.\n\n\n \n\n\n\n Saarland University, 2006.\n Summer 2006\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{Course16,\n  keywords =\t {teaching,seminar},\n  author =\t {Serge Autexier and Christoph Benzm{\\"u}ller and Chad Brown},\n  title =\t {Mathematical Assistant Systems Shootout},\n  publisher =\t {Saarland University},\n  year =\t 2006,\n  note =\t {Summer 2006},\n}\n\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2005\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Artificial Intelligence.\n \n \n \n\n\n \n Autexier, S., Benzmüller, C., Brown, C., & Siekmann, J.\n\n\n \n\n\n\n Saarland University, 2005.\n Summer 2005, 4+2 SWS\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{Course10,\n  keywords =\t {teaching,lecture course},\n  author =\t {Serge Autexier and Christoph Benzm{\\"u}ller and Chad Brown and J{\\"o}rg Siekmann},\n  title =\t {Artificial Intelligence},\n  publisher =\t {Saarland University},\n  year =\t 2005,\n  note =\t {Summer 2005, 4+2 SWS},\n  annote =       {<a href="http://www.ags.uni-sb.de/~omega/teach/KI05/index.php">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Mathematical Assistance Systems.\n \n \n \n\n\n \n Autexier, S., Benzmüller, C., Fiedler, A., Siekmann, J., & Wirth, C.\n\n\n \n\n\n\n Saarland University, 2005.\n Winter 2004/05, 4+2 SWS\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{Course11,\n  keywords =\t {teaching,lecture course},\n  author =\t {Serge Autexier and Christoph Benzm{\\"u}ller and Armin Fiedler and J{\\"o}rg Siekmann and Claus-Peter Wirth},\n  title =\t {Mathematical Assistance Systems},\n  publisher =\t {Saarland University},\n  year =\t {2005},\n  note =\t {Winter 2004/05, 4+2 SWS},\n  annote =       {<a href="http://www.ags.uni-sb.de/~omega/teach/MAS0405/index.php">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Mathematical Assistant Systems Shootout.\n \n \n \n\n\n \n Autexier, S., Benzmüller, C., Brown, C., Fiedler, A., & Wirth, C.\n\n\n \n\n\n\n Saarland University, 2005.\n Summer 2005\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{Course17,\n  keywords =\t {teaching,seminar},\n  author =\t {Serge Autexier and Christoph Benzm{\\"u}ller and Chad Brown and Armin Fiedler and Claus-Peter Wirth},\n  title =\t {Mathematical Assistant Systems Shootout},\n  publisher =\t {Saarland University},\n  year =\t 2005,\n  note =\t {Summer 2005},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2004\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Automated Theorem Proving in First-Order and Higher-Order Logic.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Saarland University, 2004.\n Summer 2004, 2+2 SWS\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{Course12,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Automated Theorem Proving in First-Order and Higher-Order Logic},\n  publisher =\t {Saarland University},\n  year =\t 2004,\n  note =\t {Summer 2004, 2+2 SWS},\n  annote =       {<a href="http://page.mi.fu-berlin.de/cbenzmueller/lectures/fol-hol-tp/index.html">webpage</a>},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Human-Oriented Theorem Proving: Foundations and Applications.\n \n \n \n\n\n \n Benzmüller, C., Fiedler, A., & Wirth, C.\n\n\n \n\n\n\n Saarland University, 2004.\n Winter 2003/04, 4+2 SWS\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{Course13,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Armin Fiedler and Claus-Peter Wirth},\n  title =\t {Human-Oriented Theorem Proving: Foundations and Applications},\n  publisher =\t {Saarland University},\n  year =\t {2004},\n  note =\t {Winter 2003/04, 4+2 SWS},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2003\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Human-Oriented Theorem Proving: Foundations and Applications.\n \n \n \n\n\n \n Benzmüller, C., Fiedler, A., & Wirth, C.\n\n\n \n\n\n\n Saarland University, 2003.\n Summer 2003, 4+2 SWS\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{Course14,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Armin Fiedler and Claus-Peter Wirth},\n  title =\t {Human-Oriented Theorem Proving: Foundations and Applications},\n  publisher =\t {Saarland University},\n  year =\t 2003,\n  note =\t {Summer 2003, 4+2 SWS},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Artificial Intelligence.\n \n \n \n\n\n \n Benzmüller, C., Melis, E., & Siekmann, J.\n\n\n \n\n\n\n Saarland University, 2003.\n Summer 2003, 4+2 SWS\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{Course15,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and Erica Melis and J{\\"o}rg Siekmann},\n  title =\t {Artificial Intelligence},\n  publisher =\t {Saarland University},\n  year =\t 2003,\n  note =\t {Summer 2003, 4+2 SWS},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Oberseminar AG Siekmann.\n \n \n \n\n\n \n Benzmüller, C., & Siekmann, J.\n\n\n \n\n\n\n Saarland University, 2003.\n I held the course regularly 2001–2003\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{Course18,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller and J{\\"o}rg Siekmann},\n  title =\t {Oberseminar AG Siekmann},\n  publisher =\t {Saarland University},\n  year =         {2003},\n  note =\t {I held the course regularly 2001--2003},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Fortgeschrittenenpraktikum Deduktionssysteme.\n \n \n \n\n\n \n Benzmüller, C., & Siekmann, J.\n\n\n \n\n\n\n Saarland University, 2003.\n I held the Fortgeschrittenenpraktikum regularly 2001–2003\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{Course20,\n  keywords =\t {teaching,seminar},\n  author =\t {Christoph Benzm{\\"u}ller and J{\\"o}rg Siekmann},\n  title =\t {Fortgeschrittenenpraktikum Deduktionssysteme},\n  publisher =\t {Saarland University},\n  year =         {2003},\n  note =\t {I held the Fortgeschrittenenpraktikum  regularly  2001--2003},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2002\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n (Invited tutorial) From Natural Deduction Calculus to Sequent Calculus and back.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n CALCULEMUS Autumn School in Pisa, 2002.\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{Course22,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {(Invited tutorial) From Natural Deduction Calculus to Sequent Calculus and back},\n  publisher =\t {CALCULEMUS Autumn School in Pisa},\n  year =\t 2002,\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated Theorem Proving in First-Order and Higher-Order Logic.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n Saarland University, 2002.\n Summer 2002, 2+2 SWS\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{Course23,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller},\n  title =\t {Automated Theorem Proving in First-Order and Higher-Order Logic},\n  publisher =\t {Saarland University},\n  year =\t 2002,\n  note =\t {Summer 2002, 2+2 SWS},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2001\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Benzmüller, C., & Siekmann, J.\n\n\n \n\n\n\n Saarland University, 2001.\n Summer 2001, 4+2 SWS\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{Course24,\n  keywords =\t {teaching,lecture course},\n  author =\t {Christoph Benzm{\\"u}ller and J{\\"o}rg Siekmann},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Saarland University},\n  year =\t 2001,\n  note =\t {Summer 2001, 4+2 SWS},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 1999\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Künstliche Intelligenz.\n \n \n \n\n\n \n Siekmann, J., & Benzmüller, C.\n\n\n \n\n\n\n Saarland University, 1999.\n Summer 1999, 4+2 SWS\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{Course25,\n  keywords =\t {teaching,lecture course},\n  author =\t {J{\\"o}rg Siekmann and Christoph Benzm{\\"u}ller},\n  title =\t {K{\\"u}nstliche Intelligenz},\n  publisher =\t {Saarland University},\n  year =\t 1999,\n  note =\t {Summer 1999, 4+2 SWS},\n}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n undefined\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n (Invited Tutorial) Universal Logical Reasoning via Semantical Embeddings in HOL.\n \n \n \n\n\n \n Benzmüller, C.\n\n\n \n\n\n\n 2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil, .\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{Course43,\n  keywords =\t {teaching,lecture course},\n  Author =\t {Christoph Benzm{\\"u}ller},\n  Publisher =\t {2nd CLE Colloquium for Philosophy and History of Formal Sciences (CLE4Science), University of Campinas, Brasil},\n  Title =\t {{(Invited Tutorial)} Universal Logical Reasoning via Semantical Embeddings in HOL}}
\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"}; document.write(bibbase_data.data);