Difference between revisions of "CIAA 2021"
Jump to navigation
Jump to search
| Line 11: | Line 11: | ||
|City=Bremen | |City=Bremen | ||
|Country=Germany | |Country=Germany | ||
| − | |Paper deadline= | + | |Paper deadline=2021/03/20 |
| − | |Notification= | + | |Notification=2021/04/19 |
| − | |Camera ready= | + | |Camera ready=2021/05/03 |
| − | |Submitting link=https:// | + | |Submitting link=https://easychair.org/conferences/?conf=ciaa2021 |
|Has host organization=Department of Computer Science of Loughborough University | |Has host organization=Department of Computer Science of Loughborough University | ||
|Has PC member=Marie-Pierre Béal, Suna Bensch, Cezar Câmpeanu, Erzsébet Csuhaj-Varjú, Mike Domaratzki, Szilárd Zsolt Fazekas | |Has PC member=Marie-Pierre Béal, Suna Bensch, Cezar Câmpeanu, Erzsébet Csuhaj-Varjú, Mike Domaratzki, Szilárd Zsolt Fazekas | ||
Revision as of 14:39, 8 April 2021
| CIAA 2021 | |
|---|---|
International Conference on Implementation and Application of Automata
| |
| Ordinal | 25 |
| Event in series | CIAA |
| Dates | 2021/07/19 (iCal) - 2021/07/23 |
| Homepage: | http://wwwdb.informatik.uni-bremen.de/ciaa2021/ |
| Submitting link: | https://easychair.org/conferences/?conf=ciaa2021 |
| Location | |
| Location: | Bremen, Germany |
| Important dates | |
| Papers: | 2021/03/20 |
| Submissions: | 2021/03/20 |
| Notification: | 2021/04/19 |
| Camera ready due: | 2021/05/03 |
| Committees | |
| PC members: | Marie-Pierre Béal, Suna Bensch, Cezar Câmpeanu, Erzsébet Csuhaj-Varjú, Mike Domaratzki, Szilárd Zsolt Fazekas |
| Table of Contents | |
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