<\/p>\n\n\n\n
Overview<\/strong><\/h3>\n\n\n\nThe International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series:
http:\/\/www.informatik.uni-giessen.de\/ciaa\/ciaa_welcome.html<\/a><\/p>\n\n\n\nThe purpose of CIAA 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. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects.<\/p>\n\n\n\n
The first edition was held under the name Workshop on Implementing Automata (WIA\u201996) in London, Ontario, Canada, in 1996. In 2000, the workshop WIA became the conference CIAA. The last 10 editions of the conference took place in:<\/p>\n\n\n\n
\n- CIAA 2023<\/a> Famagusta, Northern Cyprus<\/li>\n\n\n\n
- CIAA 2022<\/a> Rouen, France<\/li>\n\n\n\n
- CIAA 2021<\/a> Bremen, Germany<\/li>\n\n\n\n
- CIAA 2020<\/a> (cancelled), Loughborough, United Kingdom<\/li>\n\n\n\n
- CIAA 2019<\/a>, Kosice, Slovakia<\/li>\n\n\n\n
- CIAA 2018<\/a>, Charlottetown, PEI, Canada<\/li>\n\n\n\n
- CIAA 2017<\/a>, Marne-la-Vall\u00e9e (Paris), France<\/li>\n\n\n\n
- CIAA 2016<\/a>, Seoul, South Korea<\/li>\n\n\n\n
- CIAA 2015<\/a>, Ume\u00e5, Sweden<\/li>\n\n\n\n
- CIAA 2014<\/a>, Giessen, Germany<\/li>\n<\/ul>\n\n\n\n
A \u201cBest Paper Awards\u201d will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these \u201cBest Paper Awards\u201d are named \u201cSheng Yu Awards\u201d in honour of our late lamented colleague, Sheng YU.<\/p>\n\n\n\n
<\/p>\n\n\n\n
Topics<\/strong><\/h3>\n\n\n\nWe solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to:
\u2022 Algorithms on automata
\u2022 Automata and logic
\u2022 Bioinformatics
\u2022 Complexity of automata operations
\u2022 Compilers
\u2022 Computer-aided verification
\u2022 Concurrency
\u2022 Data structure design for automata
\u2022 Data and image compression
\u2022 Design and architecture of automata software
\u2022 Digital libraries
\u2022 DNA\/molecular\/membrane computing
\u2022 Document engineering
\u2022 Editors, environments
\u2022 Experimental studies and practical experiences
\u2022 Industrial applications
\u2022 Natural language processing
\u2022 Networking
\u2022 New algorithms for manipulating automata
\u2022 Object-oriented modeling
\u2022 Pattern-matching
\u2022 Quantum computing
\u2022 Speech and speaker recognition
\u2022 Structured and semi-structured documents
\u2022 Symbolic manipulation environments for automata
\u2022 Teaching
\u2022 Text processing
\u2022 Techniques for graphical display of automata
\u2022 VLSI
\u2022 Viruses, related phenomena
\u2022 World-wide web<\/p>\n\n\n\n
Invited speakers<\/strong><\/h3>\n\n\n\n\n- Sang-Ki Ko<\/strong>, University of Seoul, South Korea <\/li>\n\n\n\n
- Orna Kupferman<\/strong>, Hebrew University of Jerusalem, Israel <\/li>\n\n\n\n
- Carl-Fredrik Nyberg Brodda<\/strong>, Korea Institute For Advanced Study, South Korea<\/li>\n\n\n\n
- Hiroyuki Seki<\/strong>, Nagoya University, Japan<\/li>\n<\/ul>\n\n\n\n
Publications<\/strong><\/h3>\n\n\n\nCIAA 2024 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS). Extended versions of selected papers from the conference will be invited for consideration in a special issue of Theoretical Computer Science.<\/p>\n\n\n\n
<\/p>\n\n\n\n
Contact<\/strong><\/h3>\n\n\n\nAll questions should be emailed to ciaa2024@math.akita-u.ac.jp<\/p>\n\n\n\n
<\/p>\n\n\n\n
Sponsorship<\/strong><\/h3>\n\n\n\nCIAA 2024 is supported by the International Exchange Program International Research Conference Support grant of the National Institute of Information and Communications Technology (NICT) of Japan.<\/p>\n\n\n\n
<\/div><\/div>\n\n\n\n![\"\"](\"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/wp-content\/uploads\/2024\/02\/Logo1.png\")
<\/figure>\n","protected":false},"excerpt":{"rendered":"The call for papers for CIAA 2024 is available in text format here. Overview The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series:http:\/\/www.informatik.uni-giessen.de\/ciaa\/ciaa_welcome.html The purpose of CIAA is to bring together members of the academic, research, and … <\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-151","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/151","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/comments?post=151"}],"version-history":[{"count":11,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/151\/revisions"}],"predecessor-version":[{"id":276,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/151\/revisions\/276"}],"wp:attachment":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/media?parent=151"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
http:\/\/www.informatik.uni-giessen.de\/ciaa\/ciaa_welcome.html<\/a><\/p>\n\n\n\n
The purpose of CIAA 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. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects.<\/p>\n\n\n\n
The first edition was held under the name Workshop on Implementing Automata (WIA\u201996) in London, Ontario, Canada, in 1996. In 2000, the workshop WIA became the conference CIAA. The last 10 editions of the conference took place in:<\/p>\n\n\n\n
- \n
- CIAA 2023<\/a> Famagusta, Northern Cyprus<\/li>\n\n\n\n
- CIAA 2022<\/a> Rouen, France<\/li>\n\n\n\n
- CIAA 2021<\/a> Bremen, Germany<\/li>\n\n\n\n
- CIAA 2020<\/a> (cancelled), Loughborough, United Kingdom<\/li>\n\n\n\n
- CIAA 2019<\/a>, Kosice, Slovakia<\/li>\n\n\n\n
- CIAA 2018<\/a>, Charlottetown, PEI, Canada<\/li>\n\n\n\n
- CIAA 2017<\/a>, Marne-la-Vall\u00e9e (Paris), France<\/li>\n\n\n\n
- CIAA 2016<\/a>, Seoul, South Korea<\/li>\n\n\n\n
- CIAA 2015<\/a>, Ume\u00e5, Sweden<\/li>\n\n\n\n
- CIAA 2014<\/a>, Giessen, Germany<\/li>\n<\/ul>\n\n\n\n
A \u201cBest Paper Awards\u201d will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these \u201cBest Paper Awards\u201d are named \u201cSheng Yu Awards\u201d in honour of our late lamented colleague, Sheng YU.<\/p>\n\n\n\n
<\/p>\n\n\n\n
Topics<\/strong><\/h3>\n\n\n\n
We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to:
\u2022 Algorithms on automata
\u2022 Automata and logic
\u2022 Bioinformatics
\u2022 Complexity of automata operations
\u2022 Compilers
\u2022 Computer-aided verification
\u2022 Concurrency
\u2022 Data structure design for automata
\u2022 Data and image compression
\u2022 Design and architecture of automata software
\u2022 Digital libraries
\u2022 DNA\/molecular\/membrane computing
\u2022 Document engineering
\u2022 Editors, environments
\u2022 Experimental studies and practical experiences
\u2022 Industrial applications
\u2022 Natural language processing
\u2022 Networking
\u2022 New algorithms for manipulating automata
\u2022 Object-oriented modeling
\u2022 Pattern-matching
\u2022 Quantum computing
\u2022 Speech and speaker recognition
\u2022 Structured and semi-structured documents
\u2022 Symbolic manipulation environments for automata
\u2022 Teaching
\u2022 Text processing
\u2022 Techniques for graphical display of automata
\u2022 VLSI
\u2022 Viruses, related phenomena
\u2022 World-wide web<\/p>\n\n\n\nInvited speakers<\/strong><\/h3>\n\n\n\n
- \n
- Sang-Ki Ko<\/strong>, University of Seoul, South Korea <\/li>\n\n\n\n
- Orna Kupferman<\/strong>, Hebrew University of Jerusalem, Israel <\/li>\n\n\n\n
- Carl-Fredrik Nyberg Brodda<\/strong>, Korea Institute For Advanced Study, South Korea<\/li>\n\n\n\n
- Hiroyuki Seki<\/strong>, Nagoya University, Japan<\/li>\n<\/ul>\n\n\n\n
Publications<\/strong><\/h3>\n\n\n\n
CIAA 2024 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS). Extended versions of selected papers from the conference will be invited for consideration in a special issue of Theoretical Computer Science.<\/p>\n\n\n\n
<\/p>\n\n\n\nContact<\/strong><\/h3>\n\n\n\n
All questions should be emailed to ciaa2024@math.akita-u.ac.jp<\/p>\n\n\n\n
<\/p>\n\n\n\n
Sponsorship<\/strong><\/h3>\n\n\n\n
CIAA 2024 is supported by the International Exchange Program International Research Conference Support grant of the National Institute of Information and Communications Technology (NICT) of Japan.<\/p>\n\n\n\n
<\/div><\/div>\n\n\n\n<\/figure>\n","protected":false},"excerpt":{"rendered":"The call for papers for CIAA 2024 is available in text format here. Overview The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series:http:\/\/www.informatik.uni-giessen.de\/ciaa\/ciaa_welcome.html The purpose of CIAA is to bring together members of the academic, research, and … <\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-151","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/151","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/comments?post=151"}],"version-history":[{"count":11,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/151\/revisions"}],"predecessor-version":[{"id":276,"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/pages\/151\/revisions\/276"}],"wp:attachment":[{"href":"http:\/\/www.math.akita-u.ac.jp\/ciaa2024\/index.php\/wp-json\/wp\/v2\/media?parent=151"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
- Orna Kupferman<\/strong>, Hebrew University of Jerusalem, Israel <\/li>\n\n\n\n
- CIAA 2022<\/a> Rouen, France<\/li>\n\n\n\n