CIAA 2020

25th International Conference on Implementation and Application of Automata
Loughborough University, United Kingdom
 8-11th September 2020 
It is with great regret that we have to announce that CIAA 2020 is CANCELLED due to the coronavirus pandemic.


Due to the coronavirus pandemic, the conference is CANCELLED.

The 25th International Conference on Implementation and Application of Automata was supposed to be organized by the Department of Computer Science of Loughborough University. You can contact us at

The first Workshop on Implementing Automata, WIA'96, was held in London, Ontairo, Canada, in 1996. In 2000, the workshop WIA was changed to the conference CIAA. Some past editions:

The general website of the conference is

Important Dates

Due to the coronavirus pandemic, the conference is CANCELLED.
  • Submission deadline:  5th May 2020  cancelled
  • Notification:  10th June 2020  cancelled
  • Final version:  22nd June 2020  cancelled
  • Conference:  8-11th September 2020  cancelled


Programme committee

  • Marie-Pierre Béal, LIGM, Université Paris-Est, France
  • Suna Bensch, Umeå University, Sweden
  • Cezar Câmpeanu, University of Prince Edward Island, Charlottetown, Canada
  • Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Budapest, Hungary
  • Mike Domaratzki, University of Manitoba, Winnipeg, Canada
  • Szilárd Zsolt Fazekas, Akita University, Japan
  • Stefan Göller, University of Kassel, Germany
  • Yo-Sub Han, Yonsei University, Republic of Korea
  • Markus Holzer, Justus Liebig University Giessen, Germany
  • Galina Jirásková, Slovak Academy of Sciences, Košice, Slovakia
  • Szabolcs Iván, University of Szeged, Hungary
  • Christos Kapoutsis, Carnegie Mellon University in Qatar, Doha, Qatar
  • Manfred Kufleitner, Loughborough University, UK (co-chair)
  • Sławomir Lasota, University of Warsaw, Poland
  • Christof Löding, RWTH Aachen, Germany
  • Sylvain Lombardy, CNRS, LaBRI, Bordeaux, France
  • Andreas Malcher, Justus Liebig University Giessen, Germany
  • Florin Manea, University of Göttingen, Germany
  • Sebastian Maneth, University of Bremen, Germany
  • Ian McQuillan, University of Saskatchewan, Saskatoon, Canada
  • Cyril Nicaud, LIGM, Université Paris-Est, France
  • Alexander Okhotin, St. Petersburg State University, Russia
  • Charles Paperman, Université de Lille, France
  • Giovanni Pighizzini, University of Milan, Italy
  • Daniel Reidenbach, Loughborough University, UK (co-chair)
  • Kai Salomaa, Queen's University, Kingston, Canada
  • Shinnosuke Seki, University of Electro-Communications, Tokyo, Japan
  • Mikhail Volkov, Ural Federal University, Ekaterinburg, Russia
  • Hsu-Chun Yen, National Taiwan University, Taipei, Taiwan

Steering committee

  • Jean-Marc Champarnaud, Université de Rouen, France
  • Markus Holzer, Justus Liebig University Giessen, Germany (chair)
  • Oscar Ibarra, University of California, Santa Barbara, USA
  • Kai T. Salomaa, Queen's University, Kingston, Canada (vice-chair)
  • Hsu-Chun Yen, National Taiwan University, Taipei, Taiwan

Organising committee

  • Manfred Kufleitner, Loughborough University (co-chair)
  • Daniel Reidenbach, Loughborough University (co-chair)


Due to the coronavirus pandemic, the conference is CANCELLED.


Authors are invited to submit papers presenting original and unpublished research. Simultaneous submissions to journals, other conferences, or workshops with published proceedings are not allowed. The proceedings will be published in the Springer LNCS series and will be available at the conference. Submissions should be made electronically in PDF format through EasyChair: 

Submitted papers should not exceed 12 pages in LNCS LaTeX2e style and including a bibliography in BibTeX using bibliography style splncs04.bst. Proofs omitted due to space constraints may be put into an appendix to be read by the reviewers at their discretion. Please refer to Springer's ethics webpage when preparing the final version.

A Best Paper Award will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, the CIAA Best Paper Award has been named Sheng Yu Award.


Original papers are sought in all areas that relate to implementation and application of automata, including (but not restricted 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
  • Industrial applications
  • Natural language processing
  • Networking
  • New algorithms for manipulating automata
  • Object-oriented modeling
  • Pattern-matching
  • 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, related phenomena
  • World-wide web



Due to the coronavirus pandemic, the conference is CANCELLED.

Location and Travel

The conference is held at Loughborough University, UK. In order to plan your travel, please consult the following University websites:

Further Information

If you are traveling from London Luton airport, there is a direct train to Loughborough. From all other airports in London, you can reach Loughborough from either St. Pancras International by train, or from Victoria Coach Station by coach.

If you are two or more people traveling from Luton or Stansted, you might want to consider booking an advance taxi (check prices on as this option might be cheaper and more convenient than the train.

From Birmingham Airport, you can either go to the city’s coach station and take a bus to Loughborough for about £10 (see, or book directly a hire taxi for a return trip of roughly £60 (see

If you are traveling from East Midlands Airport, then you can easily choose to either take a bus or a taxi (for the latter the fare is about £25 one way if you do not book in advance).

If you are getting here by train, we advise you (should’ve you not already done that), to book a ticket before the day. If you are 100% sure you will catch a certain train, then an Advance ticket is most of the times cheaper. Please be advised that Advance tickets cannot be used on another service than the specified one (and are non-refundable). Another cheap option is to buy a (return) train ticket for a time different from the rush-hour: off-peak and super off-peak tickets. For a better description of these types of tickets please have a look at

In case of online/advanced bookings, make sure to have the credit card used to make these bookings with you, as most of the times you need this in order to collect your train tickets from a ticket machine.

To get a good feeling of the options you have traveling here (and around UK), have a look at To make a booking, use either, or You can also book some cheap Advance tickets on

Furthermore, on as well as, you can book coach tickets to Loughborough. For the former, the bus actually stops right next to the campus.

In Loughborough, there is a direct bus line running from the train station, through town, directly to the campus (Sprint Kinchbus If not, the walk is about 30 mins long, while the taxi ride is roughly £7-8.

While you are on campus, all Kinch busses run free of charge.

Should you have any questions do not hesitate to contact us.