Formal Languages
Colloquium in honour of Arto Salomaa

Turku
Sunday July 11, 2004
starting at 9.30 am

This is a one day colloquium in honour of Academician Arto Salomaa on the occasion of his 70th birthday. The day is dedicated to general topics in theoretical computer science, and it consists of six invited talks by distinguished scientists.

The registration fee includes the coffees and the lunch during the colloquium on Sunday.
It should be paid when registering to ICALP'04.

The colloquium will take place in the Mauno Koivisto Centre. For instructions how to get there, see the webpage of the ICALP'04.

Program   (Sunday July 11, 2004)

09:30 - 10:15	Opening and Coffee
10:15 - 11:00	Grzegorz Rozenberg,   TBA
11:15 - 12:00	Maurice Nivat,   Matrices with integer coefficients
12:15 - 14:00	Lunch Break
14:00 - 14:45	Werner Kuich,   An Algebraic Generalization of w-Regular and w-Context-Free Languages
15:00 - 15:45	Wolfgang Thomas,   Finite Automata and Algorithmics on Infinite Graphs
16:00 - 16:15	Coffee Break
16:15 - 17:00	Gheorge Paun,   Membrane Computing. Back to Turku After Six Years
17:15 - 18:00	Sheng Yu,   State Complexity: Recent Results and Open Problems