This HTML5 document contains 130 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
n16http://ciaa17.univ-mlv.fr/
wikipedia-enhttp://en.wikipedia.org/wiki/
n18http://ciaa2020.lboro.ac.uk/
dbrhttp://dbpedia.org/resource/
n19http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n32https://web.archive.org/web/20071220044444/http:/cobra.ee.ntu.edu.tw/ciaa2006/
n35https://web.archive.org/web/20170405223029/http:/www.informatik.uni-giessen.de/ciaa2014/
n13http://viaf.org/viaf/
schemahttp://schema.org/
dbpedia-frhttp://fr.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n24http://www.eatcs.org/images/bulletin/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n28http://d-nb.info/gnd/
n34https://web.archive.org/web/20090411183757/http:/www.cse.unsw.edu.au/~ciaa2009/
dbphttp://dbpedia.org/property/
n31https://web.archive.org/web/20080205134654/http:/ciaa2008.cs.sonoma.edu/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbohttp://dbpedia.org/ontology/
n39http://www.smcs.upei.ca/ciaa2018/
n38http://toc.yonsei.ac.kr/ciaa2016/
n10http://www.cs.umanitoba.ca/~ciaa2010/
n30https://dblp.org/streams/conf/
n21https://web.archive.org/web/20110325074230/http:/ciaa-fsmnlp-2011.univ-tours.fr/ciaa/
dbchttp://dbpedia.org/resource/Category:
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
n27https://global.dbpedia.org/id/
n20http://www.i3s.unice.fr/ciaa05/
n9https://link.springer.com/book/10.1007/
n36http://www.stringology.org/event/CIAA2007/
n8https://web.archive.org/web/20150915050312/http:/tln.li.univ-tours.fr/ciaa/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n33http://cs.smu.ca/~ciaa2013/
n11https://im.saske.sk/ciaa2019/
n17http://ciaa2015.cs.umu.se/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Derick_Wood
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:Descriptional_Complexity_of_Formal_Systems
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:Generalized_nondeterministic_finite_automaton
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:Conference_on_Implementation_and_Application_of_Automata
rdf:type
dbo:Event dbo:AcademicConference n19:Event dbo:SocietalEvent wikidata:Q2020153 wikidata:Q1656682 schema:Event owl:Thing
rdfs:label
Conference on Implementation and Application of Automata Conference on Implementation and Application of Automata
rdfs:comment
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. 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).
foaf:name
CIAA (formerly WIA)
foaf:homepage
n8:
dcterms:subject
dbc:Formal_languages dbc:Theoretical_computer_science_conferences dbc:Automata_(computation)
dbo:wikiPageID
15718248
dbo:wikiPageRevisionID
1025067206
dbo:wikiPageWikiLink
dbr:Compiler dbr:Springer_Science+Business_Media dbr:Automata_theory dbr:Formal_language dbr:Oscar_H._Ibarra dbr:Sheng_Yu_(computer_scientist) dbr:Natural_language_processing dbr:Academic_conference dbr:Computer_science dbr:Derick_Wood dbr:State_complexity dbc:Formal_languages dbr:Model_checking dbr:International_Journal_of_Foundations_of_Computer_Science dbr:Theoretical_Computer_Science_(journal) dbr:Kai_Salomaa dbr:Pattern_matching dbr:List_of_computer_science_conferences dbr:Data_compression dbc:Theoretical_computer_science_conferences dbr:Darrell_Raymond dbr:DBLP dbr:Lecture_Notes_in_Computer_Science dbc:Automata_(computation) dbr:Text_processing dbr:Bio-inspired_computing
dbo:wikiPageExternalLink
n9:11605157 n10: n9:11812128 n9:3-540-36390-4 n11: n16: n17: n18: n20: n9:BFb0031375 n9:b105090 n9:978-3-540-70844-5 n9:978-3-540-76336-9 n9:978-3-642-02979-0 n9:978-3-642-18098-9 n9:978-3-642-22256-6 n9:978-3-642-31606-7 n9:978-3-642-39274-0 n21:page.php%3Fnom=home&id=1 n9:978-3-030-23679-3 n9:978-3-319-08846-4 n9:978-3-319-22360-5 n9:978-3-319-40946-7 n9:978-3-319-60134-2 n8: n9:978-3-319-94812-6 n9:3-540-44674-5 n24:beatcs84.pdf n9:3-540-44977-9 n9:3-540-45089-0 n9:3-540-45526-4 n9:3-540-48057-9 n9:3-540-63174-7 n30:wia n31: n32: n33: n34: n35: n36: n38: n39:
owl:sameAs
n13:274923380 freebase:m.03nr30b n27:4hsgq n28:1092274839 wikidata:Q5159944 dbpedia-fr:Conference_on_Implementation_and_Application_of_Automata
dbp:wikiPageUsesTemplate
dbt:Citation dbt:Primary_sources dbt:Authority_control dbt:Infobox_Academic_Conference dbt:Compu-conference-stub
dbp:abbreviation
CIAA
dbp:country
International
dbp:discipline
Automata theory and formal languages
dbp:frequency
annual
dbp:history
1996
dbp:publisher
dbr:Lecture_Notes_in_Computer_Science dbr:Springer_Science+Business_Media
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. 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.
gold:hypernym
dbr:Conference
prov:wasDerivedFrom
wikipedia-en:Conference_on_Implementation_and_Application_of_Automata?oldid=1025067206&ns=0
dbo:wikiPageLength
9648
dbo:frequencyOfPublication
annual (since 1996)
dbo:academicDiscipline
dbr:Automata_theory dbr:Formal_language
dbo:publisher
dbr:Springer_Science+Business_Media
foaf:isPrimaryTopicOf
wikipedia-en:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:Krohn–Rhodes_theory
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:State_complexity
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:CIAA
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
dbo:wikiPageDisambiguates
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:Conference_on_implementation_and_application_of_automata
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
dbo:wikiPageRedirects
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:Workshop_on_Implementation_of_Automata
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
dbo:wikiPageRedirects
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
dbr:International_Conference_on_Implementation_and_Application_of_Automata
dbo:wikiPageWikiLink
dbr:Conference_on_Implementation_and_Application_of_Automata
dbo:wikiPageRedirects
dbr:Conference_on_Implementation_and_Application_of_Automata
Subject Item
wikipedia-en:Conference_on_Implementation_and_Application_of_Automata
foaf:primaryTopic
dbr:Conference_on_Implementation_and_Application_of_Automata