17.00-20.00 Registrierung mit Willkommensbüffet
| 10.00-11.00 | Registrierung |
| 11.00-12.00 | Erzsébet CSUHAJ-VARJÚ: Grammar Systems: Power, Size, Universality |
| 12.00-14.00 | Mittagspause |
| 14.00-15.00 | Georg GOTTLOB: Web Data Extraction - From Theoretical Foundations to a Product |
| 15.00-15.30 | Pause |
| 15.30-16.30 | Manfred DROSTE: Weighted Automata and Weighted Logics with Discounting |
| 16.30-17.00 | Pause |
| 17.00-18.00 | Jozef GRUSKA: Quantum Entanglement and Nonlocality as new Resources for Quantum Computation, Communication and Cryptography |
| 9.15-10.15 |
H. Bordihn, Gy. Vaszil:
On Leftmost Derivations in CD Grammar Systems B. Sunckel: Beschreibungskomplexität von CD Grammatiksystemen von endlichem Index J. Dassow, B. Truthe: Kontextfreie PC-Grammatiksysteme zum Erzeugen einer Sprache mit Verschränkung |
| 10.15-10.40 | Pause |
| 10.40-12.00 |
R. Stiebe: On Transposable Siromoney Matrix Languages B. Borchert, K. Reinhardt: Deterministically and Sudoku-Deterministically Recognizable 2-Dimensional Languages M. Kutrib, A. Malcher: Large Fast Iterative Arrays with Restricted Inter-Cell Communication: Computational Capacity M. Kutrib, A. Malcher: Constructions and Decidability Questions in Real-Time Iterative Arrays with Restricted Inter-Cell Communication |
| 12.00-13.30 | Mittagspause |
| 13.30-14.30 | H. Gruber, M. Holzer: Results on the Average State and Transition
Complexity of Finite Automata Accepting Finite Languages H. Gruber, M. Holzer: Finding Upper Bounds for Nondeterministic State Complexity is Hard H. Bordihn, M. Holzer, M. Kutrib: Hybrid Extended Finite Automata |
| 14.30-15.00 | Pause |
| 15.00-16.00 | I. Meinecke: Gewichtete verzweigende Automaten S. Schwarz: Gewichtete und andere mehrwertige Logiken P. Leupold: Duplication Roots |
| 16.00-16.30 | Pause |
| 16.30-17.30 |
J.Glöckler: Forgetting Automata and Unary Languages J. Reimann: On the Descriptional Efficiency of Restarting Automata H. Stamer, F. Otto: Restarting Tree Automata |
| 17.30-18.00 | Pause |
| 18.00-19.00 | GI Fachgruppensitzung (mit Neuwahl der Fachgruppenleitung!) |
| 9.15-10.15 | S. Voigt, M. Sturm: DNA-Computing in vivo C. Hofmann, M. Sturm: DNA-basierte Modelle - eine spieltheoretische Verifikation T. Hinze, T. Lenser, P.Dittrich: Zellsignalnetzwerke - Biologische Computer mit universeller Berechnungsstärke |
| 10.15-10.45 | Pause |
| 10.45-12.25 | A. Alhazov, R. Freund, M. Oswald, M. Slavkovik: Extended Spiking Neural P Systems as Generating Devices
for Strings and Vectors of Non-Negative Integers R. Freund, M. Oswald, T. Schirk: Membrane Systems with Attributes for Modelling Business Transactions A. Binder, R.Freund, G. Lojka, M. Oswald: Modelling Distributed Systems by P Systems R. Freund, T. Gschwandtner: P Systems for Modelling Biological Processes in Living Cells R. Freund, M. Oswald: (Mem)Brane Systems and Tissue P Systems with Mate and Drip Operations |
| 12.25-12.30 | Closing |