Theorietag 2000 - Programm

Theorietag 2000 - Programm

Sonntag, 24. September 2000

18.00-21.00 Welcome Reception

Workshop New Computing Paradigms

Montag, 25. September 2000

9.25 Opening

Molecular Computing

09.30-10.30 Gheorghe PAUN On the Generative Power of P Systems
10.30-11.30 Erzsébet CSUHAJ-VARJÚ On Language-theoretic Aspects of Watson-Crick Complementarity: Models and Results
11.30-12.30 Natasha JONOSKA Computing with Biomolecules

Quantum Computing

14.00-15.00 Jozef GRUSKA Quantum Puzzles, Mysteries and Paradoxes
15.00-16.00 Rusinš FREIVALDS Quantum Finite Automata
16.00-17.00 Karl SVOZIL Quantum Information: the New Frontier

Theorietag 2000

Dienstag, 26. September 2000

09.25-09.30 Eröffnung
09.30-09.50 Markus HOLZER TANTRIX: Rotation Puzzles are Intractable
09.50-10.15 Klaus REINHARDT Die #a=#b Bilder sind erkennbar
10.15-10.40 Pause
10.40-11.00 Klaus WICH Sublineare Mehrdeutigkeit
11.00-11.20 Andreas KLEIN Parsen von erweiterten regulären Ausdrücken
11.20-11.35 Benedikt BOLLIG Deciding LTL over Mazurkiewicz Traces
11.35-13.30 Mittagspause
13.30-13.35 Organisatorisches
13.35-14.00 Henning BORDIHN On the Number of Active Symbols in L and CD Grammar Systems
14.00-14.20 Ralf STIEBE Node Replacement D0L Systems
14.20-14.35 Bernd REICHEL A Remark on the Succinctness of Descriptions of Context-free Languages by Cooperating Distributed Grammar Systems
14.35-15.00 Pause
15.00-15.20 Martin KUTRIB Deterministische Turingmaschinen zwischen Real- und Linearzeit
15.20-15.40 Jan-Thomas B. LOEWE Auf Zellularautomaten basierende Bilderzeugung und -kompression
15.40-16.00 Pause

16.00-17.00 Fachgruppensitzung

19.00 HEURIGER

Mittwoch, 27. September 2000

09.25-09.30 Organisatorisches 09.30-09.55 Gundula NIEMANN McNaughton Languages
09.55-10.15 Jens WOINOWSKI A Normal Form for Church-Rosser Language Systems
10.15-10.35 Johannes WALDMANN Fixpunkte von Morphismen und Normalformen von Ersetzungssystemen
10.35-10.55 Daniel KIRSTEN Defining formal power series by formal languages (file not yet available)
10.55-11.10 Pause
11.10-11.35 Thomas HINZE Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation
11.35-12.00 Rudolf FREUND Sequential P-Systems
12.00 Schluss des Theorietags

Email: rudi@logic.at

Homepage Rudolf Freund

Last Update: September, 19^th 2000, 11:00 (RF)
pagemaster