Lehrveranstaltungen

Research Group
Foundations of Informatics
Prof. Dr. K. Madlener

Lehrveranstaltungen

WS 2011/2012
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
SS 2011
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Specification and Verification with Higher-Order-Logic (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Logik (2 + 1), Dozent: Prof. Dr. K. Madlener, Grundstudium
WS 2010/2011
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
SS 2010
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Logik (2 + 1), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Bachelorseminar: Algorithmik (2 + 1), Dozenten: Prof. Dr. M. Nebel und Prof. Dr. K. Madlener
SS 2009
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Logik (2 + 1), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Seminar: Computer Algebra
WS 2008/2009
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Seminar: Spezifikations- und Verifikationstechniken (2)(S), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung, Dr. R. Eschbach, Abt. Testen und Inspektionen, IESE
SS 2008
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Logik (2 + 1), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Vorlesung: Worte: Kombinatorische und algorithmische Eigenschaften (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
- Seminar: Spezifikations- und Verifikationstechniken
- Praktikum/Projekt: Semantik und Verifikation
WS 2007/2008
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Entscheidungsprobleme für Wortersetzungssysteme (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
- Praktikum/Projekt: Computer Algebra (halbtägig), LG Grundlagen der Programmierung
- Seminar: Computer Algebra (2), LG Grundlagen der Programmierung
SS 2007
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Logik (2 + 1), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Vorlesung: Worte: Kombinatorische und algorithmische Eigenschaften (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
- Seminar: Spezifikations- und Verifikationstechniken
- Praktikum/Projekt: Semantik und Verifikation
WS 2006/2007
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Entscheidungsprobleme für Wortersetzungssysteme (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
- Praktikum: Computer Algebra (halbtägig), LG Grundlagen der Programmierung
- Seminar: Computer Algebra (2), LG Grundlagen der Programmierung
SS 2006
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Praktikum: Spezifikation und Verifikation, LG Grundlagen der Programmierung
- Proseminar Kryptographie (2), LG Grundlagen der Programmierung
- Seminar, LG Grundlagen der Programmierung
- Vorlesung: Worte: Kombinatorische und algorithmische Eigenschaften(2) , Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
WS 2005/2006
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Entscheidungsprobleme für Wortersetzungssysteme (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
- Seminar: Seminar Spezifikations- und Verifikationstechniken (2), LG Grundlagen der Programmierung
SS 2005
- Vorlesung: Grundlagen der Programmierung (4 + 2), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Vorlesung: Logik (2 + 1), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Praktikum: Computer Algebra, LG Grundlagen der Programmierung
- Vorlesung: Spezielle Anwendungsveranstaltung zu Computeralgebra (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
- Vorlesung: Spezielle Anwendungsveranstaltung zu Computeralgebra (2), Dozentin: Dr. Birgit Reinert, LG Grundlagen der Programmierung
WS 2004/2005
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Praktikum: Spezifikation und Verifikation, LG Grundlagen der Programmierung
- Seminar: Spezifikation und Verifikation (2), LG Grundlagen der Programmierung
- Vorlesung: Entscheidungsprobleme für Wortersetzungssysteme (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
SS 2004
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Integriertes Seminar zu: Formale Spezifikations- und Verifikationstechniken (2), LG Grundlagen der Programmierung
- Vorlesung: Worte: Kombinatorische und algorithmische Eigenschaften (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
WS 2003/2004
- Doktorandenseminar: Abstract State Machines und ihre Anwendungen
- Vorlesung: Kryptographie (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
SS 2003
- Vorlesung: Fallbeispiele mit Beweiswerkzeugen, Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Vorlesung: Worte: Kombinatorische und algorithmische Eigenschaften (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
- Seminar: Seminar Spezifikations- und Verifikationstechniken (2), LG Grundlagen der Programmierung
WS 2002/2003
- Entwurf und Analyse von Algorithmen (4 + 2), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Proseminar: Proseminar Kryptographie (2), LG Grundlagen der Programmierung
- Vorlesung: Entscheidungsprobleme für Wortersetzungssysteme (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
SS 2002
- Vorlesung: Grundlagen der Programmierung (4 + 2), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Vorlesung: Logik (2 + 1), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Praktikum: Computer Algebra, LG Grundlagen der Programmierung
- Proseminar: Proseminar Logik (2), LG Grundlagen der Programmierung
- Vorlesung: Worte: Kombinatorische und algorithmische Eigenschaften (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
WS 2001/2002
- Vorlesung: Computeralgebra (4 + 2)(A), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Seminar: Computer Algebra (2), LG Grundlagen der Programmierung
- Vorlesung: Automatische Strukturen (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
SS 2001
- Vorlesung:Spezielle Kapitel aus der Spezifikation und Verifikation (4 + 2), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Seminar:Spezifikation und Verifikation (2)
- Vorlesung: Entscheidungsprobleme für Wortersetzungssysteme (2), Dozentin: Dr. Andrea Sattler-Klein, LG Grundlagen der Programmierung
WS 2000/2001
- Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Seminar: Computeralgebra und Spezifikationstechniken (2)
- Praktikum: Computeralgebra
SS 2000
- Vorlesung: Computeralgebra (4 + 2), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Seminar: Kryptographie (2)
WS 1999/2000
- Entwurf und Analyse von Algorithmen (4 + 2), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Proseminar: Proseminar Entwurf und Analyse von Algorithmen (2)
SS 1999
- Vorlesung: Grundlagen der Programmierung (4 + 2), Dozent: Prof. Dr. K. Madlener, Grundstudium
- Proseminar: Proseminar Logik (2), LG Grundlagen der Programmierung
WS 1998/1999
- Vorlesung: Elektronischer Handel (2), Dozenten: Dr. B. Reinert, Dr. J. Reinert
- Seminar: Wortersetzungssysteme (2)
- Praktikum: Wortersetzungssysteme
SS 1998
- Vorlesung: Wortersetzungssysteme (4 + 2), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Praktikum: Effiziente Algorithmen
- Seminar/Proseminar: Effiziente Algorithmen und Spezifikationstechniken (2), LG Grundlagen der Programmierung
WS 1997/1998
- Vorlesung: Programmieren mit Gleichungen (4 + 2), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
- Seminar: Computeralgebra (2), LG Grundlagen der Programmierung
- Vorlesung: Gröbnerbasen (2), Dozentin: Dr. B. Reinert
- Vorlesung: Worte: Kombinatorische und algorithmische Eigenschaften (2), Dozentin: Dr. A. Sattler-Klein

RG Foundations of Informatics

Department of Informatics

Technical University of Kaiserslautern

Last Update: Monday, 10-Oct-11 12:57:01 GMT
madlener@informatik.uni-kl.de