Warning: Use of undefined constant name - assumed 'name' (this will throw an Error in a future version of PHP) in /usr/local/www/apache24/data/event/CIAA2007/index.php on line 60
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"