Program

Monday
9.00-9.30 Opening ceremony
9.30-10.00 The Internet is great but also dangerous
H. Maurer
10.00-10.30 Are you smarter than a cucumber? or How to measure and visualize species' relatedness
L. Kari
10.30-11.00 Coffee break
11.00-11.30 Thue systems: an interplay between mathematics and computer science
Yu. Matiyasevich
11.30-12.00 Understanding quantum randomness
C. Calude
12.00
-
14.00

Lunch
14.00-14.30 Arto at Western, a friendly giant
A. Szilard
14.30-15.00 Regularity since 1982
T. Harju
15.00-15.30 Coffee break
15.30-16.00 The complex state of state complexity
J. Brzozowski
16.00-16.30 On some coloring problems for infinite words
A. de Luca
16.30-17.00 Universal pattern generation by cellular automata
J. Kari
19.00- Dinner

Tuesday
9.00-9.30 Arto Salomaa - pioneer of computer science education
J. Hromkovic
9.30-10.00 Return words and derived words
D. Perrin
10.00-10.30 Coffee break
10.30-11.00 A new acceptance modus for weighted finite automata
W. Kuich
11.00-11.30 Matrices and recursively enumerable sets
J. Honkala
11.30
-
13.30

Lunch
13.30-14.00 Arto Salomaa, the Bourbaki of formal languages
S. Marcus
14.00-14.30 Networks of Watson-Crick D0L systems: new developments
E. Csuhaj-Varjú
14.30-15.00 Coffee break
15.00-15.30 Desriptional complexity of input-driven pushdown automata
K. Salomaa
15.30-16.00 My ways to Artolandia
G. Paun