Logik und Formale Methoden
Logik und Formale Methoden
Logik und Formale Methoden
Willkommen bei der Forschungsgruppe Logik und Formale Methoden
Studium und Lehre
Sommersemester 2014
Titel Typ Ort Zeit
Formale Systeme II Vorlesung (V) 14.04.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


17.04.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

24.04.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

28.04.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

05.05.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

08.05.2014
15:45 - 17:15 einmalig
50.34 Raum -119 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

08.05.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

12.05.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

15.05.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

19.05.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

22.05.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

26.05.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

02.06.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

05.06.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

12.06.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

16.06.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

23.06.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

26.06.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

30.06.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

03.07.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

07.07.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

10.07.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

14.07.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

17.07.2014
15:45 - 17:15 wöchentlich
50.34 Raum 301 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
Proseminar "Desaster in der Software-Sicherheit" Proseminar (PS) 14.04.2014
13:00 - 14:00 einmalig
50.34 Raum 236 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


22.04.2014
13:00 - 14:00 einmalig
50.34 Raum 236 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
Wintersemester 2013/2014
Titel Typ Semester Ort
Formale Analyse von Wahlverfahren Proseminar
Formale Systeme Vorlesung / Übung (VÜ) WS 13/14
Sommersemester 2013
Titel Typ Semester Ort
Formale Systeme II Vorlesung (V) SS 2013
Wintersemester 2012/2013
Titel Typ Semester Ort
Formale Systeme Vorlesung / Übung (VÜ) WS 12/13

30.22 Gaede
Praktikum Formale Entwicklung objektorientierter Software Praktikum (P) WS 12/13
Sommersemester 2012
Titel Typ Ort Zeit
Formale Systeme II Vorlesung (V)

SR301

 16.04.2012
15:45-17:15
50.34 Raum 301


19.04.2012
15:45-17:15
50.34 Raum 301

23.04.2012
15:45-17:15
50.34 Raum 301

26.04.2012
15:45-17:15
50.34 Raum 301

30.04.2012
15:45-17:15
50.34 Raum 301

03.05.2012
15:45-17:15
50.34 Raum 301

07.05.2012
15:45-17:15
50.34 Raum 301

10.05.2012
15:45-17:15
50.34 Raum 301

14.05.2012
15:45-17:15
50.34 Raum 301

21.05.2012
15:45-17:15
50.34 Raum 301

24.05.2012
15:45-17:15
50.34 Raum 301

31.05.2012
15:45-17:15
50.34 Raum 301

04.06.2012
15:45-17:15
50.34 Raum 301

11.06.2012
15:45-17:15
50.34 Raum 301

14.06.2012
15:45-17:15
50.34 Raum 301

18.06.2012
15:45-17:15
50.34 Raum 301

21.06.2012
15:45-17:15
50.34 Raum 301

25.06.2012
15:45-17:15
50.34 Raum 301

28.06.2012
15:45-17:15
50.34 Raum 301

02.07.2012
15:45-17:15
50.34 Raum 301

05.07.2012
15:45-17:15
50.34 Raum 301

09.07.2012
15:45-17:15
50.34 Raum 301

12.07.2012
15:45-17:15
50.34 Raum 301

16.07.2012
15:45-17:15
50.34 Raum 301

19.07.2012
15:45-17:15
50.34 Raum 301
Wintersemester 2011/2012
Titel Typ Ort Zeit
Formale Systeme Vorlesung / Übung (VÜ)

30.22 Gaede

Do, 14:00-15:30
Fr, 11:30-13:00
Praktikum Formale Entwicklung objektorientierter Software Praktikum (P)

26.10.2011 13:00-14:00 Raum 211
Seminar Formale Systeme und Methoden Seminar (S)
Sommersemester 2011
Titel Typ Ort Zeit
Formale Systeme II (SS 11) Vorlesung

SR 301

Mo, 15:45 - 17:15
Do, 15:45 - 17:15
Formal Methods: Best of 2010 Seminar

Gebäude 50.34, SR 131

Blockveranstaltung am Semesterende
Wintersemester 2010/2011
Titel Typ Ort Zeit
Formale Entwicklung objektorientierter Software (WS 10/11) Praktikum

Raum 305

Fr, 14.00 - 15.30
Spezifikation und Verifikation von Software (WS 10/11) Vorlesung

SR 131

Mo, 15:45 - 17:15
Do, 15:45 - 17:15
Sommersemester 2010
Titel Typ Ort Zeit
Formale Programmentwicklung (SS 10) Seminar

Blockveranstaltung am Semesterende
Formale Systeme II (SS 11) Vorlesung

SR 301

Mo, 15:45 - 17:15
Do, 15:45 - 17:15
Wintersemester 2009/2010
Titel Typ Ort Zeit
Formale Entwicklung objektorientierter Software (WS 09/10) Praktikum Raum 305

Mo, 14.00 - 15.30
Spezifikation und Verifikation von Software (WS 09/10) Vorlesung SR 131

Mo, 15:45 - 17:15
Do, 15:45 - 17:15
Sommersemester 2009
Titel Typ Ort Zeit
Modellprüfung und modellbasiertes Testen (SS 09) Seminar

Blockveranstaltung am Semesterende
Formale Programmentwicklung (SS 09) Seminar

Blockveranstaltung am Semesterende
Formale Systeme II (SS 09) Vorlesung SR 301

Mo, 15:45 - 17:15
Do, 15:45 - 17:15
Wintersemester 2008/2009
Titel Typ Ort Zeit
Formale Entwicklung objektorientierter Software (WS 08/09) Praktikum SR 301

Mi, 17:30 - 19:00
Wintersemester 2007/2008
Titel Typ Ort Zeit
Formale Entwicklung objektorientierter Software (WS 07/08) Praktikum SR 301

Mi, 17:30 - 19:00
Formale Systeme (WS 07/08) Vorlesung
Formale Verifikation und Spezifikation in mobilen Sensornetzwerken (WS 07/08) Konferenzseminar Universität Mannheim

Fr, 15.02.2008
Sommersemester 2007
Titel Typ Ort Zeit
Formaler Entwurf und Verifikation von Programmen (SS 07) Vorlesung
Formale Software-Entwicklung (SS 07) Seminar

Blockveranstaltung am Semesterende
Theorie und Anwendung von Model Checking (SS 07) Seminar SR -108

13.7.2007, 9:00 - 13:00
Wintersemester 2006/2007
Titel Typ Ort Zeit
Formale Entwicklung objektorientierter Software (WS 06/07) Praktikum SR 301

Mi, 17:30 - 19:00
Formale Systeme (WS 06/07) Vorlesung