(mobo import Concept___Events_With_Host_Organization-migrated) |
Curator 91 (talk | contribs) |
||
(2 intermediate revisions by one other user not shown) | |||
Line 3: | Line 3: | ||
|Title=International Conference on Implementation and Application of Automata | |Title=International Conference on Implementation and Application of Automata | ||
|Ordinal=25 | |Ordinal=25 | ||
− | | | + | |In Event Series=Event Series:CIAA |
− | | | + | |Single Day Event=no |
+ | |Start Date=2021/07/19 | ||
+ | |End Date=2021/07/23 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
|City=Bremen | |City=Bremen | ||
|Country=Country:DE | |Country=Country:DE | ||
− | | | + | |Official Website=http://wwwdb.informatik.uni-bremen.de/ciaa2021/ |
+ | |Submission Link=https://easychair.org/conferences/?conf=ciaa2021 | ||
+ | |DOI=10.25798/as3e-4904 | ||
+ | |Type=Conference | ||
|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 | ||
|pageCreator=User:Curator 53 | |pageCreator=User:Curator 53 | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
+ | |Notification Deadline=2021/04/19 | ||
|Paper Deadline=2021/03/20 | |Paper Deadline=2021/03/20 | ||
− | |||
|Camera-Ready Deadline=2021/05/03 | |Camera-Ready Deadline=2021/05/03 | ||
|Submission Deadline=2021/03/20 | |Submission Deadline=2021/03/20 | ||
}} | }} | ||
− | |||
{{Organizer | {{Organizer | ||
+ | |Contributor Type=organization | ||
|Organization=Department of Computer Science of Loughborough University | |Organization=Department of Computer Science of Loughborough University | ||
− | |||
}} | }} | ||
− | ==== Topics ==== | + | {{Event Metric}} |
+ | {{S Event}} | ||
+ | ====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 |
− | * | + | *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 |
Latest revision as of 10:54, 7 July 2023
Deadlines
|
||
Submission |
|
||
Paper |
|
||
Notification |
|
||
Camera-Ready |
Metrics
Venue
Bremen, Germany
Warning: Venue is missing. The map might not show the exact location.
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