CIAA 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
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":53.0758196,"lon":8.8071646,"icon":""}],"imageoverlays":null}
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