Teaching
Summer term 2023
- Bachelor
- Master
Winter term 2022/23
Summer term 2022
Winter term 2021/22
Summer term 2021
Winter term 2020/21
Summer term 2020
Winter term 2019/2020
Summer term 2019
Winter term 2018/2019
- Complexity Theory (MSc)
- Informatik III (BSc)
Summer term 2018
- Logic and Verification (BSc)
- Algorithmische Spieltheorie (MSc)
- Proseminar (BSc)
Winter term 2017/2018
- Informatik III (BSc)
- Game Theory (MSc)
Summer term 2017
- Proseminar (BSc)
- Logic and Verification (BSc)
Winter term 2016/2017
- Complexity Theory (MSc)
- Informatik III (BSc)
Summer term 2016
- Fortgeschrittenenprojekt/Projekt im Bachelor
- Logic and Verification (BSc)
Winter term 2015/2016
- Proseminar (BSc)
- Informatik III (BSc)
Summer term 2015
- Logic and Verification (BSc)
- Proseminar/Seminar
Winter term 2014/15
- Informatik III (BSc)
- Informatikwerkstatt (BcS)
- Game Theory (MSc)
- Proseminar/Seminar (BSc and MSc)
Summer term 2014
- Artificial Intelligence (BSc)
- Proseminar/Seminar
Evaluations
We are committed to excellence in teaching. Our courses are evaluated using the system EvaSys. The evaluations can be obtained below by clicking on the respective courses. Here we list the evaluations of Prof. Dix per semester (containing all courses in the respective semester):
- (no summary evaluations have been generated since 2013/2014)
- WS 2013/14
- SS 2012
- WS 2011/12
- SS 2011
- WS 2010/11
- SS 2010, ELAN
- WS 2009/10
- SS 2009 (ELAN)
- WS 2008/09
Winter term 2013/14
- Informatik III (BSc)
- Logics for Multi-Agent Systems
Summer term 2013
- Proseminar/Seminar
- Artificial Intelligence (BSc)
Winter term 2012/13
- Verification of Concurrent Systems (Verifikation von Parallelen Systemen) (MSc)
- Informatik III (BSc)
- Werkzeuge der Informatik
Summer term 2012
- Multiagent Systems I (BSc)
- Multiagent Systems II (MSc)
- Artificial Intelligence (BSc)
- Hauptseminar/Proseminar
Winter term 2011/12
- Informatik III (BSc)
- Introduction to the Modelling and Analysis of Security Protocols (MSc)
- Seminar
- Werkzeuge der Informatik
Summer term 2011
- Complexity Theory (MSc)
- Artificial Intelligence (BSc)
- Multiagent Systems I (BSc)
Winter term 2010/11
- Hauptseminar/Proseminar
- Modallogiken (M.Sc.)
- Informatik III (BSc)
Summer 2010
- Multiagent Systems I (BSc)
- Einleitung
- Downloads
- Multiagent Systems II (MSc)
- Einleitung
- Downloads
- Artificial Intelligence (BSc)
- Einleitung
- Downloads
Winter 2009/10
- Informatik III (BSc)
- Multiagent Systems I (BSc)
- Einleitung
- Downloads
- Hauptseminar/Proseminar
- Seminar Artificial Intelligence in Biology and Medicine
- Vorlesung Softcomputing
- Vorlesung Modern Data Analysis
- Werkzeuge der Informatik (BSc)
Summer 2009
- Einführung in die Künstliche Intelligenz
- Downloads
- Multi-Agent System: Modeling, Reasoning, and Verification (Projectgroup)
- Zeitreihenanalyse und -prognose
- Neural Computation
- Bioinformatics/Scheduling/Machine Learning
Winter 2008/09
- Multi-Agent System: Modeling, Reasoning, and Verification
- Multiagent Systems I (BSc)
- Einleitung
- Downloads
- Hauptseminar/Proseminar
- Modallogiken: Grundlagen und Erweiterungen
- Downloads
- Modellbildung und Simulation
- Informatik III
- Seminar Computational Intelligence in Biology and Medicine
- Multi-Agent Systems in Real-Time Applications
- Example 1: A single unit controlled by an agent
- Example 2: Several units controlled by agents
- Example 3: A harvester exploring the world and gathering resources
Summer 2008
- Data and Web Mining
- Seminar Robotics
- Einführung in die Künstliche Intelligenz
Teaching of the past
Please have a look at these downloads.
Winter 2007/2008
- Complexity Theory (Dix)
- Hauptseminar (Dix)
- Werkzeuge der Informatik (Dix, Hammer)
- Modellbildung und Simulation (Reuter)
Summer 2007
- Pro/Hauptseminar (Dix)
- Artificial Intelligence (Dix)
- Algorithms in Bioinformatics (Hammer)
- Neural Computation (Hammer)
- Seminar Bioinformatics and Machine Learning (Hammer)
Winter 2006/2007
- Multi-Agent Systems (Dix)
- Programmierpraktikum (Dix)
- Informatics III (Hammer)
- Softcomputing (Hammer)
- Proseminar Data Mining (Hammer)
- Seminar Self-Organizing Maps (Hammer)
Summer 2006
- Neural Computation (Hammer)
- Seminar Modern Heuristics (Hammer)
- Pro/Hauptseminar AI (Dix)
- Artificial Intelligence (Dix)
Winter 2005/2006
- Informatik III (Dix)
- Multiagent Systems (Dix)
- Hauptseminar/Praktikum Hybride Systeme (Hammer)
- Seminar Maschinelles Lernen (Hammer)
- Algorithmische Bioinformatik (Hammer)
Summer 2005
- Theoretical Computer Science II (Dix)
- Informatics II (Hammer)
- Artificial Intelligence (Dix)
- Planning Seminar (Dix)
- Selforganization Seminar (Hammer)
Winter 2004/2005
- Softcomputing (Hammer)
- Neural Networks (Reuter)
- Artificial Intelligence (Dix)
- Informatics I (Hammer)
- Praktikum in Programming (Dix)
- Multi-Agent Systems (Dix)
- Theoretical Computer Science I (Dix)
Summer 2004
- Artificial Intelligence (Dix)
- Theoretical Computer Science II (Dix)