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 consisted of 30 minutes presentations given by the participants.
The workshop took 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 [Related preprints] |
| 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 [Transparencies] |
A list of the speakers and abstracts
Organizers: Kerkko Luosto, Hannu Niemistö