Teaching

Home | deutsch | Legals | Sitemap | KIT

Logic and Formal Methods

Sommersemester 2013
Title	Type	Place	Time
Formale Systeme II	Vorlesung (V)		15.04.2013 15:45-17:15 50.34 Raum 301 weitere... 18.04.2013 15:45-17:15 50.34 Raum 301 22.04.2013 15:45-17:15 50.34 Raum 301 25.04.2013 15:45-17:15 50.34 Raum 301 29.04.2013 15:45-17:15 50.34 Raum 301 02.05.2013 15:45-17:15 50.34 Raum 301 06.05.2013 15:45-17:15 50.34 Raum 301 13.05.2013 15:45-17:15 50.34 Raum 301 16.05.2013 15:45-17:15 50.34 Raum 301 23.05.2013 15:45-17:15 50.34 Raum 301 27.05.2013 15:45-17:15 50.34 Raum 301 03.06.2013 15:45-17:15 50.34 Raum 301 06.06.2013 15:45-17:15 50.34 Raum 301 10.06.2013 15:45-17:15 50.34 Raum 301 13.06.2013 15:45-17:15 50.34 Raum 301 17.06.2013 15:45-17:15 50.34 Raum 301 20.06.2013 15:45-17:15 50.34 Raum 301 24.06.2013 15:45-17:15 50.34 Raum 301 27.06.2013 15:45-17:15 50.34 Raum 301 01.07.2013 15:45-17:15 50.34 Raum 301 04.07.2013 15:45-17:15 50.34 Raum 301 08.07.2013 15:45-17:15 50.34 Raum 301 11.07.2013 15:45-17:15 50.34 Raum 301 15.07.2013 15:45-17:15 50.34 Raum 301 18.07.2013 15:45-17:15 50.34 Raum 301

Wintersemester 2012/2013
Title	Type	Place	Time
Formale Systeme	Vorlesung / Übung (VÜ)		18.10.2012 14:00-15:30 30.22 Gaede weitere... 19.10.2012 11:30-13:00 30.22 Gaede 25.10.2012 14:00-15:30 30.22 Gaede 26.10.2012 11:30-13:00 30.22 Gaede 02.11.2012 11:30-13:00 30.22 Gaede 08.11.2012 14:00-15:30 30.22 Gaede 09.11.2012 11:30-13:00 30.22 Gaede 15.11.2012 14:00-15:30 30.22 Gaede 16.11.2012 11:30-13:00 30.22 Gaede 22.11.2012 14:00-15:30 30.22 Gaede 23.11.2012 11:30-13:00 30.22 Gaede 29.11.2012 14:00-15:30 30.22 Gaede 30.11.2012 11:30-13:00 30.22 Gaede 06.12.2012 14:00-15:30 30.22 Gaede 07.12.2012 11:30-13:00 30.22 Gaede 13.12.2012 14:00-15:30 30.22 Gaede 14.12.2012 11:30-13:00 30.22 Gaede 20.12.2012 14:00-15:30 30.22 Gaede 21.12.2012 11:30-13:00 30.22 Gaede 27.12.2012 14:00-15:30 30.22 Gaede 28.12.2012 11:30-13:00 30.22 Gaede 03.01.2013 14:00-15:30 30.22 Gaede 04.01.2013 11:30-13:00 30.22 Gaede 10.01.2013 14:00-15:30 30.22 Gaede 11.01.2013 11:30-13:00 30.22 Gaede 17.01.2013 14:00-15:30 30.22 Gaede 18.01.2013 11:30-13:00 30.22 Gaede 24.01.2013 14:00-15:30 30.22 Gaede 25.01.2013 11:30-13:00 30.22 Gaede 31.01.2013 14:00-15:30 30.22 Gaede 01.02.2013 11:30-13:00 30.22 Gaede 07.02.2013 14:00-15:30 30.22 Gaede 08.02.2013 11:30-13:00 30.22 Gaede
Praktikum Formale Entwicklung objektorientierter Software	Praktikum (P)		17.10.2012 17:30-19:00 50.34 Raum 301 weitere... 24.10.2012 17:30-19:00 50.34 Raum 301 31.10.2012 17:30-19:00 50.34 Raum 301 07.11.2012 17:30-19:00 50.34 Raum 301 14.11.2012 17:30-19:00 50.34 Raum 301 21.11.2012 17:30-19:00 50.34 Raum 301 28.11.2012 17:30-19:00 50.34 Raum 301 05.12.2012 17:30-19:00 50.34 Raum 301 12.12.2012 17:30-19:00 50.34 Raum 301 19.12.2012 17:30-19:00 50.34 Raum 301 02.01.2013 17:30-19:00 50.34 Raum 301 09.01.2013 17:30-19:00 50.34 Raum 301 16.01.2013 17:30-19:00 50.34 Raum 301 23.01.2013 17:30-19:00 50.34 Raum 301 30.01.2013 17:30-19:00 50.34 Raum 301 06.02.2013 17:30-19:00 50.34 Raum 301

Sommersemester 2012
Title	Type	Place	Time
Formale Systeme II	Vorlesung (V)		16.04.2012 15:45-17:15 50.34 Raum 301 weitere... 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
Title	Type	Place	Time
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
Title	Type	Place	Time
Formale Systeme II (SS 11)	Vorlesung	SR 301	Mo, 15:45 - 17:15 Do, 15:45 - 17:15
Formal Methods: Best of 2010	Seminar		Blockveranstaltung am Semesterende

Wintersemester 2010/2011
Title	Type	Place	Time
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
Title	Type	Place	Time
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
Title	Type	Place	Time
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
Title	Type	Place	Time
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
Title	Type	Place	Time
Formale Entwicklung objektorientierter Software (WS 08/09)	Praktikum	SR 301	Mi, 17:30 - 19:00

Sommersemester 2008
Title	Type	Place	Time
Formaler Entwurf und Verifikation von Programmen (SS 08)	Vorlesung
Formale Modellierung in Sensornetzen (SS 08)	Seminar
Formale Software-Entwicklung (SS 08)	Seminar		Blockveranstaltung am Semesterende

Wintersemester 2007/2008
Title	Type	Place	Time
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
Title	Type	Place	Time
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
Title	Type	Place	Time
Formale Systeme (WS 06/07)	Vorlesung
Formale Entwicklung objektorientierter Software (WS 06/07)	Praktikum	SR 301	Mi, 17:30 - 19:00