Previous semesters

 

Teaching in winter term 2021/2022

Lectures

• Algorithmic Learning Theory
• Complexity Theory
• Infinite Computations and Games

Seminars and Practica

• Seminar: Data Science
• Software lab: Cops'n'Robber – Search Games on Graphs, Decompositions and Connectivity
• Praktikum Machine Learning for Sales Prediction in Retail

 

Teaching in the summer term 2021

 

Teaching in the winter term 2020/2021

 

Teaching in the summer term 2020

 

Teaching in the winter term 2019/2020

 

Teaching in the summer term 2019

 

Teaching in the winter term 2018/2019

 

Teaching in the summer term 2018

 

Teaching in the winter termin 2017/2018

Lectures

• Foundations of Data Science
• Infinite Computations and Games
• Recursion Theory

Seminars and Practica

• Practical Course: Implementing regular expressions in java
• Seminar: Aktuelle Themen der Theoretischen Informatik
• Seminar: Complexity Theory
• Proseminar: Information Theory

 

Teaching in the summer term 2017

Lectures

• The Graph Isomorphism Problem
• Advanced Automata Theory
• Complexity Theory
• Automaten, Sprachen, Komplexität

Seminars und Practica

• Computer Science Lab for Mathematicians
• Seminar: Theoretical Topics in Data Science
• Seminar: Current topics of theoretical computer science

 

In the winter term 2017/18 we offer many different lectures, seminars and practica.

Lectures

• Complexity Theory
• Graph Decompositions and Algorithmic Applications
• Infinite Computations and Games
• Stochastic Games

Seminars and Practica

• Softwarelab: Implementing regular expressions in Java
• Proseminar: Information Theory
• Seminar: Theory of Efficient Hashing Techniques

 

Teaching in the winter term 2016/2017

Lecture

• Computability and Complexity (Schweitzer)
• Infinite Computations and Games (Löding)
• Graph Decompositions and Algorithmic Applications (Grohe)
• Foundations of Data Science (Grohe)

Proseminars, Seminars, Praktika

• Softwarelab: Implementing Regular Expressions in Java (Löding, Frickenschmidt)
• Seminar Current Topics of theoretical computer sciences(Grohe, Löding, Schweitzer)
• Seminar of complexity theory (Grohe)
• Proseminar information theory (Grohe)

 

Teaching in the summer term 2016

Lectures

• Applied Automata Theory (Löding, Brütsch)
• Complexity Theory (Schweitzer, Kiefer)
• Theory of Constraint Satisfaction Problems (Grohe)
• Formale Systeme, Automaten, Prozesse (Grohe) (Campus)
• Automata, Language, Complexity (Löding, Winter)

Proseminars, Seminars, Praktika

• Computer Science Lab for Mathematicians (Löding, Elberfeld)
• Seminar Theory of efficient Hashing Techniques (Grohe)
• Seminar Current topics of the theoretical computer science (Grohe, Löding, Schweitzer)

 

Teaching in the winter term 2015/2016

Lectures

• Computability and Complexity (Grohe)
• Foundations of Data Science (Grohe)
• String Processing and Compression (Elberfeld)
• Infinite Computations (Thomas)
• Tree Automata (Löding)

Proseminars, Seminars, Praktika

• Proseminar Automata Theory (Thomas)
• Proseminar Information Theory (Grohe)
• Softwarelab: Implementing Regular Expressions in Java
• Seminar zur Complexity Theory (Schweitzer)
• Seminar Automata Theory - Bachelor (Thomas)
• Seminar Automata Theory - Master (Löding)
• Seminar Algorithmic Graph Theory (Grohe)

 

Teachings in the summer term 2015

Lectures

• Applied Automata Theory (Thomas, Brütsch)
• Automata, Language, Complexity (Löding, Lang)
• Complexity Theory (Schweitzer, Kiefer)
• Formale Systeme, Automaten, Prozesse (Thomas, Winter, Frickenschmidt, Frohn)
• Infinite Games (Löding, Lang)

Proseminars, Seminars, Praktika

• Seminar Algorithms for Bio CS
• Seminar Current topics of the theoretical computer science
• Seminar Automata Theory
• Computer Science Lab for Mathematicians

 

Teachings in the winter term 2014/2015

Lectures

• Foundations of Data Science (Grohe)
• Infinite Computations (Löding, Brütsch)
• Regular and Context-Free Languages: Advanced Results (Thomas, Lang)
• Berechenbarkeit und Komplexität (Vorlesung Thomas, Übungen i1)
• The Graph Isomorphism Problem (Schweitzer)

Proseminars, Seminars, Praktika

• Seminar Probabilistic databases
• Seminar Current topics of the theoretical computer science
• Proseminar Information Theory
• Seminar Automata Theory
• Proseminar Automata Theory
• Softwarelab Implementing regular expressions in java

 

Teachings in the summer term 2014

Lectures

• Formale Systeme, Automaten, Prozesse (Grohe) (Campus)
• Rekursionstheorie (Grohe) (Campus)
• Computational Group Theory (Schweitzer)
• Applied Automata Theory (Thomas, Brütsch) (Campus)
• Automaten, Sprachen und Komplexität (Thomas, Winter) (Campus)
• Infinite Games (Löding, Lang) (Campus)
• Einfachheit und Komplexität (Oberschelp) (Campus)

Proseminar, Seminar, Practical Courses

• Seminar Aktuelle Themen der theoretischen Informatik (Grohe) (Campus)
• Seminar Kommunikationskomplexität (Grohe) (Campus)
• Seminar Automata Theory (Thomas, Löding)
• Informatik-Praktikum für Mathematiker (Campus)

Other

• Arbeitsgemeinschaft Logik und Automaten

 

Teaching in the winter term 2013/14

Lectures

• Complexity Theory
• Infinite Computations
• Regular and Context-Free Languages (for advanced learners)
• Tree Automata
• Boundaries

Proseminar, Seminar, Praktical Courses

• Seminar Computation Models for "Big Data" (Grohe)
• Seminar über Automatentheorie (Thomas)
• Proseminar Informationstheorie (Grohe)
• Proseminar Automatentheorie (Löding)
• Praktikum: Reguläre Ausdrücke Implementieren in Java

Other

• Research Seminar Logic and Automata
• Projekt Leonardo: Sprache - Kommunikation - Erkenntnis: Fundamentales über natürliche und formale Sprachen