About: Conference on Implementation and Application of Automata

Property	Value
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
dcterms: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