| Seminar WS 2004/2005
Lesegruppe Compileroptimierungen und -verifikation jeweils Dienstags, 10:00 im AVG 2. OG Raum 211 (Küche)
erster Termin: 8.2.2005
Diese Veranstaltung soll ein Forum darstellen, um aktuelle Forschungsfragen zu diskutieren.
Behandelt werden u.a. Themen aus Compileroptimierung und -verifikation sowie Software Engineering (insbesondere Komponentensysteme).
Jedes Treffen findet unter einem Themenschwerpunkt statt, zu dem auch
Literatur bekanntgegeben wird.
Die Lesegruppe ist weniger als geschlossene Veranstaltung anzusehen, sondern als eine Menge
einzelner Termine mit verschiedenen Inhalten.
Wer also Lust hat, bei einem Kaffee in netter Runde aktuelle Themen aus
Compileroptimierung und -verifikation zu diskutieren, ist herzlichst
eingeladen. Angeregte Diskussionen können auch im Anschluß in der
Mensa weitergeführt werden (wo wir für Nachzügler auch gegen
12 Uhr anzutreffen sind).
zur Homepage
Veranstalter
| |
