Wintersemester 20/21: Automaten, Sprachen und Komplexität
Automatische Strukturen
Pro- und Hauptseminar
Sommersemester 20: Automatentheorie
Logik in der Informatik
Logik und Logikprogrammierung
Hauptseminar
Wintersemester 19/20: Automaten, Sprachen und Komplexität
Verifikation
Automatische Strukturen
Pro- und Hauptseminar
Sommersemester 19: Automatentheorie
Logik in der Informatik
Logik und Logikprogrammierung Ergebnis der Lehrevaluation
Hauptseminar
Wintersemester 18/19: Automaten, Sprachen und Komplexität Ergebnis der Lehrevaluation
Ergebnis des Ergebnisses der Lehrevaluation
Verifikation
Hauptseminar
Sommersemester 18: Automatentheorie
Logik in der Informatik
Logik und Logikprogrammierung Ergebnis der Lehrevaluation
Hauptseminar
Wintersemester 17/18: Automaten, Sprachen und Komplexität
Verifikation
Automatische Strukturen
Hauptseminar
Sommersemester 17: Logik und Logikprogrammierung Ergebnis der Lehrevaluation
Automatentheorie
Automaten und Komplexität Ergebnis der Lehrevaluation
Logik in der Informatik
Hauptseminar
Wintersemester 16/17: Automaten, Sprachen und Komplexität
Verifikation
Automatische Strukturen
Hauptseminar
Sommersemester 16: Logik und Logikprogrammierung
Automatentheorie
Automaten und Komplexität Ergebnis der Lehrevaluation
Logik in der Informatik
Hauptseminar
Sommersemester 15: Logik und Logikprogrammierung
Automatentheorie
Automaten und Komplexität bzw. Formale Sprachen und Komplexität
Logik in der Informatik
Hauptseminar
Sommersemester 15: Logik und Logikprogrammierung
Automatentheorie
Automaten und Komplexität bzw. Formale Sprachen und Komplexität
Logik in der Informatik
Hauptseminar
Wintersemester 14/15: Automaten, Sprachen und Komplexität Ergebnis der Lehrevaluation
Berechenbarkeit und Komplexität Ergebnis der Lehrevaluation
Grundlagen und Methoden der Kryptographie Ergebnis der Lehrevaluation
Verifikation
Hauptseminar
Sommersemester 14: Logische Strukturen
Automatentheorie
Formale Sprachen und Komplexität Ergebnis der Lehrevaluation
Logik in der Informatik
Hauptseminar
Wintersemester 13/14: Automaten und Formale Sprachen Ergebnis der Lehrevaluation
Berechenbarkeit und Komplexität Ergebnis der Lehrevaluation
Grundlagen und Methoden der Kryptographie
Verifikation unendlicher Systeme
Hauptseminar
Sommersemester 13: Logische Strukturen Ergebnis der Lehrevaluation
Automatentheorie Ergebnis der Lehrevaluation
Formale Sprachen und Komplexität Ergebnis der Lehrevaluation
Logik in der Informatik
Hauptseminar
GAMES winter school 13: Automatic structures
Lecture 1
Lecture 2
Wintersemester 12/13: Automaten und Formale Sprachen Ergebnis der Lehrevaluation
Ergebnis des Ergebnisses der Lehrevaluation
Berechenbarkeit und Komplexität Ergebnis der Lehrevaluation
Automatentheorie
Verifikation unendlicher Systeme
Hauptseminar
Sommersemester 12: Logische Strukturen Ergebnis der Lehrevaluation
Public Key Cryptography Ergebnis der Lehrevaluation
Formale Sprachen und Komplexität Ergebnis der Lehrevaluation
Logik in der Informatik
Hauptseminar
Wintersemester 11/12: Automaten und Formale Sprachen Ergebnis der Lehrevaluation
Ergebnis des Ergebnisses der Lehrevaluation
Berechenbarkeit und Komplexität Ergebnis der Lehrevaluation
Automatentheorie
Verifikation unendlicher Systeme
Hauptseminar
Sommersemester 11: Logische Strukturen Ergebnis der Lehrevaluation
Public Key Cryptography Ergebnis der Lehrevaluation
Logik in der Informatik
Wintersemester 10/11: Automaten und Formale Sprachen
Berechenbarkeit und Komplexität Ergebnis der Lehrevaluation
Ergebnis des Ergebnisses der Lehrevaluation
Termersetzungssysteme
ESSLLI 10: Automatic structures
Lecture 1: Motivation, definition, and basic properties
Lecture 2: First-order logic and beyond
Lecture 3: Complexity of first-order logic
Lecture 4: Some classical graph problems
Lecture 5: Classification and isomorphism
Ergebnis der Lehrevaluation
Sommersemester 09: Termersetzung
  Algorithmische Modelltheorie
  Seminar Automatentheorie
Wintersemester 08/09: Verifikation Ergebnis der Lehrevaluation
  ω-Automaten Ergebnis der Lehrevaluation
  Seminar Automatentheorie
Sommersemester 08: Baumautomaten Ergebnis der Lehrevaluation
Wintersemester 07/08: ω-Automaten Ergebnis der Lehrevaluation
  Termersetzungssysteme Ergebnis der Lehrevaluation
  Seminar Automatentheorie
Sommersemester 07: Algorithmische Modelltheorie Ergebnis der Lehrevaluation
  Verifikation Ergebnis der Lehrevaluation
Wintersemester 06/07: Algorithmische Modelltheorie
  Algorithmen des Model Checking
  Seminar Automatentheorie
Sommersemester 06: Berechenbarkeits- und Komplexitätstheorie
  Baumautomaten
  Termersetzungssysteme
  Seminar Automatentheorie
Wintersemester 05/06: Algorithmische Modelltheorie
  ω-Automaten
  Seminar Automatentheorie
Sommersemester 05; Verifikation
  Formalsprachliche Aspekte des DNA-Computing
Wintersemester 04/05: Baumautomaten
  Semantik von Programmiersprachen
Sommersemester 04: Lineare Algebra und Analytische Geometrie II
Sommersemester 04: Ausgewählte Kapitel der Informatik
Sommersemester 04: Seminar Automatentheorie
Wintersemester 03/04: Baumautomaten
  DNA-Computing
Sommersemester 03: Proof theory
  Seminar Automatentheorie
  Algebraische Grundlagen der Informatik
  Schreiben mathematischer Texte (Mittel- und Hauptseminar)
Wintersemester 02/03: Berechenbarkeit und Logik
  Seminar Automatentheorie
spring term 02: problem class for Logic and discrete structures
  problem class for Design and Analysis of Algorithms
  third year project for computer science
winter term 01: Information Technology
spring term 01: problem classes for Design and Analysis of Algorithms
  Homogeneous structures and their automorphism groups (5 lectures)
winter term 00: Information Technology
Sommersemester 00: Automatentheorie
  Linear Algebra und Geometrie II (Übung zur Vorlesung von Prof. Pöschel)
  Algebra für Informationssystemtechniker (Übung zur Vorlesung von Prof. Ganter)
Wintersemester 99/00: Lineare Algebra und Geometrie I (Übung zur Vorlesung von Prof. Pöschel)
  Algebra für Informationssystemtechniker (Übung zur Vorlesung von Prof. Ganter)
  Logik (Übung zur Vorlesung von Prof. Droste)
Wintersemester 98/99: Algebraische Grundlagen der Theoretische Informatik
Wintersemester 97/98: Semantik von Programmiersprachen
Sommersemester 97: Temporale Logiken
Wintersemester 95/96: Automaten und Logik