Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Conference on Implementation and Application of Automata
open-in-new
<h2 id="topics-of-the-conference">Topics of the Conference</h2> <p>Since the focus of the conference is on applied theory, contributions usually come from a widespread range of application domains. Typical topics of the conference include, among others, the following, as they relate to automata: </p> <ul><li><a href="/facts/Bio-inspired_computing/TLbLNF2U">Bio-inspired computing</a></li> <li>Complexity of automata operations, <a href="/facts/State_complexity/dIaeAN82">state complexity</a></li> <li><a href="/facts/Compiler/WNfCDFJe">Compilers</a></li> <li>Computer-aided verification, <a href="/facts/Model_checking/FwvKMlw9">model checking</a></li> <li>Concurrency</li> <li><a href="/facts/Data_compression/gMFuY4FT">Data and image compression</a></li> <li>Design and architecture of automata software</li> <li>Document engineering</li> <li><a href="/facts/Natural_language_processing/1hjMKsSN">Natural language processing</a></li> <li><a href="/facts/Pattern_matching/CEwptMs9">Pattern matching</a></li> <li>Teaching of <a href="/facts/Automata_theory/Q6BmPv63">automata theory</a></li> <li><a href="/facts/Text_processing/5UIbA5za">Text processing</a></li> <li>Techniques for graphical display of automata</li></ul> <h2 id="history-of-the-conference">History of the Conference</h2> <p>The CIAA conference series was founded by Darrell Raymond and <a href="/facts/Derick_Wood/dGFHnzJG">Derick Wood</a>. Since 2013, the Steering committee is chaired by <a href="/facts/Kai_Salomaa/6IXtr5Ee">Kai Salomaa</a>. </p> <table><tbody><tr><th>Event</th><th>Location</th><th>PC chairs</th><th>Proceedings</th><th>Special issue</th></tr><tr><td>1st WIA 1996</td><td>London, Ontario, Canada</td><td>Darrell R. Raymond Derick Wood Sheng Yu</td><td><a href="https://link.springer.com/book/10.1007/3-540-63174-7">LNCS 1260</a></td><td></td></tr><tr><td>2nd WIA 1997</td><td>London, Ontario, Canada</td><td>Derick Wood Sheng Yu</td><td><a href="https://link.springer.com/book/10.1007/BFb0031375">LNCS 1436</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 231(1), 2000</td></tr><tr><td>3rd WIA 1998</td><td>Rouen, France</td><td>Jean-Marc Champarnaud Denis Maurel Djelloul Ziadi</td><td><a href="https://link.springer.com/book/10.1007/3-540-48057-9">LNCS 1660</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 267(1-2), 2001</td></tr><tr><td>4th WIA 1999</td><td>Potsdam, Germany</td><td>Oliver Boldt Helmut Jürgensen</td><td><a href="https://link.springer.com/book/10.1007/3-540-45526-4">LNCS 2214</a></td><td></td></tr><tr><td>5th CIAA 2000</td><td>London, Ontario, Canada</td><td>Sheng Yu Andrei Paun</td><td><a href="https://link.springer.com/book/10.1007/3-540-44674-5">LNCS 2088</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 13(1), 2002</td></tr><tr><td>6th CIAA 2001</td><td>Pretoria, South Africa</td><td>Bruce W. Watson, Derick Wood</td><td><a href="https://link.springer.com/book/10.1007/3-540-36390-4">LNCS 2494</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 313(1), 2004</td></tr><tr><td>7th CIAA 2002</td><td>Tours, France</td><td>Jean-Marc Champarnaud Denis Maurel</td><td><a href="https://link.springer.com/book/10.1007/3-540-44977-9">LNCS 2608</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 14(6), 2003</td></tr><tr><td>8th CIAA 2003</td><td>Santa Barbara, USA</td><td><a href="/facts/Oscar_H._Ibarra/IxEqLKgp">Oscar H. Ibarra</a> Zhe Dang</td><td><a href="https://link.springer.com/book/10.1007/3-540-45089-0">LNCS 2759</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 328(1-2), 2004</td></tr><tr><td>9th CIAA 2004</td><td>Kingston, Ontario, Canada</td><td><a href="/facts/Kai_Salomaa/6IXtr5Ee">Kai Salomaa</a> Sheng Yu</td><td><a href="https://link.springer.com/book/10.1007/b105090">LNCS 3317</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 16(3), 2005</td></tr><tr><td><a href="http://www.i3s.unice.fr/ciaa05/">10th CIAA 2005</a></td><td>Sophia Antipolis, France</td><td>Jacques Farré Igor Litovsky</td><td><a href="https://link.springer.com/book/10.1007/11605157">LNCS 3845</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 363(2), 2006</td></tr><tr><td><a href="https://web.archive.org/web/20071220044444/http://cobra.ee.ntu.edu.tw/ciaa2006/">11th CIAA 2006</a></td><td>Taipei, Taiwan</td><td><a href="/facts/Oscar_H._Ibarra/IxEqLKgp">Oscar H. Ibarra</a> Hsu-Chun Yen</td><td><a href="https://link.springer.com/book/10.1007/11812128">LNCS 4094</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 18(4), 2007</td></tr><tr><td><a href="http://www.stringology.org/event/CIAA2007/">12th CIAA 2007</a></td><td>Prague, Czech Republic</td><td>Jan Holub Bořivoj Melichar</td><td><a href="https://link.springer.com/book/10.1007/978-3-540-76336-9">LNCS 4783</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 410(37), 2009</td></tr><tr><td><a href="https://web.archive.org/web/20080205134654/http://ciaa2008.cs.sonoma.edu/">13th CIAA 2008</a></td><td>San Francisco, California, USA</td><td><a href="/facts/Oscar_H._Ibarra/IxEqLKgp">Oscar H. Ibarra</a> Bala Ravikumar</td><td><a href="https://link.springer.com/book/10.1007/978-3-540-70844-5">LNCS 5148</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 20(4), 2009</td></tr><tr><td><a href="https://web.archive.org/web/20090411183757/http://www.cse.unsw.edu.au/~ciaa2009/">14th CIAA 2009</a></td><td>Sydney, Australia</td><td>Sebastian Maneth</td><td><a href="https://link.springer.com/book/10.1007/978-3-642-02979-0">LNCS 5642</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 411(38-39), 2010</td></tr><tr><td><a href="http://www.cs.umanitoba.ca/~ciaa2010/">15th CIAA 2010</a></td><td>Winnipeg, Manitoba, Canada</td><td>Michael Domaratzki <a href="/facts/Kai_Salomaa/6IXtr5Ee">Kai Salomaa</a></td><td><a href="https://link.springer.com/book/10.1007/978-3-642-18098-9">LNCS 6482</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 22(8), 2011</td></tr><tr><td><a href="https://web.archive.org/web/20110325074230/http://ciaa-fsmnlp-2011.univ-tours.fr/ciaa/page.php?nom=home&id=1">16th CIAA 2011</a></td><td>Blois, France</td><td>Béatrice Bouchou-Markhoff Jean-Marc Champarnaud Denis Maurel</td><td><a href="https://link.springer.com/book/10.1007/978-3-642-22256-6">LNCS 6807</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 450, 2012</td></tr><tr><td>17th CIAA 2012</td><td>Porto, Portugal</td><td>Nelma Moreira Rogério Reis</td><td><a href="https://link.springer.com/book/10.1007/978-3-642-31606-7">LNCS 7381</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 24(6), 2013</td></tr><tr><td><a href="http://cs.smu.ca/~ciaa2013/">18th CIAA 2013</a></td><td>Halifax, Nova Scotia, Canada</td><td>Stavros Konstantinidis</td><td><a href="https://link.springer.com/book/10.1007/978-3-642-39274-0">LNCS 7982</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 578, 2015</td></tr><tr><td><a href="https://web.archive.org/web/20170405223029/http://www.informatik.uni-giessen.de/ciaa2014/">19th CIAA 2014</a></td><td>Giessen, Germany</td><td>Markus Holzer Martin Kutrib</td><td><a href="https://link.springer.com/book/10.1007/978-3-319-08846-4">LNCS 8587</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 26(7), 2015</td></tr><tr><td><a href="http://ciaa2015.cs.umu.se/">20th CIAA 2015</a></td><td>Umeå, Sweden</td><td>Frank Drewes</td><td><a href="https://link.springer.com/book/10.1007/978-3-319-22360-5">LNCS 9223</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 679, 2017</td></tr><tr><td><a href="http://toc.yonsei.ac.kr/ciaa2016/">21st CIAA 2016</a></td><td>Seoul, South Korea</td><td>Yo-Sub Han <a href="/facts/Kai_Salomaa/6IXtr5Ee">Kai Salomaa</a></td><td><a href="https://link.springer.com/book/10.1007/978-3-319-40946-7">LNCS 9705</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 28(5), 2017</td></tr><tr><td><a href="http://ciaa17.univ-mlv.fr/">22nd CIAA 2017</a></td><td>Paris, France</td><td>Arnaud Carayol Cyril Nicaud</td><td><a href="https://link.springer.com/book/10.1007/978-3-319-60134-2">LNCS 10329</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a> 787, 2019</td></tr><tr><td><a href="http://www.smcs.upei.ca/ciaa2018/">23rd CIAA 2018</a></td><td>Charlottetwon, Prince Edward Island, Canada</td><td>Cezar Câmpeanu</td><td><a href="https://link.springer.com/book/10.1007/978-3-319-94812-6">LNCS 10977</a></td><td><a href="/facts/International_Journal_of_Foundations_of_Computer_Science/dGN6PBRA">International Journal of Foundations of Computer Science</a> 31(8), 2020</td></tr><tr><td><a href="https://im.saske.sk/ciaa2019/">24th CIAA 2019</a></td><td>Košice, Slovakia</td><td>Galina Jirásková</td><td><a href="https://link.springer.com/book/10.1007/978-3-030-23679-3">LNCS 11601</a></td><td><a href="/facts/Theoretical_Computer_Science_(journal)/Apbc0PDL">Theoretical Computer Science</a>, to appear.</td></tr><tr><td><a href="http://ciaa2020.lboro.ac.uk/">25th CIAA 2020</a></td><td>Loughborough, United Kingdom (cancelled)</td><td>Manfred Kufleitner Daniel Reidenbach</td><td>N/A</td><td>N/A</td></tr></tbody></table> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/List_of_computer_science_conferences/raKQx9Vl">List of computer science conferences</a> contains other academic conferences in computer science</li></ul> <ul><li>Domaratzki, Michael; Okhotin, Alexander; <a href="/facts/Kai_Salomaa/6IXtr5Ee">Salomaa, Kai</a> (2004), <a href="https://eatcs.org/images/bulletin/beatcs84.pdf">"Report on CIAA 2004"</a> (PDF), <i>Bulletin of the EATCS</i>, 84: 231–234.</li> <li>Truthe, Bianca (2024), <a href="https://eatcs.org/images/bulletin/beatcs142.pdf">"Report on CIAA 2023"</a> (PDF), <i>Bulletin of the EATCS</i>, 142: 81–82.</li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="https://web.archive.org/web/20150915050312/http://tln.li.univ-tours.fr/ciaa/">official website of CIAA</a></li> <li><a href="https://dblp.org/streams/conf/wia">CIAA proceedings information</a> from <a href="/facts/DBLP/JLAIuLQQ">DBLP</a></li> <li><a href="https://cstheory.stackexchange.com/questions/7900/list-of-tcs-conferences-and-workshops">"List of conferences and workshops" question at cstheory.stackexchange</a></li></ul>