Winter 24/25

IN0012/IN2106
Practical Course ‘Specification and Verification’
IN2055
Semantics of Programming Languages

Summer 24

IN2347
Functional Data Structures
IN0012/IN2106
Practical Course ‘Proof Assistants in Practice’

Winter 23/24

IN2358
Lambda Calculus
IN0012/IN2106
Practical Course ‘Specification and Verification’
IN2055
Semantics of Programming Languages

Summer 23

IN2347
Functional Data Structures
IN0012/IN2106
Practical Course ‘Specification and Verification’

Winter 22/23

IN2358
Lambda Calculus
IN0012/IN2106
Practical Course ‘Specification and Verification’
IN2055
Semantics of Programming Languages

Summer 22

IN2347
Functional Data Structures
IN2049
Logic
IN0012/IN2106
Practical Course ‘Specification and Verification’

Winter 21/22

IN2358
Lambda Calculus
IN0014
Seminar ‘Formal Verification of Neural Networks’
IN0012/IN2106
Practical Course ‘Specification and Verification’
IN2055
Semantics of Programming Languages

Summer 21

IN2347
Functional Data Structures
IN0014/IN2107
Seminar ‘Functional Pearls’
IN2049
Logic
IN0012/IN2106
Practical Course ‘Specification and Verification’

Winter 20/21

IN0003
Functional Programming and Verification
IN0012/IN2106
Practical Course – Contributing to an Open-Source Project
IN0012/IN2106
Practical Course ‘Specification and Verification’
IN2055
Semantics of Programming Languages

Summer 2020

IN0011
Einführung in die theoretische Informatik
IN2347
Functional Data Structures
IN0014/IN2107
Seminar: Automated Reasoning
IN0012/IN2106
Praktikum: Spezifikation und Verifikation

Winter 2019/20

IN0012/IN2106
Praktikum: Spezifikation und Verifikation
IN0003
Functional Programming and Verification
IN2055
Semantics of Programming Languages

Summer 2019

IN2347
Functional Data Structures
IN0011
Einführung in die theoretische Informatik
IN2107
Master-Seminar: AI Planning
IN0012/IN2106
Praktikum: Spezifikation und Verifikation

Winter 2018/19

IN0012/IN2106
Praktikum: Spezifikation und Verifikation
IN2107
Master-Seminar: AI Planning
IN2055
Semantics of Programming Languages

Summer 2018

IN2049
Logic
IN2347
Functional Data Structures
IN2107
Master-Seminar: Formal Proof in Mathematics and Computer Science
IN2107
Master-Seminar: AI Planning
IN0012/IN2106
Praktikum: Spezifikation und Verifikation

Winter 2017/18

IN2106
Master-Praktikum: Spezifikation und Verifikation
IN0014/IN2107
Seminar: Functional Data Structures and Algorithms
IN2049
Lambda Calculus
IN2055
Semantics of Programming Languages

Summer 2017

IN2049
Logik
IN2106
Master-Praktikum: Spezifikation und Verifikation
IN2107
Master-Seminar: Formal Proof in Mathematics and Computer Science
IN2347
Functional Data Structures

Winter 2016/17

IN2055
Semantics of Programming Languages
IN2053
Program Optimization
IN2148
Perlen der Informatik 3
IN2148
Seminar: Perlen der Informatik

Summer 2016

IN0013
Proseminar - Perlen der Informatik
IN2049
Logik
IN2106
Master-Praktikum: Spezifikation und Verifikation
IN2107
Master-Seminar: Entscheidungsprozeduren

Winter 2015/16

IN2055
Semantics of Programming Languages
IN2106
Master-Praktikum: Spezifikation und Verifikation
IN2148
Perlen der Informatik

Summer 2015

IN2048
Equational Logic
IN2042
Automata and Formal Languages II: Tree Automata
IN0014/IN2107
Fortgeschrittene Konzepte der funktionalen Programmierung

Winter 2014/15

IN0003
Einführung in die Informatik 2
IN2055
Program Optimization
IN2055
Semantics of Programming Languages
IN2176
Perlen der Informatik 3

Winter 2013/14

IN0003
Einführung in die Informatik 2
IN2055
Semantics of Programming Languages

Summer 2013

IN2048
Equational Logic
IN3350
Interactive Software Verification

Winter 2012/13

IN0003
Einführung in die Informatik 2
IN2055
Semantics of Programming Languages

Summer 2012

IN2048
Equational Logic
IN2149
Perlen der Informatik 2

Winter 2011/12

IN2055
Semantik
IN2148
Perlen der Informatik

Summer 2011

IN0011
Einführung in die Theoretische Informatik
IN2149
Perlen der Informatik 2

Winter 2010/2011

IN2148
Perlen der Informatik
IN2055
Semantik

Summer 2010

IN0011
Einführung in die Theoretische Informatik

Summer 2009

IN0011
Einführung in die Theoretische Informatik
IN2149
Perlen der Informatik 2

Winter 2008/2009

IN2049
Logik
IN2148
Perlen

Summer 2008

Winter 2007/2008

Summer 2007

Winter 2006/2007

Summer 2006

Winter 2005/2006

Summer 2005

Winter 2004/2005

Summer 2004

Winter 2003/04

Summer 2003

Winter 2002/2003

Summer 2002

Winter 2001/2002

Summer 2001

Summer 2000

Winter 1999/2000

Summer 1999

Winter 1998/99

Summer 1998

Winter 1997/98

Summer 1997

Winter 1996/97

Summer 1996

Winter 1995/96

Summer 1995

Winter 1994/95