(Nice GIF) Forschungsseminar Theoretische Informatik


Termin: dienstags 10:30 Uhr, Raum H 406

weitere wichtige Termine


(Some Links accessible for local users only! Sorry to all others.)
Wintersemester 2003/2004
28.10.03
Lital Shestowitz: Praktikum im Sommer 2003; ein Rückblick.
23.10.03-- 16:30 Uhr
Mingchao Ma: Building an Ubiqutious Capture and Access System for eLearning.
21.10.03
Seminar wird auf den 23.10. verschoben.
14.10.03
Xinhua Zhang: Enhance OpenSST Protocol's Security with Smart Card.
07.10.03
Lutz Vorwerk: Kontrolle klassifizierter sicherheitskritischer Prozesse telemedizinischer Anwendungen.


Sommersemester 2003
30.09.03
Ji Hu: Design of TeleLab IT Security.
23.09.03
Mingchao Ma: Metadata and Content Management.
16.09.03
das Seminar fällt leider aus.
09.09.03
Chunyan Jiang: Concepts for DICOM about 3D Image Data Interchange
02.09.03
Torsten Becker: GPS-unterstütztes Fahrtenbuch für Pocket PCs
26.08.03
Oliver Zofic: ECCC - Electronic Colloquium on Computional Complexity - presentation of the system and new updates
19.08.03
Uwe Roth: Eine kleine Einführung in XSLT
12.08.03
Feng Cheng: A Complete Solution for Highly Secure Data Exchange: Lock-Keeper and its Advancements.
05.08.03
das Seminar fällt leider aus.
29.07.03
Wanjun Huang: From Configurable to Reflective Middleware.
22.07.03
Betriebsausflug: kein Seminar.
15.07.03
Long Wang: Extensions of JDaphne.
08.07.03
Volker Klotz: Primes is in P.
01.07.03
Ingo Scholtes: Erweiterung der DICOM-Management Suite um ein verteiltes objektorientiertes Datenbanksystem mit DICOM-Schnittstelle.
24.06.03
Oliver Zlotowski: Implementierung eines generischen Observer Pattern in C++.
17.06.03
kein Seminar!
10.06.03
Pfingstferien
03.06.03
Michael Schmitt: Automatische Testgenerierung basierend auf formalen Spezifikationen.
27.05.03
das Seminar fällt leider aus.
20.05.03
Volker Schillings: Diskussion: "course management"-Systeme.
13.05.03
Andreas Hau: Metadatenbasierte Aufbereitung multimedialer tele-TASK-Daten mit Hilfe von RDF.
06.05.03
das Seminar fällt leider aus.


Wintersemester 2002-2003
11.02.03
Tong Bo Chen, Volker Schillings: tele-TASK: Formats, Compression and Future Work.
04.02.03
Genadij Umanskij: Präsentation eines Conference Management Systems.
28.01.03
Stefan Näher: Automatische Visualisierung von STL Algorithmen.
21.01.03
Volker Klotz: Circuit Decomposition using a Case-Based Transformation.
14.01.03
das Seminar fällt leider aus
07.01.03
Oliver Zlotowski: The Network Simplex Algorithm for Minimum Cost Flow-Problems.
17.12.02
Mohammad GhasemZadeh: Logic Programming Using BDD's.
10.12.02
Matthias Bäsken: Filtertechniken für exakte und schnelle geometrische Algorithmen.
03.12.02
das Seminar fällt leider aus
26.11.02
Volker Klotz: QUIP: ein Beweissystem für nichtmonotone Logiken
19.11.02
das Seminar fällt leider aus
12.11.02
Tong Bo Chen: Problems, Ideas and Practice in Multimedia



Wichtige Termine
28.04.2003 Beginn der Lehrveranstaltungen SS2003
1.05.2003 Maifeiertag
29.05.2003 Christi Himmelfahrt
10.06.2003 - 13.06.2003 Pfingstferien
19.06.2003 Fronleichnam
02.08.2003 Ende der Lehrveranstaltungen SS2003
27.10.2003 Beginn der Lehrveranstaltungen WS2003/2004

Seminare WS 2001/2002 - SS 2002
Seminare Januar 95 - Juni 2001
Forschungsseminar Theoretische Informatik - Christoph Meinel, Volker Klotz - 23-Oct-2003