Invited Speakers
- Gheorghe Paun (Romanian Academy, Romania)
"Spiking neural P systems used as acceptors and transducers" - Moshe Vardi (Rice University, USA)
"Linear-Time Model Checking: Automata Theory in Practice" - Bruce W. Watson (University of Pretoria, South Africa; Sagantec, USA)
"Automata applications in chip-design software" - Michael Riley (Google, Inc., USA)
"OpenFst: a General and Efficient Weighted Finite-State Transducer Library"