| Montag, 23. September 2002 | |
|---|---|
| 16:00- | Ankunft in Wittenberg |
| Dienstag, 24. September 2002 | |
|---|---|
| Workshop Berechenbarkeit und Komplexität in der Analysis | |
| 9:25-9:30 | Begrüßung der Teilnehmer zum Workshop |
| 09:30-10:30 |
Klaus Weihrauch (Hagen): Rechnen im Bereich der reellen Zahlen |
| 10:30-11:00 | Kaffeepause |
| 11:00-12:00 |
Vasco Brattka (Hagen): Berechenbare Teilmengen metrischer Räume |
| 12:00-13:30 | Mittagspause |
| 13:30-14:30 |
Peter Hertling (Hagen): Approximierbarkeit und Zufälligkeit reeller Zahlen |
| 14:30-15:00 | Kaffeepause |
| 15:00-16:00 |
Norbert Müller (Trier): Komplexität in der Analysis |
| Mittwoch, 25. September 2002 | |
|---|---|
| Theorietag Automaten und Formale Sprachen | |
| 9:25-9:30 | Begrüßung zum Theorietag |
| 09:30-09:55 |
Björn Borchardt (Dresden): Determinization of bottom-up finite state weighted tree automata |
| 09:55-10:20 |
Martin Kutrib (Giessen): Self-Assembling Finite Automata |
| 10:20-10:40 | Kaffeepause |
| 10:40-11:05 |
René Mazala (Halle): Berechnung der Hausdorff-Dimension regulärer  -Sprachen
|
| 11:05-11:30 |
Jan-Henrik Altenbernd (Aachen): Tiling-Systeme über unendlichen Bildern und ihre Akzeptanzbedingungen |
| 11:30-13:30 | Mittagspause |
| 13:30-13:55 |
Jan-Thomas Löwe (Giessen): Mustererzeugung mit Zellularautomaten |
| 13:55-14:20 |
Renate Winter (Halle): Möglichkeiten der Lösung des CLIQUE-Problems |
| 14:20-14:45 |
Rudolf Freund (Wien, Österreich): P-Systeme mit Energiekontrolle |
| 14:45-15:10 |
Marion Oswald (Wien, Österreich): Verallgemeinerte P-Systeme mit verbotenem Kontext |
| 15:10-15:30 | Kaffeepause |
| 15:30-15:55 |
Alf Richter (Leipzig): The Leipzig autotool System for Grading Student Homework |
| 16:30-17:30 | Fachgruppensitzung |
| Donnerstag, 26. September 2002 | |
|---|---|
| Theorietag Automaten und Formale Sprachen (Fortsetzung) | |
| 09:30-09:55 |
Andreas Klein (Kassel): Verallgemeinerte kontextfreie Grammatiken |
| 09:55-10:20 |
Markus Holzer (München): On Deterministic Finite Automata and Syntactic Monoid Size |
| 10:20-10:40 | Kaffeepause |
| 10:40-11:05 |
Roman König (Erlangen): Berechnung von Implikationen |
| 11:05-11:30 |
Henning Bordihn (Potsdam): Beschreibungskomplexität sequentieller und paralleler Grammatiken |
| 11:30-13:30 | Mittagessen und Ende des Theorietages |
| Homepage des 12. Theorietages |
| René Mazala, Halle, den 02.09.2002 |