Informatik Seminar Wintersemester 2008/09

Ulrich Furbach

Termine

Vorbesprechung: 20. Oktober 2008 von 12:00 bis 13:00. Ort: A120
Das Seminar findet als Blockveranstaltung am Montag den 2.3.2009 statt, von 8:30 bis 16:00 Uhr, im Raum B 016.

Programm

8:30 - 9:30 Simeon Maxein: "Spatial Reasoning" (Betreuer: Björn Pelzer) Folien Ausarbeitung
9:30 - 10:30 Jens Vieweg: "WLAN Network Security" (Sebastian Magnus)Folien Ausarbeitung
10:30 - 11:30 Peter Koch: "E-Payment im Internet" (Sebastian Magnus)Folien Ausarbeitung
11:30 - 13:00 Mittagspause
13:00 - 14:00 Carsten Schneider: "Verification of Linked Data Structures with Jahob" (Thorsten Bormer)
14:00 - 15:00 Sarah Grebing: "Two Prominent Techniques in SMT Solvers" (Christoph Gladisch)Folien Ausarbeitung
15:00 - 16:00 Heiko Günther: "Gröbner-Basen" (Vladimir Klebanov)

Voraussetzungen zur Erlangung des Scheins

Halten (in freier Rede) eines selbständig und sorgfältig erarbeiteten Vortrags von ca. 45 Minuten mit anschließender Diskussion. Anwesenheit bei den Seminarvorträgen und Beteiligung an der Diskussion nach den Vorträgen. Anfertigung einer Ausarbeitung zum Thema des Vortrags von ca. 10 Seiten. Wie bei wissenschaftlichen Konferenzen üblich soll hierfür der LNCS-Style des Springer-Verlags verwendet werden. Formatvorlagen für LaTeX und MS Word können von der Springer-Webseite heruntergeladen werden. Nutzer von MS Word müssen ihre Ausarbeitung als PostScript oder PDF einreichen. Wir empfehlen die Verwendung von LaTeX.

Links

AGKI Wiki KLIPS