About: International Conference on Reachability Problems

Property	Value
dbo:academicDiscipline	dbr:Automata_theory dbr:Computational_model dbr:Logic dbr:Algebraic_structure dbr:Formal_verification
dbo:description	conference series (en)
dbo:frequencyOfPublication	annual
dbo:publisher	dbr:Lecture_Notes_in_Computer_Science dbr:Springer_Science+Business_Media
dbo:wikiPageExternalLink	http://rp16.cs.aau.dk/ http://rp17.cs.rhul.ac.uk/ http://rp2015.mimuw.edu.pl/ https://rp2018.lis-lab.fr/ https://rp2021.csc.liv.ac.uk/ https://rp2022.mpi-sws.org/ https://sites.uclouvain.be/rp2019/ https://link.springer.com/book/10.1007%2F978-3-030-30806-3 https://link.springer.com/book/10.1007/978-3-030-00250-3 https://link.springer.com/book/10.1007/978-3-030-61739-4, https://link.springer.com/book/10.1007/978-3-030-89716-1, https://www.cs.ox.ac.uk/RP2014/ https://www.irif.fr/~rp2020/ http://www.it.uu.se/conf/RP2013/
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Automata_theory dbr:Petri_net dbr:Computational_model dbr:Lecture_Notes_in_Computer_Science dbr:Logic dbr:Formal_language dbr:Concurrency_(computer_science) dbr:Algorithmic_game_theory dbr:Springer_Science+Business_Media dbr:Computer_science dbr:Algebraic_structure dbr:Automata_Theory dbc:Theory_of_computation dbr:Formal_verification dbr:Academic_conference dbr:Hybrid_system dbr:Reachability_problem dbr:Distributed_computation dbr:Rewriting_system
dbp:abbreviation	RP (en)
dbp:country	International (en)
dbp:discipline	Automata theory, Algebraic structures, logic, verification, computational models (en)
dbp:frequency	annual (en)
dbp:history	2007 (xsd:integer)
dbp:publisher	dbr:Lecture_Notes_in_Computer_Science dbr:Springer_Science+Business_Media
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Infobox_Academic_Conference
dct:subject	dbc:Theory_of_computation
rdf:type	owl:Thing dul:Event wikidata:Q1656682 wikidata:Q2020153 dbo:Event dbo:SocietalEvent schema:Event
rdfs:label	International Conference on Reachability Problems (en) رويال بايرتس (ar) Royal Pirates (fr) Royal Pirates (ja) 로열 파이럿츠 (ko) Royal Pirates (zh)
owl:sameAs	http://viaf.org/viaf/283770873 wikidata:International Conference on Reachability Problems wikidata:International Conference on Reachability Problems wikidata:International Conference on Reachability Problems dbpedia-fr:International Conference on Reachability Problems dbpedia-zh:International Conference on Reachability Problems dbpedia-ja:International Conference on Reachability Problems http://musicbrainz.org/artist/03b8a21f-00da-42fe-a040-d25d846c2701 dbpedia-ko:International Conference on Reachability Problems http://d-nb.info/gnd/1092411283 dbpedia-ar:International Conference on Reachability Problems dbpedia-global:International Conference on Reachability Problems dbr:International Conference on Reachability Problems
prov:wasDerivedFrom	wikipedia-en:International_Conference_on_Reachability_Problems?oldid=1185311436&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:International_Conference_on_Reachability_Problems
foaf:name	RP (en)
is dbo:wikiPageRedirects of	dbr:Workshop_on_Reachability_Problems
is dbo:wikiPageWikiLink of	dbr:List_of_computer_science_conferences dbr:Workshop_on_Reachability_Problems
is foaf:primaryTopic of	wikipedia-en:International_Conference_on_Reachability_Problems