Department of Mathematics and Statistics
University of Helsinki
31.8.2005 at 12-18
The workshop Automata, words and logic aims to bring together researchers working on automata theory, combinatorics of words, logic and related areas. This time AWL is arranged in connection to the meeting Finite-State Methods and Natural Language Processing 2005. The goal is to promote interaction between researchers of the field in the Finnish universities, but others are naturally welcome.
The programme will mostly consist of 30-45 minutes presentations given by the participants. The preferred language of the talk is English. Suggestions for titles of talks should be send by 23th of August (extended deadline). Short abstract, if provided, will be copied to the participants. Contact Kerkko Luosto by email <Kerkko.Luosto@Helsinki.FI>.
If you are planning to attend to AWL (without giving a talk), our request is that you send email to <Hannu.Niemisto@Helsinki.FI> with subject line "AWL", your name and your university.
The workshop will take place in the Auditorium of the Arppeanum building in the city centre of Helsinki.
| 12.00-12.30 | Anssi Yli-Jyrä, Some connections between theoretical computer science and linguistics |
| 12.35-13.05 | Eugen Czeizler, A tight linear bound on the neighborhood of inverse cellular automata |
| 13.10-13.40 | Lauri Hella, Games for regular languages |
| 13.50-14.20 | Ryan Siders, Quantifier-rank levels in the theories of Linear Order and Wellorder |
| 14.25-14.55 | Tomi Kärki, Transcendence of numbers with a low complexity expansion |
| 15.00-15.30 | Coffee |
| 15.30-16.30 | Invited talk: Stephan Foldes, Boolean functions and finite functions |
| 16.40-17.10 | Jari Kivelä, Equational classes of Boolean functions and frame definability in modal logic |
| 17.15-17.45 | Elena Czeizler, Intricacies of Word Equations |
| 17.50-18.20 | Petri Salmela, Commutation of Languages and the Fixed Point Approach |
| 18.25-18.55 | Andrea Meinander, Uniform word problem for ortholattices |
A list of the speakers and abstracts
Organizers: Kerkko Luosto, Hannu Niemistö