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