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