| 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 |
| - 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 |
| - 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 |