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 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/
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):
The conference is held at Loughborough University, UK. In order to plan your travel, please consult the following University websites:
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.