(mobo import Concept___Event_For_Confident-migrated) |
(mobo import Concept___Events-migrated) |
||
| Line 7: | Line 7: | ||
|Homepage=http://wwwdb.informatik.uni-bremen.de/ciaa2021/ | |Homepage=http://wwwdb.informatik.uni-bremen.de/ciaa2021/ | ||
|City=Bremen | |City=Bremen | ||
| − | |Country= | + | |Country=Country:DE |
|Paper deadline=2021/03/20 | |Paper deadline=2021/03/20 | ||
|Notification=2021/04/19 | |Notification=2021/04/19 | ||
| Line 21: | Line 21: | ||
|Start Date=2021/07/19 | |Start Date=2021/07/19 | ||
|End Date=2021/07/23 | |End Date=2021/07/23 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
}} | }} | ||
==== Topics ==== | ==== Topics ==== | ||
Revision as of 13:51, 6 September 2022
Topics
Original papers are sought in all areas that relate to implementation and application of automata, including (but not limited 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
