| Wednesday, October 3, 2001 | |
|---|---|
| 15:00-16:30 | Optional:
Visit to the exhibition Otto der Große - Magdeburg und Europa Meeting-place: 14:50 o'clock in front of the "Kulturhistorisches Museum" Magdeburg |
| 16:00- | Arrivel in Wendgräben |
| 19:00 | Dinner |
| Thursday, October 4, 2001 | |
|---|---|
| Workshop Coding Theory and Formal Languages | |
| 8:55 | Welcoming |
| 09:00-10:00 |
Véronique Bruyère (Mons, Belgien): Completion of Codes |
| 10:00 | Coffee Break |
| 10:30-11:30 |
Masami Ito (Kyoto, Japan): Set of Primitive Words and Related Languages |
| 11:30 | Lunch |
| 14:00-15:00 |
Helmut Jürgensen (Potsdam und London, Kanada): Synchronizing Codes |
| 15:00 | Coffee Break |
| 15:30-16:30 |
Juhani Karhumäki (Turku, Finnland): From Words to Finite Sets of Words |
| 17:00 | Optional: Besichtigung der St. Laurentius-Kirche in Loburg |
| 18:30 | Dinner |
| Friday, October 5, 2001 | |
|---|---|
| Theorietag Automaten und Formale Sprachen | |
| 8:55 | Opening of the Theorietag |
| 09:00-09:25 |
Oliver Boldt (Potsdam): Solid Codes and HS-Codes |
| 09:25-09:50 |
Ludwig Staiger (Halle): Decidability of Code Properties |
| 09:50-10:15 |
Andreas Klein (Kassel): Faltungscodes aus Sicht der Automatentheorie |
| 10:15 | Coffee Break |
| 10:30-10:55 |
Heiko Vogler (Dresden): Tree Transducers with Costs |
| 10:55-11:20 |
Claus Jürgensen (Dresden): Composition of Tree Transducers versus Categorical Deforestation |
| 11:20-11:45 |
Heiko Stamer (Leipzig): Dreibeinige PCP-Biber |
| 11:45-12:10 |
Fritz v. Haeseler (Leuven, Belgien): A Geometric Cobham-Semenov Theorem |
| 12:10 | Lunch |
| 14:30-14:55 |
Markus Holzer (München): Assembling Molecules in Atomix is Hard |
| 14:55-15:20 |
Holger Petersen (Stuttgart): Das Wortproblem regulärer Ausdrücke mit Durchschnitt ist vollständig für LOGCFL |
| 15:20-15:45 |
Klaus Reinhardt (Tübingen): Über die Multiparty-Kommunikationskomplexität regulärer Sprachen |
| 15:45 | Coffee Break |
| 16:00-16:25 |
Jan-Thomas Löwe (Giessen): Auf Zellularautomaten basierende Bilderzeugung und -kompression (Fortsetzung) |
| 16:25-16:50 |
Dietrich Kuske (Leicester, England): Welche Kommunikationsprotokolle lassen sich mit endlichen Automaten beschreiben? |
| 16:50-17:15 |
Martin Kutrib (Giessen): State Complexity of Basic Operations on Nondeterministic Finite Automata |
| 17:15-17:40 |
Friedrich Otto (Kassel): Shrinking Alternating Two-Pushdown Automata |
| 17:50 | Meeting of GI-Group 0.1.5 |
| 18:30 | Dinner |
| Saturday, October 6, 2001 | |
|---|---|
| Theorietag Automaten und Formale Sprachen (Fortsetzung) | |
| 09:00-09:25 |
Benedikt Bollig (Aachen): Generalised Regular MSC Languages |
| 09:25-09:50 |
Henning Bordihn (Potsdam): Decision Problems on the Power of Languages |
| 09:50-10:15 |
Klaus Wich (Stuttgart): Inhärenz der Mehrdeutigkeitsfunktionen kontextfreier Grammatiken |
| 10:15 | Coffee Break |
| 10:30-10:55 |
Suna Aydin (Potsdam): Dialogues as Cooperating Grammars |
| 10:55-11:20 |
Ralf Stiebe (Magdeburg): Positive Valence Grammars |
| 11:20-11:45 |
Henning Fernau (Tübingen): Even Linear Simple Matrix Languages: Formal Language Properties and Grammatical Inference |
| 11:45-12:10 |
Rudolf Freund (Wien, Österreich): Variablenkomplexität in graphkontrollierten, programmierten und Matrix-Grammatiken |
| 12:10 | Lunch and End of the Theorietag |
| Theorietag 2001 Homepage |
| Bernd Reichel, Magdeburg 26.09.2001 |