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://www.easychair.org/conferences/?conf=ciaa2020
Location
Location:	Bremen, Germany
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":53.0758196,"lon":8.8071646,"icon":""}],"imageoverlays":null}
Important dates
Papers:	2020/05/05
Submissions:	2021/03/20
Notification:	2020/06/10
Camera ready due:	2020/06/22
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