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.

Topics    

• 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

Submission Deadline    :  March 11 2018, Authors Notification      : April 20, 2018 Final Manuscript Due     : May 06, 2018

 

User Name : cressida
Posted 14-11-2017 on 16:00:30 AEDT

Related CFPs

IJWMN   International Journal of Wireless & Mobile Networks
CLNLP 2026   2026 3rd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2026)