| http://dbpedia.org/ontology/abstract
|
CIAA, the International Conference on Impl … 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.very year a best paper award is presented.
, International Conference on Implementation … 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.mise au meilleur article de la conférence.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Formal_language +
|
| http://dbpedia.org/ontology/frequencyOfPublication
|
annual (since 1996)
|
| http://dbpedia.org/ontology/publisher
|
http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://ciaa17.univ-mlv.fr/ +
, http://ciaa2015.cs.umu.se/ +
, http://ciaa2020.lboro.ac.uk/ +
, http://toc.yonsei.ac.kr/ciaa2016/ +
, https://web.archive.org/web/20090411183757/http:/www.cse.unsw.edu.au/~ciaa2009/ +
, http://www.cs.umanitoba.ca/~ciaa2010/ +
, http://www.stringology.org/event/CIAA2007/ +
, https://web.archive.org/web/20110325074230/http:/ciaa-fsmnlp-2011.univ-tours.fr/ciaa/page.php%3Fnom=home&id=1 +
, http://www.smcs.upei.ca/ciaa2018/ +
, 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://web.archive.org/web/20080205134654/http:/ciaa2008.cs.sonoma.edu/ +
, 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/3-540-48057-9 +
, https://link.springer.com/book/10.1007/3-540-63174-7 +
, 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://web.archive.org/web/20150915050312/http:/tln.li.univ-tours.fr/ciaa/ +
, https://link.springer.com/book/10.1007/3-540-45526-4 +
, https://link.springer.com/book/10.1007/BFb0031375 +
, https://link.springer.com/book/10.1007/b105090 +
, 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/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 +
, http://cs.smu.ca/~ciaa2013/ +
, http://www.eatcs.org/images/bulletin/beatcs84.pdf +
, 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://im.saske.sk/ciaa2019/ +
, https://web.archive.org/web/20170405223029/http:/www.informatik.uni-giessen.de/ciaa2014/ +
, http://www.i3s.unice.fr/ciaa05/ +
, https://web.archive.org/web/20071220044444/http:/cobra.ee.ntu.edu.tw/ciaa2006/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
15718248
|
| http://dbpedia.org/ontology/wikiPageLength
|
9648
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1025067206
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Kai_Salomaa +
, http://dbpedia.org/resource/Theoretical_Computer_Science_%28journal%29 +
, http://dbpedia.org/resource/Natural_language_processing +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Sheng_Yu_%28computer_scientist%29 +
, http://dbpedia.org/resource/Oscar_H._Ibarra +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science +
, http://dbpedia.org/resource/Derick_Wood +
, http://dbpedia.org/resource/Category:Formal_languages +
, http://dbpedia.org/resource/Bio-inspired_computing +
, http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
, http://dbpedia.org/resource/DBLP +
, http://dbpedia.org/resource/Darrell_Raymond +
, http://dbpedia.org/resource/Data_compression +
, http://dbpedia.org/resource/Text_processing +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Category:Automata_%28computation%29 +
, http://dbpedia.org/resource/International_Journal_of_Foundations_of_Computer_Science +
, http://dbpedia.org/resource/Category:Theoretical_computer_science_conferences +
, http://dbpedia.org/resource/Pattern_matching +
, http://dbpedia.org/resource/Academic_conference +
, http://dbpedia.org/resource/State_complexity +
, http://dbpedia.org/resource/List_of_computer_science_conferences +
, http://dbpedia.org/resource/Compiler +
|
| http://dbpedia.org/property/abbreviation
|
CIAA
|
| http://dbpedia.org/property/country
|
International
|
| http://dbpedia.org/property/discipline
|
Automata theory and formal languages
|
| http://dbpedia.org/property/frequency
|
annual
|
| http://dbpedia.org/property/history
|
1996
|
| http://dbpedia.org/property/publisher
|
http://dbpedia.org/resource/Lecture_Notes_in_Computer_Science +
, http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_Academic_Conference +
, http://dbpedia.org/resource/Template:Compu-conference-stub +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Primary_sources +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Automata_%28computation%29 +
, http://dbpedia.org/resource/Category:Formal_languages +
, http://dbpedia.org/resource/Category:Theoretical_computer_science_conferences +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Conference +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Conference_on_Implementation_and_Application_of_Automata?oldid=1025067206&ns=0 +
|
| http://xmlns.com/foaf/0.1/homepage
|
https://web.archive.org/web/20150915050312/http:/tln.li.univ-tours.fr/ciaa/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Conference_on_Implementation_and_Application_of_Automata +
|
| http://xmlns.com/foaf/0.1/name
|
CIAA (formerly WIA)
|
| owl:sameAs |
http://fr.dbpedia.org/resource/Conference_on_Implementation_and_Application_of_Automata +
, http://d-nb.info/gnd/1092274839 +
, http://www.wikidata.org/entity/Q5159944 +
, http://rdf.freebase.com/ns/m.03nr30b +
, http://dbpedia.org/resource/Conference_on_Implementation_and_Application_of_Automata +
, https://global.dbpedia.org/id/4hsgq +
, http://viaf.org/viaf/274923380 +
|
| rdf:type |
http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Event +
, http://www.wikidata.org/entity/Q1656682 +
, http://dbpedia.org/ontology/AcademicConference +
, http://schema.org/Event +
, http://dbpedia.org/ontology/SocietalEvent +
, http://www.wikidata.org/entity/Q2020153 +
, http://dbpedia.org/ontology/Event +
|
| rdfs:comment |
International Conference on Implementation … 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.ntation of Automata (WIA) avant l'an 2000.
, CIAA, the International Conference on Impl … 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).kshop on Implementation of Automata (WIA).
|
| rdfs:label |
Conference on Implementation and Application of Automata
|
