The Eighth International Conference on
Developments in Language Theory (DLT'04)
Massey University at Albany
The CDMTCS at the University of Auckland
13-17 December 2004, Massey University at Albany
Auckland, New Zealand
18:00-20:30 Sunday welcome and early registration
8:00-12:00 Monday registration
9:00-9:30 Conference Opening
Invited talk:
9:30-10:30 Bruno Courcelle.
Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey
10:30-11:00 Tea break
Invited talk:
11:00-12:00 Rodney G. Downey.
Some New Directions and Questions in Parameterized Complexity
12:00-14:00 Lunch break
Contributed talk:
14:00-14:30 Marcella Anselmo, Dora Giammarresi and Maria Madonia.
Regular Expressions for Two-dimensional Languages over One-Letter
Alphabet
Contributed talk:
14:30-15:00
Bernd Borchert, Klaus-Jörn Lange, Frank Stephan,
Pascal Tesson and Denis Thérien.
The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels
Contributed talk:
15:00-15:30
Christian Choffrut, Massimiliano Goldwurm and Violetta Lonati.
On the Maximum Coefficients of Rational Formal Series in Commuting Variables
15:30-16:00 Tea break
Contributed talk:
16:00-16:30
Martin Kutrib, Andreas Malcher and Detlef Wotschke.
The Boolean Closure of Linear Context-Free Languages
Contributed talk:
16:30-17:00
Stephen R. Lakin and Richard M. Thomas.
Context-Sensitive Decision Problems in Groups
Poster talk:
17:00-17:30
Jiri Wiedermann.
Self-reproduction by Self-assembly and Fission
Poster talk:
17:30-18:00
Benedek Nagy.
A Normal Form for Regular Expressions
Poster talk:
18:00-18:30
Manfred Kudlek and Roxana Melinte.
On Black Hole Languages
Contributed talk:
9:00-9:30
Rudolf Freund.
P Systems Working in the Sequential Mode on Arrays and Strings
Contributed talk:
9:30-10:00
Shunsuke Inenaga, Ayumi Shinohara and Masayuki Takeda.
An Efficient Pattern Matching Algorithm on a Subclass of Context Free Grammars
Contributed talk:
10:00-10:30
Bianca Truthe.
A Method for Deciding the Finiteness of
Deterministic Tabled Picture Languages
10:30-11:00 Tea break
Contributed talk:
11:00-11:30
Sergey Verlan.
Tissue P Systems with Minimal Symport/Antiport
Contributed talk:
11:30-12:00
Daniel Reidenbach.
On the Equivalence Problem for E-pattern Languages over Small Alphabets
12:00-14:00 Lunch break
Contributed talk:
14:00-14:30
Mark Daley and Michael Domaratzki.
On Codes Defined by Bio-Operations
Contributed talk:
14:30-15:00
Chloé Rispal and Olivier Carton.
Complementation of Rational Sets on Countable Scattered Linear Orderings
Contributed talk:
15.00-15:30
Michael Domaratzki.
Semantic Shuffle on and Deletion along Trajectories
15:30-16:00 Tea break
Contributed talk:
16:00-16:30
Ludwig Staiger.
On the Hausdorff Measure of w-power Languages
Poster talk:
16:30-17:00
Liliana Cojocaru.
Communication Complexity Classes for Distributed Generation of Languages
Poster talk:
17:00-17:30
Sergey Afonin, Elena Hazova, Alexander Shundeev.
On Regular Language Factorisation: a Complete Solution for Unary Case
Poster talk:
17:00-17:30
Gerhard Lischke.
Restoration of Punctured Languages
Poster talk:
17:30-18:00
Sándor Horváth and Manfred Kudlek.
A Full Range of Continuum Many Non-context-free Languages with Strong Iteration
Contributed talk:
9:00-9:30
Flavio D'Alessandro and Stefano Varricchio.
Avoidable Sets and Well Quasi-Orders
Contributed talk:
9:30-10:00
T. Jurdzi\'nski,
F. Otto,
F. Mráz and
M. Plátek.
On the Complexity of 2-Monotone Restarting Automata
Contributed talk:
10:00-10:30
Jürgen Dassow.
A Ciliate Bio-Operation and Language Families
10:30-11:00 Tea break
Invited talk:
11:00-12:00 Grzegorz Rozenberg.
Computation in Living Cells: The Quest for Discovery of Biological Hardware
Contributed talk:
12:00-12:30
Igor Potapov.
From Post Systems to the Reachability Problems for
Matrix Semigroups and Multicounter Automata
17:00-23:00 Cruise and Dinner with 67ft Catamaran
Contributed talk:
9:00-9:30
Henning Bordihn, Markus Holzer and Martin Kutrib.
Input Reversals and Iterated Pushdown Automata: A New
Characterization of Khabbaz Geometric Hierarchy of Languages
Contributed talk:
9:30-10:00
Jozef Gruska,
Salvatore La Torre
and
Mimmo Parente.
Optimal Time & Communication Solutions of
Firing Squad Synchronization Problems
on Square Arrays, Toruses and Rings
Contributed talk:
10:00-10:30
Narad Rampersad.
Words Avoiding [7/3]-Powers and the Thue-Morse Morphism
10:30-11:00 Tea break
Invited talk:
11:00-12:00 Natasa Jonoska.
Algebraic and Topological Models for DNA Recombinant Processes
14:30-22:00 Tour and Vineyard Dinner
Contributed talk:
9:00-9:30
Oscar H. Ibarra, Hsu-Chun Yen and Zhe Dang.
The Power of Maximal Parallelism in P Systems
Contributed talk:
9:30-10:00
Maurice H. ter Beek,
Erzsébet Csuhaj-Varjú,
Markus Holzer and
György Vaszil.
On Competence in CD Grammar Systems
Contributed talk:
10:00-10:30
Oleksiy Kurganskyy and Igor Potapov.
On the Computation Power of Finite Automata in Two-dimensional
Environments
10:30-11:00 Tea break
Invited talk:
11:00-12:00 Anca Muscholl.
A Kleene Theorem for a Class of
Communicating Automata with Effective Algorithms
12:00-14:00 Lunch break
Contributed talk:
14:00-14:30
T. Jurdzi\'nski,
F. Otto,
F. Mráz and
M. Plátek.
On Left-Monotone Deterministic Restarting Automata
Contributed talk:
14:30-15:00
Dietrich Kuske and Peter Weigel.
The Role of the Complementarity Relation in Watson-Crick
Automata and Sticker Systems
Contributed talk:
15:00-15:30
Markus Lohrey.
Decidability and Complexity in Automatic Monoids
15:30-16.:00 Tea break
Contributed talk:
16:00-16:30
Chiara Epifanio,
Filippo Mignosi,
Jeffrey Shallit and
Ilaria Venturini.
Sturmian Graphs and a Conjecture of Moser
Contributed talk:
16:30-17:00
Andreas Maletti.
Relating Tree Series Transducers and Weighted Tree Automata
Contributed talk:
17:00-17:30
Anca Muscholl and Igor Walukiewicz.
An NP-Complete Fragment of LTL
17:30-18:00 Closing Meeting
Michael Dinneen
Bakh Khoussainov
Maurice Margenstern
Masami Ito
Jiri Wiedermann
Rudolf Freund
Hossein Sarrafzadeh
Markus Holzer
Ludwig Staiger
Elena Calude
Jürgen Dassow
Oscar Ibarra
David Parsons
Manfred Kudlek
Robert McKibbin
Heath James