17.06.2004: Dr. Bernhard Beckert, "Formale Verifikation objekt-orientierter Software"
PDF (34kB, 2013-02-14)

08.06.2004: Dr. Markus Bläser, "Algorithmische Probleme in Netzwerken"

17.06.2004: Dr. Bernhard Gramlich, "Strategien in Computationaler Logik"
PDF (35kB, 2013-02-14)

13.12.2004: Oliver Heckmann, "Providing efficient IP services with support for quality of service"

23.04.2004: Gordon Kindlman, "Tensor invariants, their gradients, and their fallings"

08.06.2004: Dr. Maciej Liśkiewicz, "Sicherung der Privatsphäre in verteilten Systemen"

07.06.2004: Dr. Markus Nebel, "Zufall in der Algorithmik"

07.06.2004: Dr. Rolf Niedermeier, "Parametrisierte Komplexität in Theorie und Praxis"

20.12.2004: Prof. Dr. W. J. Paul, "Engeneering a provably correct operating system microkernel"

08.07.2004: Dr. Jörg Peters, "Shape Characterization of (subdivision) Surfaces"

07.05.2004: Dr. Birgit Reinert, "Abhängigkeiten zwischen Schlüsselwahl und Schlüsselalgorithmus am Beispiel der EC-Karte"

13.12.2004: Prof. Dr. B. Seeger, "PIPES: Eine Infrastruktur für die Anfrageverarbeitung auf Datenströmen"

26.07.2004: Steffen Skatulla, "Storage, Indexing and Processing of Complex Objects in ORDBMS"

26.04.2004: Prof. Dr. Dr. h.c. Manfred Broy und Prof. Dr. David Parnas
"Deficits in Software Engineering Research and Education"

16.06.2004: Dr. Tsuyoshi Takagi, "Beweisbar sichere und effiziente Kryptographie"
PDF (36kB, 2013-02-14)

23.04.2004: Dr. Xavier Tricoche, "Visualizing the Topology of Tensor Fields"

16.06.2004: Dr. Christoph Weidenbach, "Automatischer Nachweis von Eigenschaften mit SPASS 2.1"
PDF (35kB, 2013-02-14)

23.04.2004: Dr. Thomas Wischgoll, "Detection of Closed Hyperstreamlines"