Universitšt Karlsruhe
Lesegruppe

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

Mitarbeiter
Dr. Sabine Glesner
Jan Olaf Blech
Lars Gesellensetter

Login
Links