200:. 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
22:
230:
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:
914:
864:
812:
762:
710:
658:
604:
550:
496:
450:
219:
1118:
134:
86:
58:
1099:
65:
72:
54:
718:
207:
Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in
938:
890:
836:
786:
738:
682:
630:
576:
522:
472:
404:
378:
215:
974:
1092:
1133:
79:
211:
161:
105:
43:
36:
208:
158:
1123:
1085:
794:
1054:
271:
666:
540:
438:
368:
346:
584:
32:
1128:
1040:
638:
235:
214:. Extended versions of selected papers of each year's conference alternatingly appear in the journals
302:
193:
1069:
276:
260:
241:
197:
933:
909:
885:
859:
831:
807:
781:
757:
733:
705:
677:
653:
625:
646:
592:
510:
287:
282:
143:
139:
517:
491:
467:
445:
423:
399:
351:
252:
1112:
373:
1014:
599:
571:
993:
545:
989:
854:
700:
536:
310:
306:
21:
612:
246:
690:
1055:"List of conferences and workshops" question at cstheory.stackexchange
190:
International
Conference on Implementation and Application of Automata
1045:
898:
844:
558:
1049:
922:
946:
770:
15:
872:
820:
55:"Conference on Implementation and Application of Automata"
915:
International
Journal of Foundations of Computer Science
865:
International
Journal of Foundations of Computer Science
813:
International
Journal of Foundations of Computer Science
763:
International
Journal of Foundations of Computer Science
711:
International
Journal of Foundations of Computer Science
659:
International
Journal of Foundations of Computer Science
605:
International
Journal of Foundations of Computer Science
551:
International
Journal of Foundations of Computer Science
497:
International
Journal of Foundations of Computer Science
451:
International Journal of Foundations of Computer Science
220:
International Journal of Foundations of Computer Science
121:
Conference on Implementation and Application of Automata
1073:
977:
contains other academic conferences in computer science
309:. Since 2013, the Steering committee is chaired by
175:
167:
154:
149:
133:
125:
120:
1068:This article about a computer conference is a
222:. Every year a best paper award is presented.
1093:
8:
903:Charlottetwon, Prince Edward Island, Canada
292:Techniques for graphical display of automata
265:Design and architecture of automata software
202:Workshop on Implementation of Automata (WIA)
1100:
1086:
301:The CIAA conference series was founded by
988:Domaratzki, Michael; Okhotin, Alexander;
951:Loughborough, United Kingdom (cancelled)
106:Learn how and when to remove this message
1119:Theoretical computer science conferences
315:
117:
42:Please improve this article by adding
7:
1065:
1063:
975:List of computer science conferences
240:Complexity of automata operations,
1072:. You can help Knowledge (XXG) by
14:
212:Lecture Notes in Computer Science
20:
643:San Francisco, California, USA
1:
775:Halifax, Nova Scotia, Canada
464:Bruce W. Watson, Derick Wood
251:Computer-aided verification,
44:secondary or tertiary sources
1046:CIAA proceedings information
939:Theoretical Computer Science
891:Theoretical Computer Science
837:Theoretical Computer Science
787:Theoretical Computer Science
739:Theoretical Computer Science
683:Theoretical Computer Science
631:Theoretical Computer Science
577:Theoretical Computer Science
523:Theoretical Computer Science
473:Theoretical Computer Science
405:Theoretical Computer Science
379:Theoretical Computer Science
216:Theoretical Computer Science
695:Winnipeg, Manitoba, Canada
272:Natural language processing
1150:
1062:
726:Béatrice Bouchou-Markhoff
533:Kingston, Ontario, Canada
261:Data and image compression
1134:Computer conference stubs
563:Sophia Antipolis, France
297:History of the Conference
1041:official website of CIAA
435:London, Ontario, Canada
363:London, Ontario, Canada
339:London, Ontario, Canada
226:Topics of the Conference
1013:Truthe, Bianca (2024),
778:Stavros Konstantinidis
617:Prague, Czech Republic
461:Pretoria, South Africa
1124:Automata (computation)
728:Jean-Marc Champarnaud
486:Jean-Marc Champarnaud
392:Jean-Marc Champarnaud
236:Bio-inspired computing
31:relies excessively on
1022:Bulletin of the EATCS
1015:"Report on CIAA 2023"
1001:Bulletin of the EATCS
994:"Report on CIAA 2004"
268:Document engineering
954:Manfred Kufleitner
849:Seoul, South Korea
698:Michael Domaratzki
507:Santa Barbara, USA
342:Darrell R. Raymond
194:academic conference
179:annual (since 1996)
150:Publication details
129:CIAA (formerly WIA)
956:Daniel Reidenbach
671:Sydney, Australia
1081:
1080:
966:
965:
930:Galina Jirásková
927:Košice, Slovakia
799:Giessen, Germany
685:411(38-39), 2010
674:Sebastian Maneth
622:Bořivoj Melichar
420:Helmut Jürgensen
415:Potsdam, Germany
183:
182:
116:
115:
108:
90:
1141:
1129:Formal languages
1102:
1095:
1088:
1064:
1029:
1019:
1008:
998:
749:Porto, Portugal
316:
277:Pattern matching
242:state complexity
198:computer science
196:in the field of
144:formal languages
118:
111:
104:
100:
97:
91:
89:
48:
24:
16:
1149:
1148:
1144:
1143:
1142:
1140:
1139:
1138:
1109:
1108:
1107:
1106:
1060:
1037:
1017:
1012:
996:
987:
984:
971:
955:
906:Cezar Câmpeanu
881:
880:Arnaud Carayol
853:
803:
753:
746:17th CIAA 2012
729:
727:
699:
650:Bala Ravikumar
649:
647:Oscar H. Ibarra
621:
595:
593:Oscar H. Ibarra
589:Taipei, Taiwan
567:
539:
525:328(1-2), 2004
513:
511:Oscar H. Ibarra
487:
441:
419:
407:267(1-2), 2001
396:Djelloul Ziadi
395:
393:
367:
345:
343:
303:Darrell Raymond
299:
288:Text processing
283:automata theory
228:
140:Automata theory
112:
101:
95:
92:
49:
47:
41:
37:primary sources
25:
12:
11:
5:
1147:
1145:
1137:
1136:
1131:
1126:
1121:
1111:
1110:
1105:
1104:
1097:
1090:
1082:
1079:
1078:
1058:
1057:
1052:
1043:
1036:
1035:External links
1033:
1032:
1031:
1010:
983:
980:
979:
978:
970:
967:
964:
963:
960:
957:
952:
949:
947:25th CIAA 2020
943:
942:
936:
931:
928:
925:
923:24th CIAA 2019
919:
918:
912:
907:
904:
901:
899:23rd CIAA 2018
895:
894:
888:
883:
878:
877:Paris, France
875:
873:22nd CIAA 2017
869:
868:
862:
857:
850:
847:
845:21st CIAA 2016
841:
840:
834:
829:
826:
823:
821:20th CIAA 2015
817:
816:
810:
805:
804:Martin Kutrib
802:Markus Holzer
800:
797:
795:19th CIAA 2014
791:
790:
784:
779:
776:
773:
771:18th CIAA 2013
767:
766:
760:
755:
752:Nelma Moreira
750:
747:
743:
742:
736:
731:
724:
723:Blois, France
721:
719:16th CIAA 2011
715:
714:
708:
703:
696:
693:
691:15th CIAA 2010
687:
686:
680:
675:
672:
669:
667:14th CIAA 2009
663:
662:
656:
651:
644:
641:
639:13th CIAA 2008
635:
634:
633:410(37), 2009
628:
623:
618:
615:
613:12th CIAA 2007
609:
608:
602:
597:
590:
587:
585:11th CIAA 2006
581:
580:
574:
569:
568:Igor Litovsky
566:Jacques Farré
564:
561:
559:10th CIAA 2005
555:
554:
548:
543:
534:
531:
530:9th CIAA 2004
527:
526:
520:
515:
508:
505:
504:8th CIAA 2003
501:
500:
494:
489:
484:
483:Tours, France
481:
480:7th CIAA 2002
477:
476:
470:
465:
462:
459:
458:6th CIAA 2001
455:
454:
448:
443:
436:
433:
432:5th CIAA 2000
429:
428:
426:
421:
416:
413:
409:
408:
402:
397:
390:
389:Rouen, France
387:
383:
382:
376:
371:
364:
361:
357:
356:
354:
349:
340:
337:
333:
332:
331:Special issue
329:
326:
323:
320:
298:
295:
294:
293:
290:
285:
279:
274:
269:
266:
263:
258:
255:
253:model checking
249:
244:
238:
227:
224:
181:
180:
177:
173:
172:
169:
165:
164:
156:
152:
151:
147:
146:
137:
131:
130:
127:
123:
122:
114:
113:
96:September 2011
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
1146:
1135:
1132:
1130:
1127:
1125:
1122:
1120:
1117:
1116:
1114:
1103:
1098:
1096:
1091:
1089:
1084:
1083:
1077:
1075:
1071:
1066:
1061:
1056:
1053:
1051:
1047:
1044:
1042:
1039:
1038:
1034:
1027:
1023:
1016:
1011:
1006:
1002:
995:
991:
986:
985:
981:
976:
973:
972:
968:
961:
958:
953:
950:
948:
945:
944:
941:, to appear.
940:
937:
935:
932:
929:
926:
924:
921:
920:
916:
913:
911:
908:
905:
902:
900:
897:
896:
892:
889:
887:
884:
882:Cyril Nicaud
879:
876:
874:
871:
870:
866:
863:
861:
858:
856:
851:
848:
846:
843:
842:
838:
835:
833:
830:
828:Frank Drewes
827:
825:Umeå, Sweden
824:
822:
819:
818:
814:
811:
809:
806:
801:
798:
796:
793:
792:
788:
785:
783:
780:
777:
774:
772:
769:
768:
764:
761:
759:
756:
754:Rogério Reis
751:
748:
745:
744:
740:
737:
735:
732:
730:Denis Maurel
725:
722:
720:
717:
716:
712:
709:
707:
704:
702:
697:
694:
692:
689:
688:
684:
681:
679:
676:
673:
670:
668:
665:
664:
660:
657:
655:
652:
648:
645:
642:
640:
637:
636:
632:
629:
627:
624:
619:
616:
614:
611:
610:
606:
603:
601:
598:
596:Hsu-Chun Yen
594:
591:
588:
586:
583:
582:
579:363(2), 2006
578:
575:
573:
570:
565:
562:
560:
557:
556:
552:
549:
547:
544:
542:
538:
535:
532:
529:
528:
524:
521:
519:
516:
512:
509:
506:
503:
502:
498:
495:
493:
490:
488:Denis Maurel
485:
482:
479:
478:
475:313(1), 2004
474:
471:
469:
466:
463:
460:
457:
456:
452:
449:
447:
444:
440:
437:
434:
431:
430:
427:
425:
422:
418:Oliver Boldt
417:
414:
412:4th WIA 1999
411:
410:
406:
403:
401:
398:
394:Denis Maurel
391:
388:
386:3rd WIA 1998
385:
384:
381:231(1), 2000
380:
377:
375:
372:
370:
365:
362:
360:2nd WIA 1997
359:
358:
355:
353:
350:
348:
341:
338:
336:1st WIA 1996
335:
334:
330:
327:
324:
321:
318:
317:
314:
312:
308:
304:
296:
291:
289:
286:
284:
280:
278:
275:
273:
270:
267:
264:
262:
259:
256:
254:
250:
248:
245:
243:
239:
237:
234:
233:
232:
225:
223:
221:
217:
213:
210:
205:
203:
199:
195:
192:is an annual
191:
187:
178:
174:
170:
166:
163:
160:
157:
153:
148:
145:
141:
138:
136:
132:
128:
124:
119:
110:
107:
99:
88:
85:
81:
78:
74:
71:
67:
64:
60:
57: –
56:
52:
51:Find sources:
45:
39:
38:
34:
29:This article
27:
23:
18:
17:
1074:expanding it
1067:
1059:
1025:
1021:
1004:
1000:
990:Salomaa, Kai
917:31(8), 2020
867:28(5), 2017
815:26(7), 2015
765:24(6), 2013
713:22(8), 2011
661:20(4), 2009
607:18(4), 2007
553:16(3), 2005
499:14(6), 2003
453:13(1), 2002
442:Andrei Paun
366:Derick Wood
344:Derick Wood
328:Proceedings
300:
281:Teaching of
229:
206:
201:
189:
185:
184:
126:Abbreviation
102:
93:
83:
76:
69:
62:
50:
30:
855:Kai Salomaa
852:Yo-Sub Han
701:Kai Salomaa
537:Kai Salomaa
311:Kai Salomaa
307:Derick Wood
257:Concurrency
1113:Categories
982:References
934:LNCS 11601
910:LNCS 10977
893:787, 2019
886:LNCS 10329
839:679, 2017
789:578, 2015
741:450, 2012
620:Jan Holub
325:PC chairs
135:Discipline
66:newspapers
33:references
1007:: 231–234
860:LNCS 9705
832:LNCS 9223
808:LNCS 8587
782:LNCS 7982
758:LNCS 7381
734:LNCS 6807
706:LNCS 6482
678:LNCS 5642
654:LNCS 5148
626:LNCS 4783
600:LNCS 4094
572:LNCS 3845
546:LNCS 3317
518:LNCS 2759
514:Zhe Dang
492:LNCS 2608
468:LNCS 2494
446:LNCS 2088
424:LNCS 2214
400:LNCS 1660
374:LNCS 1436
352:LNCS 1260
322:Location
247:Compilers
176:Frequency
155:Publisher
992:(2004),
969:See also
541:Sheng Yu
439:Sheng Yu
369:Sheng Yu
347:Sheng Yu
209:Springer
159:Springer
1028:: 81–82
168:History
80:scholar
319:Event
188:, the
82:
75:
68:
61:
53:
1048:from
1018:(PDF)
997:(PDF)
171:1996–
87:JSTOR
73:books
1070:stub
1050:DBLP
962:N/A
959:N/A
305:and
218:and
186:CIAA
162:LNCS
142:and
59:news
1026:142
35:to
1115::
1024:,
1020:,
1005:84
1003:,
999:,
313:.
204:.
46:.
1101:e
1094:t
1087:v
1076:.
1030:.
1009:.
109:)
103:(
98:)
94:(
84:·
77:·
70:·
63:·
40:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
