Seminar aus Programmiersprachen LVA 185.307, SE 2.0, ECTS 3.0, 2010 S
(zweistündiges Seminar; siehe auch
TUWIS++/185.307)
Haben Sie Interesse an einem geförderten
Auslandsstudium?
Informationen zu Fördermöglichkeiten finden Sie
hier.
Einladung zu Gastvorlesung
Folien der gemeinsamen Vorbesprechung
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