Seminar FGI 3: Logik und Semantik von Programmen
(Wintersemester 2015/16)

Veranstalter:

Frank Heitmann, Michael Köhler-Bußmeier und Rüdiger Valk

Termine der Seminargruppen:

• Gruppe 1, Mo 12-14 Uhr, C-221 bei Frank Heitmann

  Diese Seminargruppe findet semesterbegleitend statt. Das erste Treffen ist in der zweiten Vorlesungwoche am Montag den 19.10.2015. Dort werden die möglichen Themen vorgestellt und diskutiert. Die Themen sind aus dem Bereich der Logik und der Verifikation.

• Gruppe 2, Fr 12-14 Uhr, G-203 bei Rüdiger Valk   Achtung: neuer Seminarraum!

  Diese Seminargruppe findet semesterbegleitend statt. Die Vorbesprechung und Terminvergabe findet in der ersten Sitzung am 16.10. statt. Eine erste Themenliste ist hier zu finden. Sie können per Email an mich (valk@informatik.uni-hamburg.de) Interesse für ein Thema anmelden, das ich in der Vorbesprechung zu berücksichtigen versuche.

• Gruppe 3, Blockveranstaltung bei Frank Heitmann

  Diese Veranstaltung wird kompakt veranstaltet. Der Vorbesprechungstermin findet in der dritten Vorlesungswoche am Montag den 26.10.2015 von 12-14 Uhr in C-221 statt. Die eigentliche Blockveranstaltung wird dann voraussichtlich in der Woche vom 22.02.2016 bis 26.02.2016 jeweils von 10-15 Uhr stattfinden. Die Themen sind aus dem Bereich der Logik und der Verifikation. Die Blockveranstaltung erfordert ein hohes Maß an Selbstständigkeit und Zeitmanagment, da bis zur eigentlichen Blockveranstaltung viel Arbeit bereits erledigt sein muss. Zudem kann in der Blockveranstaltung weniger auf das Üben von Präsentationsformen eingegangen werden als in der semesterbegleitenden Veranstaltung.

• Gruppe 4, Blockveranstaltung bei Michael Köhler-Bußmeier

  Diese Veranstaltung wird kompakt veranstaltet. Es wird einen Vorbesprechungstermin mit Themenvergabe sowie zwei Blocktermine geben. Der Vorbesprechungstermin findet voraussichtlich in der 1. Vorlesungswoche statt (Termin folgt). Die Liste der Themenvorschläge befinden sich als PDF zum Download unter Materialien bei der Gruppe 4. Dort finden sich zudem weitere Hinweise.

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.