| dbo:abstract |
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. (en) International Conference on Implementation and Application of Automata (abrégé en CIAA) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, réunissant chercheurs et enseignants du supérieur et de l'industrie concernés par la théorie, les implémentations et les applications des automates et de structures voisines. C'est pourquoi la conférence a pour thème la recherche en implémentation et application, y compris dans ses aspects théoriques. La conférence avait pour titre Workshop on Implementation of Automata (WIA) avant l'an 2000. Les contributions soumises sont évaluées par le pairs ; les articles acceptés sont publiés dans la série des (en) de Springer, les versions détaillées de certaines contribution choisies par le comité de programmes apparaissent en alternance dans les périodiques Theoretical Computer Science et International Journal of Foundations of Computer Science. Chaque année, une distinction est remise au meilleur article de la conférence. (fr) |
| dbo:academicDiscipline |
dbr:Formal_language dbr:Automata_theory |
| dbo:frequencyOfPublication |
annual (since 1996) |
| dbo:publisher |
dbr:Springer_Science+Business_Media |
| dbo:wikiPageExternalLink |
http://ciaa17.univ-mlv.fr/ http://ciaa2015.cs.umu.se/ http://ciaa2020.lboro.ac.uk/ http://cs.smu.ca/~ciaa2013/ http://toc.yonsei.ac.kr/ciaa2016/ http://www.cs.umanitoba.ca/~ciaa2010/ http://www.eatcs.org/images/bulletin/beatcs84.pdf http://www.i3s.unice.fr/ciaa05/ http://www.smcs.upei.ca/ciaa2018/ http://www.stringology.org/event/CIAA2007/ https://im.saske.sk/ciaa2019/ https://dblp.org/streams/conf/wia https://link.springer.com/book/10.1007/11605157 https://link.springer.com/book/10.1007/11812128 https://link.springer.com/book/10.1007/3-540-36390-4 https://link.springer.com/book/10.1007/3-540-44674-5 https://link.springer.com/book/10.1007/3-540-44977-9 https://link.springer.com/book/10.1007/3-540-45089-0 https://link.springer.com/book/10.1007/3-540-45526-4 https://link.springer.com/book/10.1007/3-540-48057-9 https://link.springer.com/book/10.1007/3-540-63174-7 https://link.springer.com/book/10.1007/978-3-030-23679-3 https://link.springer.com/book/10.1007/978-3-319-08846-4 https://link.springer.com/book/10.1007/978-3-319-22360-5 https://link.springer.com/book/10.1007/978-3-319-40946-7 https://link.springer.com/book/10.1007/978-3-319-60134-2 https://link.springer.com/book/10.1007/978-3-319-94812-6 https://link.springer.com/book/10.1007/978-3-540-70844-5 https://link.springer.com/book/10.1007/978-3-540-76336-9 https://link.springer.com/book/10.1007/978-3-642-02979-0 https://link.springer.com/book/10.1007/978-3-642-18098-9 https://link.springer.com/book/10.1007/978-3-642-22256-6 https://link.springer.com/book/10.1007/978-3-642-31606-7 https://link.springer.com/book/10.1007/978-3-642-39274-0 https://link.springer.com/book/10.1007/BFb0031375 https://link.springer.com/book/10.1007/b105090 https://web.archive.org/web/20071220044444/http:/cobra.ee.ntu.edu.tw/ciaa2006/ https://web.archive.org/web/20080205134654/http:/ciaa2008.cs.sonoma.edu/ https://web.archive.org/web/20090411183757/http:/www.cse.unsw.edu.au/~ciaa2009/ https://web.archive.org/web/20110325074230/http:/ciaa-fsmnlp-2011.univ-tours.fr/ciaa/page.php%3Fnom=home&id=1 https://web.archive.org/web/20150915050312/http:/tln.li.univ-tours.fr/ciaa/ https://web.archive.org/web/20170405223029/http:/www.informatik.uni-giessen.de/ciaa2014/ |
| dbo:wikiPageID |
15718248 (xsd:integer) |
| dbo:wikiPageLength |
9648 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1025067206 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:List_of_computer_science_conferences dbr:Natural_language_processing dbr:Bio-inspired_computing dbr:Derick_Wood dbr:International_Journal_of_Foundations_of_Computer_Science dbr:Compiler dbr:Model_checking dbr:Computer_science dbr:Theoretical_Computer_Science_(journal) dbr:Data_compression dbr:Lecture_Notes_in_Computer_Science dbr:DBLP dbr:Oscar_H._Ibarra dbr:Formal_language dbr:State_complexity dbc:Theoretical_computer_science_conferences dbr:Academic_conference dbc:Automata_(computation) dbc:Formal_languages dbr:Kai_Salomaa dbr:Automata_theory dbr:Springer_Science+Business_Media dbr:Pattern_matching dbr:Text_processing dbr:Darrell_Raymond dbr:Sheng_Yu_(computer_scientist) |
| dbp:abbreviation |
CIAA (en) |
| dbp:country |
International (en) |
| dbp:discipline |
Automata theory and formal languages (en) |
| dbp:frequency |
annual (en) |
| dbp:history |
1996 (xsd:integer) |
| dbp:publisher |
dbr:Lecture_Notes_in_Computer_Science dbr:Springer_Science+Business_Media |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Citation dbt:Primary_sources dbt:Compu-conference-stub dbt:Infobox_Academic_Conference |
| dct:subject |
dbc:Theoretical_computer_science_conferences dbc:Automata_(computation) dbc:Formal_languages |
| gold:hypernym |
dbr:Conference |
| rdf:type |
owl:Thing schema:Event dul:Event dbo:SocietalEvent wikidata:Q1656682 dbo:AcademicConference wikidata:Q2020153 dbo:Event |
| rdfs:comment |
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). (en) International Conference on Implementation and Application of Automata (abrégé en CIAA) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, réunissant chercheurs et enseignants du supérieur et de l'industrie concernés par la théorie, les implémentations et les applications des automates et de structures voisines. C'est pourquoi la conférence a pour thème la recherche en implémentation et application, y compris dans ses aspects théoriques. La conférence avait pour titre Workshop on Implementation of Automata (WIA) avant l'an 2000. (fr) |
| rdfs:label |
Conference on Implementation and Application of Automata (en) Conference on Implementation and Application of Automata (fr) |
| owl:sameAs |
freebase:Conference on Implementation and Application of Automata http://d-nb.info/gnd/1092274839 http://viaf.org/viaf/274923380 wikidata:Conference on Implementation and Application of Automata dbpedia-fr:Conference on Implementation and Application of Automata https://global.dbpedia.org/id/4hsgq |
| prov:wasDerivedFrom |
wikipedia-en:Conference_on_Implementation_and_Application_of_Automata?oldid=1025067206&ns=0 |
| foaf:homepage |
https://web.archive.org/web/20150915050312/http:/tln.li.univ-tours.fr/ciaa/ |
| foaf:isPrimaryTopicOf |
wikipedia-en:Conference_on_Implementation_and_Application_of_Automata |
| foaf:name |
(en) CIAA (formerly WIA) (en) |
| is dbo:wikiPageDisambiguates of |
dbr:CIAA |
| is dbo:wikiPageRedirects of |
dbr:Conference_on_implementation_and_application_of_automata dbr:Workshop_on_Implementation_of_Automata dbr:International_Conference_on_Implementation_and_Application_of_Automata |
| is dbo:wikiPageWikiLink of |
dbr:Derick_Wood dbr:Descriptional_Complexity_of_Formal_Systems dbr:Generalized_nondeterministic_finite_automaton dbr:Krohn–Rhodes_theory dbr:State_complexity dbr:CIAA dbr:Conference_on_implementation_and_application_of_automata dbr:Workshop_on_Implementation_of_Automata dbr:International_Conference_on_Implementation_and_Application_of_Automata |
| is foaf:primaryTopic of |
wikipedia-en:Conference_on_Implementation_and_Application_of_Automata |
