Perlen der Informatik (SS 2006)

TU München - Fakultät für Informatik

Vorlesung | Sommersemester 2006
Perlen der Informatik 4
Prof. Tobias Nipkow und Prof. Helmut Veith

Bereich:	Spezialvorlesung im Grundstudium: 2 Std.
Zeit und Ort:	Fr 14:00 - 15:30, Raum 01.11.018
Beginn:	26.4.2006

Vorlesung

Johannes Hölzl: Abstraktion im Model Checking
Ausarbeitung Präsentation
Andreas Weis: MiniSAT
Ausarbeitung Präsentation Demo
Alexander Fischer: Java Bytecode Verifier
Ausarbeitung Präsentation
Lukas Bulwahn: Induktive Modellierung kryptographischer Protokolle
Ausarbeitung Präsentation Beiblatt
Felix Weninger: Symbolic Model Checking of Security Protocols
Ausarbeitung Präsentation
Florian Zuleger: Reelle Quantorenelimination
Ausarbeitung Präsentation

Hörerkreis: Teilnehmer am Begabtenförderungsprogamm der Fakultät

Voraussetzungen: keine