University of Milano-Bicocca, Milan, Italy DLT 2011 15th International Conference on Developments in Language Theory Building U6, floor -1, Aula Martini

Source URL: dlt2011.disco.unimib.it

Letter from the President Dear EATCS members, Time flies somehow and the 40th ICALP conference is now upon us. I hope that many of you will attend the conference, which will be held in Riga, Latvia, in the

Source URL: www.eatcs.org

• International Colloquium on Automata
• Languages and Programming
• European Association for Theoretical Computer Science
• Gödel Prize
• ACM SIGACT
• Martin Dyer
• Algorithm
• Mike Paterson
• International Conference on Developments in Language Theory
• Theoretical computer science
• Computer science
• Applied mathematics

Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´

Source URL: www.inf.u-szeged.hu

• Mathematics
• Applied mathematics
• Combinatorics on words
• Tree automaton
• Descriptional Complexity of Formal Systems
• Finite-state machine
• Alphabet
• Regular tree grammar
• International Conference on Developments in Language Theory
• Formal languages
• Theoretical computer science
• Automata theory

derived several key results of the theory of automata in the axiomatic settings. THEORETICAL COMPUTER SCIENCE The research performed in the Department of Foundations of Computer Science lies in the intersection of algebr

Source URL: www.inf.u-szeged.hu

• Mathematics
• Combinatorics on words
• Applied mathematics
• Models of computation
• Tree automaton
• Alphabet
• Finite-state machine
• Theory of computation
• International Conference on Developments in Language Theory
• Formal languages
• Automata theory
• Theoretical computer science

PDF Document

Source URL: www.cs.auckland.ac.nz

• Massey
• Formal languages
• International Conference on Developments in Language Theory
• DLT