Seminar (mit Bakkalaureatsarbeit)
LVA 185.188, SE 3.0, 2004 S
und
Wissenschaftliches Arbeiten
LVA 185.217, PS 2.0, 2004 S

Seminar (mit Bakkalaureatsarbeit) und Wissenschaftliches Arbeiten

Diese Lehrveranstaltungen werden regelmäßig zu einem gemeinsamen Thema angeboten. Das Thema für das Sommersemester 2004 lautet:

Abstrakte Interpretation und Model Checking

Abstrakte Interpretation ist seit drei Jahrzehnten die Grundlage für Programmanalysen mit zahlreichen Anwendungen in optimierenden Übersetzern. Im letzten Jahrzehnt sind auch auf Model Checking basierende Techniken erfolgreich im Übersetzerbau eingesetzt worden. Im Mittelpunkt des Seminars bzw. Proseminars stehen aktuelle und klassische Arbeiten aus den Bereichen abstrakte Interpretation und Model Checking, sowie Arbeiten, in denen eine Brücke zwischen abstrakter Interpretation und Model Checking und zu anderen verwandten Gebieten wie Datenflussanalyse geschlagen wird.

Ziele:

Ein Überblick über das Thema wird vermittelt. Daneben erlernen die TeilnehmerInnen auch die Grundlagen wissenschaftlichen Arbeitens: Literatursuche, selbständiges Erarbeiten des Inhalts wissenschaftlicher Literatur, Vortragstechnik und das Abfassen und Beurteilen von Texten. Beim "Seminar (mit Bakkalaureatsarbeit)" wird darüber hinaus das selbständige Verfassen umfangreicherer Texte geübt.

Durchführung:

JedeR TeilnehmerIn erarbeitet sich einen Teilbereich des Themas selbständig anhand vorgegebener Literatur und gibt die gewonnenen Erkenntnisse durch einen Vortrag an die KollegInnen weiter. In einer anschließenden Diskussion werden die Ergebnisse verdeutlicht. Eine schriftliche Zusammenfassung wird an eineN andereN TeilnehmerIn übergeben, die/der diese Arbeit begutachtet und Verbesserungsvorschläge macht. Die Endversionen der schriftlichen Arbeiten werden zu einem Seminarband zusammengefasst. TeilnehmerInnen am "Seminar (mit Bakkalaureatsarbeit)" müssen zusätzlich eine umfangreichere Zusammenfassung der Literatur zu ihrem Thema erstellen.

Erste Aufgabe:

Die erste Aufgabe besteht in der Suche nach relevanter Literatur und ist bereits bis zum ersten Treffen nach der Vorbesprechung (18. März) durchzuführen. Beachten Sie die Hinweise zur Erstellung der schriftlichen Ausarbeitung und zum Vortrag.

Bakkalaureatsarbeit:

Die Grundlage der schriftlichen Ausarbeitung und des Vortrages soll die Literatur sein, die die TeilnehmerInnen beim Treffen am 18. März zugewiesen erhalten. Von TeilnehmerInnen am "Seminar (mit Bakkalaureatsarbeit)" (nicht jedoch von Teilnehmern am Proseminar "Wissenschaftliches Arbeiten") wird erwartet, dass sie in Ihrer Bakkalaureatsarbeit (zusätzlich zu ihrer kurzen Ausarbeitung) einen umfassenden Überblick über andere verwandte Artikel geben.

Voraussetzung:

Interesse am Thema

Zeit und Ort:

Ein Treffen zur Themenvergabe und Erläuterung der durchzuführenden Arbeiten findet am 18. März 2004 von 9:30 bis 11:00 Uhr im Vortmann HS (Getreidemarkt 9, Chemiegebäude, Eckbau, 3. Obergeschoss, Stiege VII) statt. Dabei werden auch Vortragstermine vereinbart. Die Vorträge werden in drei Gruppen am 27., 28. und 30. April in der Abteilungsbibliothek des Instituts (Argentinierstr. 8, 4. Obergeschoss) jeweils von 9 bis 17 Uhr gehalten.

Teilnehmerliste und Gruppeneinteilung

Hinweise:

Für TeilnehmerInnen besteht Anwesenheitspflicht. Die Teilnehmerzahl ist beschränkt. Wegen des grossen Interesses bei der Vorbesprechung am 3.3. sind keine Anmeldungen mehr möglich.

Literatursuchdienste

Aufbau wissenschaftlicher Artikel (auch als Postscript-Version).

Betreuer und weitere Informationen:

Franz Puntigam, Tel.: 58801/18514, franz@complang.tuwien.ac.at
Jens Knoop, Tel.: 58801/18510, knoop@complang.tuwien.ac.at