CIAA 2021: Difference between revisions
Created page with "{{Event |Acronym=CIAA 2021 |Title=International Conference on Implementation and Application of Automata |Ordinal=25 |Series=CIAA |Type=Conference |Start date=2021/07/19 |End..." |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| 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 | ||
}} | }} | ||
==== Topics ==== | |||
Original papers are sought in all areas that relate to implementation and application of automata, including (but not limited to): | Original papers are sought in all areas that relate to implementation and application of automata, including (but not limited to): | ||
algorithms on automata | * algorithms on automata | ||
automata and logic | * automata and logic | ||
bioinformatics | * bioinformatics | ||
complexity of automata operations | * complexity of automata operations | ||
compilers | * compilers | ||
computer-aided verification | * computer-aided verification | ||
concurrency | * concurrency | ||
data structure design for automata | * data structure design for automata | ||
data and image compression | * data and image compression | ||
design and architecture of automata software | * design and architecture of automata software | ||
digital libraries | * digital libraries | ||
DNA/molecular/membrane computing | * DNA/molecular/membrane computing | ||
document engineering, editors, environments | * document engineering, editors, environments | ||
experimental studies and practical experiences | * experimental studies and practical experiences | ||
implementation of verification methods and model checking | * implementation of verification methods and model checking | ||
industrial applications | * industrial applications | ||
natural language and speech processing | * natural language and speech processing | ||
networking, new algorithms for manipulating automata | * networking, new algorithms for manipulating automata | ||
new algorithms for manipulating automata | * new algorithms for manipulating automata | ||
object-oriented modeling | * object-oriented modeling | ||
pattern-matching | * pattern-matching | ||
pushdown automata and context-free grammars | * pushdown automata and context-free grammars | ||
quantum computing | * quantum computing | ||
speech and speaker recognition | * speech and speaker recognition | ||
structured and semi-structured documents | * structured and semi-structured documents | ||
symbolic manipulation environments for automata | * symbolic manipulation environments for automata | ||
teaching | * teaching | ||
text processing | * text processing | ||
techniques for graphical display of automata | * techniques for graphical display of automata | ||
transducers and multi-tape automata | * transducers and multi-tape automata | ||
VLSI | * VLSI | ||
viruses and related phenomena, and the world-wide web | * viruses and related phenomena, and the world-wide web | ||
Latest revision as of 13: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