Login
Login

Conference on Implementation and Application of Automata

{{primary sources|date=September 2011}}

{{Infobox Academic Conference

| history = 1996–

| discipline = Automata theory and formal languages

| abbreviation = CIAA (formerly WIA)

| publisher = Springer LNCS

| country= International

| frequency = annual (since 1996)

}}

CIAA, the International Conference on Implementation and Application of Automata is an annual academic conference in the field of computer science.

Its purpose is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. There, the conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects. In 2000, the conference grew out of the Workshop on Implementation of Automata (WIA).

Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer Lecture Notes in Computer Science. Extended versions of selected papers of each year's conference alternatingly appear in the journals Theoretical Computer Science and International Journal of Foundations of Computer Science. Every year a best paper award is presented.

Topics of the Conference

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:

History of the Conference

The CIAA conference series was founded by Darrell Raymond and Derick Wood.

Since 2013, the Steering committee is chaired by Kai Salomaa.

class="wikitable"
Event

! Location

! PC chairs

! Proceedings

! Special issue

1st WIA 1996

| London, Ontario, Canada

| Darrell R. Raymond
Derick Wood
Sheng Yu

| [https://link.springer.com/book/10.1007/3-540-63174-7 LNCS 1260]

|

2nd WIA 1997

| London, Ontario, Canada

| Derick Wood
Sheng Yu

| [https://link.springer.com/book/10.1007/BFb0031375 LNCS 1436]

| Theoretical Computer Science 231(1), 2000

3rd WIA 1998

| Rouen, France

| Jean-Marc Champarnaud
Denis Maurel
Djelloul Ziadi

| [https://link.springer.com/book/10.1007/3-540-48057-9 LNCS 1660]

| Theoretical Computer Science 267(1-2), 2001

4th WIA 1999

| Potsdam, Germany

| Oliver Boldt
Helmut Jürgensen

| [https://link.springer.com/book/10.1007/3-540-45526-4 LNCS 2214]

|

5th CIAA 2000

| London, Ontario, Canada

| Sheng Yu
Andrei Paun

| [https://link.springer.com/book/10.1007/3-540-44674-5 LNCS 2088]

| International Journal of Foundations of Computer Science 13(1), 2002

6th CIAA 2001

| Pretoria, South Africa

| Bruce W. Watson, Derick Wood

| [https://link.springer.com/book/10.1007/3-540-36390-4 LNCS 2494]

| Theoretical Computer Science 313(1), 2004

7th CIAA 2002

| Tours, France

| Jean-Marc Champarnaud
Denis Maurel

| [https://link.springer.com/book/10.1007/3-540-44977-9 LNCS 2608]

| International Journal of Foundations of Computer Science 14(6), 2003

8th CIAA 2003

| Santa Barbara, USA

| Oscar H. Ibarra
Zhe Dang

| [https://link.springer.com/book/10.1007/3-540-45089-0 LNCS 2759]

| Theoretical Computer Science 328(1-2), 2004

9th CIAA 2004

| Kingston, Ontario, Canada

| Kai Salomaa
Sheng Yu

| [https://link.springer.com/book/10.1007/b105090 LNCS 3317]

| International Journal of Foundations of Computer Science 16(3), 2005

[http://www.i3s.unice.fr/ciaa05/ 10th CIAA 2005]

| Sophia Antipolis, France

| Jacques Farré
Igor Litovsky

| [https://link.springer.com/book/10.1007/11605157 LNCS 3845]

| Theoretical Computer Science 363(2), 2006

[https://web.archive.org/web/20071220044444/http://cobra.ee.ntu.edu.tw/ciaa2006/ 11th CIAA 2006]

| Taipei, Taiwan

| Oscar H. Ibarra
Hsu-Chun Yen

| [https://link.springer.com/book/10.1007/11812128 LNCS 4094]

| International Journal of Foundations of Computer Science 18(4), 2007

[http://www.stringology.org/event/CIAA2007/ 12th CIAA 2007]

| Prague, Czech Republic

| Jan Holub
Bořivoj Melichar

| [https://link.springer.com/book/10.1007/978-3-540-76336-9 LNCS 4783]

| Theoretical Computer Science 410(37), 2009

[https://web.archive.org/web/20080205134654/http://ciaa2008.cs.sonoma.edu/ 13th CIAA 2008]

| San Francisco, California, USA

| Oscar H. Ibarra
Bala Ravikumar

| [https://link.springer.com/book/10.1007/978-3-540-70844-5 LNCS 5148]

| International Journal of Foundations of Computer Science 20(4), 2009

[https://web.archive.org/web/20090411183757/http://www.cse.unsw.edu.au/~ciaa2009/ 14th CIAA 2009]

| Sydney, Australia

| Sebastian Maneth

| [https://link.springer.com/book/10.1007/978-3-642-02979-0 LNCS 5642]

| Theoretical Computer Science 411(38-39), 2010

[http://www.cs.umanitoba.ca/~ciaa2010/ 15th CIAA 2010]

| Winnipeg, Manitoba, Canada

| Michael Domaratzki
Kai Salomaa

| [https://link.springer.com/book/10.1007/978-3-642-18098-9 LNCS 6482]

| International Journal of Foundations of Computer Science 22(8), 2011

[https://web.archive.org/web/20110325074230/http://ciaa-fsmnlp-2011.univ-tours.fr/ciaa/page.php?nom=home&id=1 16th CIAA 2011]

| Blois, France

| Béatrice Bouchou-Markhoff
Jean-Marc Champarnaud
Denis Maurel

| [https://link.springer.com/book/10.1007/978-3-642-22256-6 LNCS 6807]

| Theoretical Computer Science 450, 2012

17th CIAA 2012

| Porto, Portugal

| Nelma Moreira
Rogério Reis

| [https://link.springer.com/book/10.1007/978-3-642-31606-7 LNCS 7381]

| International Journal of Foundations of Computer Science 24(6), 2013

[http://cs.smu.ca/~ciaa2013/ 18th CIAA 2013]

| Halifax, Nova Scotia, Canada

| Stavros Konstantinidis

| [https://link.springer.com/book/10.1007/978-3-642-39274-0 LNCS 7982]

|Theoretical Computer Science 578, 2015

[https://web.archive.org/web/20170405223029/http://www.informatik.uni-giessen.de/ciaa2014/ 19th CIAA 2014]

| Giessen, Germany

| Markus Holzer
Martin Kutrib

| [https://link.springer.com/book/10.1007/978-3-319-08846-4 LNCS 8587]

| International Journal of Foundations of Computer Science 26(7), 2015

[http://ciaa2015.cs.umu.se/ 20th CIAA 2015]

| Umeå, Sweden

| Frank Drewes

| [https://link.springer.com/book/10.1007/978-3-319-22360-5 LNCS 9223]

| Theoretical Computer Science 679, 2017

[http://toc.yonsei.ac.kr/ciaa2016/ 21st CIAA 2016]

| Seoul, South Korea

| Yo-Sub Han
Kai Salomaa

| [https://link.springer.com/book/10.1007/978-3-319-40946-7 LNCS 9705]

| International Journal of Foundations of Computer Science 28(5), 2017

[http://ciaa17.univ-mlv.fr/ 22nd CIAA 2017]

| Paris, France

|Arnaud Carayol
Cyril Nicaud

| [https://link.springer.com/book/10.1007/978-3-319-60134-2 LNCS 10329]

| Theoretical Computer Science 787, 2019

[http://www.smcs.upei.ca/ciaa2018/ 23rd CIAA 2018]

|Charlottetwon, Prince Edward Island, Canada

|Cezar Câmpeanu

| [https://link.springer.com/book/10.1007/978-3-319-94812-6 LNCS 10977]

| International Journal of Foundations of Computer Science 31(8), 2020

[https://im.saske.sk/ciaa2019/ 24th CIAA 2019]

|Košice, Slovakia

|Galina Jirásková

| [https://link.springer.com/book/10.1007/978-3-030-23679-3 LNCS 11601]

| Theoretical Computer Science, to appear.

[http://ciaa2020.lboro.ac.uk/ 25th CIAA 2020]

|Loughborough, United Kingdom (cancelled)

|Manfred Kufleitner
Daniel Reidenbach

| N/A

| N/A

See also

References

  • {{citation

| last1 = Domaratzki | first1 = Michael

| last2 = Okhotin | first2 = Alexander

| last3 = Salomaa | first3 = Kai

| author3-link=Kai Salomaa

| journal = Bulletin of the EATCS

| pages = 231–234

| title = Report on CIAA 2004

| url = https://eatcs.org/images/bulletin/beatcs84.pdf

| volume = 84

| year = 2004}}.

  • {{citation

| last1 = Truthe | first1 = Bianca

| journal = Bulletin of the EATCS

| pages = 81–82

| title = Report on CIAA 2023

| url = https://eatcs.org/images/bulletin/beatcs142.pdf

| volume = 142

| year = 2024}}.

External links

  • [https://web.archive.org/web/20150915050312/http://tln.li.univ-tours.fr/ciaa/ official website of CIAA]
  • [https://dblp.org/streams/conf/wia CIAA proceedings information] from DBLP
  • [https://cstheory.stackexchange.com/questions/7900/list-of-tcs-conferences-and-workshops "List of conferences and workshops" question at cstheory.stackexchange]

{{Authority control}}

Category:Theoretical computer science conferences

Category:Automata (computation)

Category:Formal languages

{{compu-conference-stub}}