Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

Einladung zu Gastvorlesung

From Domains to Requirements

Folien der gemeinsamen Vorbesprechung

Folien (pdf)

Inhalt

Diese Lehrveranstaltung wird jedes Semester zu einem anderen Thema aus dem Bereich Programmiersprachen angeboten. Die Lehrveranstaltung für das Wintersemester finden sie hier.

Im Sommersemester 2010 werden wir uns mit dem Thema Advanced Methods for Program Analysis and Verification with Applications in Resource Analysis of Safety-critical Real-time Systems beschäftigen, das wir uns anhand aktueller Forschungsarbeiten in Vorträgen, Diskussionen und Ausarbeitungen erarbeiten werden.

Das Thema des Seminars ist an zwei aktuelle vom FWF (CoSTA: Compiler Support for Timing Analysis) und der EU (ALL-TIMES: Integrating European Timing Analysis Technologies) geförderte Forschungsprojekte angelehnt und bietet damit einen hervorragenden Einstieg in aktuelle Forschungsarbeiten am Arbeitsbereich und ausgezeichnete Möglichkeiten für spätere Praktika und auch Diplomarbeiten.

Die beiden ersten Seminartermine sind wie folgt:

Mi, 03.03.2010, 13-14 Uhr s.t., Hörsaal EI4, 2. Stock, Gußhausstr. 25-29: Gemeinsame Vorbesprechung für alle E185.1-Lehrveranstaltungen.
Mi, 10.03.2010, 14-16 Uhr s.t., Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte): Spezifische Vorbesprechung für das Seminar, Informationen zum Ablauf, Themenvergabe, ggf. Terminverlegung, um Überschneidungen aufzulösen, Festlegung der weiteren Termine, etc.

Der weitere Ablauf des Seminars wird auf Englisch sein. Dafür sind die folgenden Termine geplant, die jeweils pünktlich um 14 Uhr s.t. beginnen und stets in der Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte), stattfinden:

Mon, 15 March 2010: Students' deadline for sending (email to Laura Kovacs at lkovacs at complang.tuwien.ac.at) a list of 3 chosen papers.
Wed, 17 March 2010, 2 p.m. - 4 p.m.:
- How to give talks and write reports (by Laura Kovacs)
- Paper assignments will be published online (shortly after the lecture)
No further meetings in March and April.
Time to contact paper advisors, write reports, and prepare presentations.
Students' presentations will start on 5 May 2010.
- 2 presentations (each of 40 mins) per seminar meeting.
- Choice of student presentations are announced online on Tuesday morning, 10 a.m., the day before the next meeting on Wednesday. All students who are not going to present their paper are required to browse through the two papers selected for presentation to get an informal understanding for the contribution of these two papers, and shall be prepared to answer questions on this.
Wed, 5 May 2010, 2 p.m. - 4 p.m.: 2 presentations
Wed, 12 May 2010, 2 p.m. - 4 p.m.: 2 presentations
Wed, 19 May 2010, 2 p.m. - 4 p.m.: 2 presentations
Wed, 26 May 2010, 2 p.m. - 4 p.m.: 2 presentations and so on...

Betreuer und weitere Informationen:

Jens Knoop, Tel.: 58801/18510, knoop at complang.tuwien.ac.at
Laura Kovacs, Tel.: 58801/18516, lkovacs at complang.tuwien.ac.at
Jakob Zwirchmayr, Tel.: 58801/18517, jak at complang.tuwien.ac.at