Event:CIAA 2021

Deadlines

2021-04-19

2021-03-20

2021-05-03

2021-03-20

20 Mar 2021

Paper

20 Mar 2021

Submission

19 Apr 2021

Notification

3 May 2021

Camera-Ready

Venue

Bremen, Germany

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","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}

Warning: Venue is missing. The map might not show the exact location.

organization

Department of Computer Science of Loughborough University

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