CIAA 2020

25th International Conference on Implementation and Application of Automata
Loughborough University, United Kingdom
8-11th September 2020

Home

The 25th International Conference on Implementation and Application of Automata is organized by the Department of Computer Science of Loughborough University. You can contact us at ciaa2020@lboro.ac.uk.

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 http://www.informatik.uni-giessen.de/ciaa/

Important Dates

  • Submission deadline: 5th May 2020
  • Notification: 10th June 2020
  • Final version: 22nd June 2020
  • Conference: 8-11th September 2020

Committees

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
  • 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
  • (to be expanded)

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)
  • (to be expanded)

Submissions

Guidelines

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. Papers should be submitted electronically in PDF format through the EasyChair system:

https://www.easychair.org/conferences/?conf=ciaa2020

Submitted papers should not exceed 12 pages in LNCS LaTeX2e style and including 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.

Each member of Program Committee can submit at most one paper.

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. Since 2014, the Best Paper Award is named Sheng Yu Award.

Topics

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

Invited Speakers

TBD

Registration/Travel

Registration

TBD

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 minicabit.com) 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 nationalexpress.com), or book directly a hire taxi for a return trip of roughly £60 (see minicabit.com).

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 nationalrail.co.uk.

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 traintimes.org.uk. To make a booking, use either eastmidlandsrailway.co.uk, nationalrail.co.uk or www.thetrainline.com. You can also book some cheap Advance tickets on megabus.com.

Furthermore, on megabus.com as well as nationalexpress.com, 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 kinchbus.co.uk). 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.