Courses taught by Lutz Schröder

SoSe 08:
Lutz Schröder and Till Mossakowski:
Modal Logic for Computer Scientists
VAK 03-05-H-604.51,
ECTS: 6, Category V, Theory
Monday, 13:00 - 15:00, MZH 7250
Tuesday, 13:00 - 15:00 MZH 7220

SoSe 08:
Christoph Lüth and Lutz Schröder:
Semantics and verification of C programs
VAK 03-05-H-706.09
ECTS: 6, Category A, Practical Computer Science
Tuesday 10:00 - 12:00 MZH 4194
Wdnesday 13:00 - 15:00 MZH 7210

WiSe 07/08:
Christoph Lüth and Lutz Schröder:
Techniques of correct software development I
VAK 03-05-H-706.05
ECTS: 6, Category A, Practical Computer Science
Monday 10:00 - 12:00 MZH 7230
Tuesday 13:00 - 15:00 MZH 7230

SoSe 07:
Lutz Schröder and Till Mossakowski:
Practical Semantics of Programming Languages
VAK 03-05-H-705.56
ECTS: 6, Category A, Practical Computer Science
Monday 10:00 - 12:00 MZH 7210
Tuesday 13:00 - 15:00 MZH 4194

WiSe 06/07:
Lutz Schröder and Till Mossakowski:
Software Specification in CASL
VAK 03-05-H-706.54,
ECTS: 6, Category A, Practical Computer Science
Monday 10:00 - 12:00 MZH 7210
Tuesday 13:00 - 15:00 MZH 4194

WiSe 06/07:
Udo Frese and Lutz Schröder:
Theory of Sensor Fusion
VAK 03-05-H-699.55
ECTS: 6, Category V, Theory
Monday, 17:00 - 19:00, MZH 2490
Wednesday, 13:00 - 15:00, MZH 7250

SoSe 06:
Lutz Schröder and Till Mossakowski:
Modal Logic for Computer Scientists
VAK 03-05-H-604.51,
ECTS: 6, Category V, Theory
Monday, 13:00 - 15:00, MZH 1380 (kl. Senatssaal)
Tuesday, 15:00 - 17:00 MZH 1380

WiSe 05/06:
Lutz Schröder and Till Mossakowski:
Logic
VAK 03-604.02,
ECTS: 6, Category A, Theory
Monday, 13:00 - 15:00, GW2 B1410
Thursday, 13:00 - 15:00 MZH Senatssaal (1400)

Lutz Schröder:
Communication and Concurrent Systems
VAK 03-699.54,
ECTS: 6, Category V, Theory
Monday, 15:00 - 17:00, MZH 1380
Wednesday, 10:00 - 12:00, MZH 7220

SoSe 05:
Lutz Schröder:
Complexity
VAK 03-602.51,
ECTS: 6, Category A, Theory
Tuesday, 10:00 - 12:00, MZH 1380 (kleiner Senatssaal)
Thursday, 13:00 - 15:00, MZH 4194

Till Mossakowski, Lutz Schröder:
Spezifikation und Verifikation von Java-Programmen
VAK 03-604.06,
ECTS: 6, Category V, Theory
Monday, 13:00 - 15:00, MZH 4194
Wednesday, 15:00 - 17:00, MZH MZH 7230
Course starts Wednesday, April 13, 2005

WiSe 04/05:
Lutz Schröder:
Algebraic Specification
VAK 03-604.01,
ECTS: 6, Category A, Theory
Monday, 10:00 - 12:00, MZH 7220 (changed!)
Thursday, 15:00 - 17:00, MZH 2490 (changed!)
Course starts Thursday, October 21, 2004

Till Mossakowski, Lutz Schröder:
Formal Methods of Software Development I
VAK 03-604.03,
ECTS: 6, Category A, Theory
Monday, 13:00 - 15:00, MZH 7230
Wednesday, 15:00 - 17:00, MZH 7250
Course starts Wednesday, October 20, 2004

WiSe 04/05 - SoSe 06: Student project Bordeaux (Lüth, Mossakowski, Schröder)

SoSe 04:
Lutz Schröder:
Logic
VAK 03-604.02,
ECTS: 6, Category A, Theory
Monday, 10:00 - 12:00, MZH Senatssaal (1400)
Tuesday, 10:00 - 12:00, MZH Senatssaal (1400)

Lutz Schröder:
Systems, Automata, and Coalgebras
VAK 03-699.03
ECTS: 6, Category V, Theory
Wednesday, 15:00 - 17:00, MZH 6240
Thursday, 13:00 - 15:00, MZH 6240

WiSe 03/04:
Lutz Schröder:
Algebraic Specification
VAK 03-604.01,
ECTS: 6, Category A, Theory
Tuesday, 10:00 - 12:00, MZH Senatssaal (1400)
Thursday, 10:00 - 12:00, MZH 7220

Lutz Schröder:
Semantics of Programming Languages
VAK 03-706.05
ECTS: 6, Category V, Theory
Monday, 10:00 - 12:00, MZH 7250
Wednesday, 15:00 - 17:00, MZH 7230
Begin: Wednesday, October 15!

SoSe 03:
Till Mossakowski and Lutz Schröder:
Specification and Synthesis of Haskell Programs
VAK 03-631
ECTS: 6
Wednesday, 13:00 - 15:00, MZH 7220
Thursday, 13:00 - 15:00 MZH 7220

WiSe 02/03:
Markus Roggenbach and Lutz Schröder:
Temporal and Modal Logics for Parallelism and Security
VAK 03-794
ECTS: 6
Wednesday, 15:00 - 17:00, MZH 7220
Thursday, 15:00 - 17:00 MZH 5300

WiSe 01/02 -- SoSe 03: Student project ProSecco (Krieg-Brückner, Lüth, Roggenbach, Schröder)

WiSe 01/02 and SoSe 02:
Christoph Lüth, Markus Roggenbach, Lutz Schröder, and Hui Shi
Techniques of Correct Software Development
VAK 03-783/4

SoSe 01:
Till Mossakowski and Lutz Schröder
Types in Programming Languages
VAK 03-633
ETCS: 6