The 23rd International Conference on Implementation and Applications of Automata will take place in Charlottetown, Prince Edward Island, Canada between July 30 and August 2, 2018. Charlottetown is the capital and largest city on Prince Edward Island, and the birthplace of Canada. The conference is organized by the School of Mathematical and Computational Sciences of University of Prince Edward Island.
We are inviting your participation at CIAA 2018. Original papers are sought in all areas that relate to implementation and application of automata including (but not restricted to):
algorithms on automata
automata and logic
bioinformatics
complexity of automata operations
compilers
computer-aided verification
concurrency
data structure design for automata
data and image compression
design and architecture of automata software
digital libraries
DNA/molecular/membrane computing
document engineering editors environments
experimental studies and practical experiences
implementation of verification methods and model checking
industrial applications
natural language and speech processing
networking new algorithms for manipulating automata
new algorithms for manipulating automata
object-oriented modeling
pattern-matching
pushdown automata and context-free grammars
quantum computing
speech and speaker recognition
structured and semi-structured documents
symbolic manipulation environments for automata
teaching
text processing
techniques for graphical display of automata
transducers and multi-tape automata
VLSI
viruses and related phenomena and the world-wide web
07月30日
2018
08月02日
2018
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
留言