Studium und Lehre

Home | english | Impressum | Sitemap | KIT

Logik und Formale Methoden

Sommersemester 2013
Titel	Typ	Ort	Zeit
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
Titel	Typ	Ort	Zeit
Formale Systeme	Vorlesung / Übung (VÜ)	30.22 Gaede	Do, 14:00-15:30 Fr, 11:30-13:00 (18.10.2012 bis 08.02.2013)
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
Titel	Typ	Ort	Zeit
Formale Systeme II	Vorlesung (V)	SR301	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
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

Sommersemester 2008
Titel	Typ	Ort	Zeit
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
Titel	Typ	Ort	Zeit
Formale Verifikation und Spezifikation in mobilen Sensornetzwerken (WS 07/08)	Konferenzseminar	Universität Mannheim	Fr, 15.02.2008
Formale Entwicklung objektorientierter Software (WS 07/08)	Praktikum	SR 301	Mi, 17:30 - 19:00
Formale Systeme (WS 07/08)	Vorlesung

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