Seminar FGI 3: Logik und Semantik von Programmen
(Wintersemester 2014/15)

Veranstalter:

Manfred Kufleitner, Michael Köhler-Bußmeier und Rüdiger Valk

Termine der Seminargruppen:

• Mo 12-14 C-221 R. Valk Seminarthemen
• Fr 12-14 D-220 M. Kufleitner Details
• Fr 16-18 C-221 M. Kufleitner Details
• Blocktermine M. Köhler-Bußmeier Seminarthemen

Kommentare/Inhalte:

Die formale Beschreibung des Verhaltens von Informatiksystemen durch verschiedene Methoden der Semantik und Logik ist von großer Bedeutung, z.B. um Portabilität (d.h. Ausführung auf verschiedenen Plattformen) oder Mobilität (d.h. Ausführung in verschiedenen Umgebungen) zu erzielen. Solche Methoden sind auch für die formale Verifikation wichtig.

Lernziel:

Lernziel ist die Fähigkeit zur fachlich qualifizierten Reflexion und Artikulation über ein Fachthema der Informatik. Dabei sind Formen der Präsentation, Vortragsweise und schriftlichen Darstellung zu üben. Das Angebot gilt auch für Diplomstudierende und kann als Stoff für Vertiefungsprüfungen verwandt werden. Es ist Pflicht für das Mastermodul FGI 3.

Vorgehen:

Vorträge der einzelnen TeilnehmerInnen.

Literatur:

Wird noch bekannt gegeben.