About: Theoretical computer science conferences

Property	Value
dbo:wikiPageID	22744574 (xsd:integer)
dbo:wikiPageRevisionID	288937121 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Theoretical computer science conferences (en)
skos:broader	dbc:Computer_science_conferences dbc:Theoretical_computer_science
skos:prefLabel	Theoretical computer science conferences (en)
prov:wasDerivedFrom	wikipedia-en:Category:Theoretical_computer_science_conferences?oldid=288937121&ns=14
is dbo:wikiPageWikiLink of	dbr:Scandinavian_Symposium_and_Workshops_on_Algorithm_Theory dbr:Algorithmic_Number_Theory_Symposium dbr:Descriptional_Complexity_of_Formal_Systems dbr:Innovations_in_Theoretical_Computer_Science dbr:Interactive_Theorem_Proving_(conference) dbr:International_Colloquium_on_Automata,_Languages_and_Programming dbr:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency dbr:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods dbr:International_Conference_on_Developments_in_Language_Theory dbr:International_Joint_Conference_on_Automated_Reasoning dbr:International_Symposium_on_Fundamentals_of_Computation_Theory dbr:International_Symposium_on_Graph_Drawing dbr:International_Symposium_on_Mathematical_Foundations_of_Computer_Science dbr:International_Symposium_on_Symbolic_and_Algebraic_Computation dbr:International_Workshop_on_First-Order_Theorem_Proving dbr:SWAT_and_WADS_conferences dbr:Symposium_on_Logic_in_Computer_Science dbr:Conference_on_Automated_Deduction dbr:Conference_on_Computability_in_Europe dbr:Conference_on_Implementation_and_Application_of_Automata dbr:Logic_for_Programming,_Artificial_Intelligence_and_Reasoning dbr:Computational_Complexity_Conference dbr:Computer_Aided_Verification dbr:Algorithms_and_Data_Structures_Symposium dbr:International_Conference_on_Rewriting_Techniques_and_Applications dbr:International_Conference_on_Theory_and_Applications_of_Models_of_Computation dbr:International_Symposium_on_Distributed_Computing dbr:ALGO_Conference dbr:RAMiCS dbr:Symposium_on_Parallelism_in_Algorithms_and_Architectures dbr:Symposium_on_Theory_of_Computing dbr:Symposium_on_Discrete_Algorithms dbr:Symposium_on_Theoretical_Aspects_of_Computer_Science dbr:European_Symposium_on_Algorithms dbr:Symposium_on_Principles_of_Distributed_Computing dbr:Workshop_on_Approximation_and_Online_Algorithms dbr:Symposium_on_Computational_Geometry dbr:Workshop_on_Logic,_Language,_Information_and_Computation dbr:Symposium_on_Foundations_of_Computer_Science
is dcterms:subject of	dbr:Scandinavian_Symposium_and_Workshops_on_Algorithm_Theory dbr:Algorithmic_Number_Theory_Symposium dbr:Descriptional_Complexity_of_Formal_Systems dbr:Innovations_in_Theoretical_Computer_Science dbr:Interactive_Theorem_Proving_(conference) dbr:International_Colloquium_on_Automata,_Languages_and_Programming dbr:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency dbr:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods dbr:International_Conference_on_Developments_in_Language_Theory dbr:International_Joint_Conference_on_Automated_Reasoning dbr:International_Symposium_on_Fundamentals_of_Computation_Theory dbr:International_Symposium_on_Graph_Drawing dbr:International_Symposium_on_Mathematical_Foundations_of_Computer_Science dbr:International_Symposium_on_Symbolic_and_Algebraic_Computation dbr:International_Workshop_on_First-Order_Theorem_Proving dbr:SWAT_and_WADS_conferences dbr:Symposium_on_Logic_in_Computer_Science dbr:Conference_on_Automated_Deduction dbr:Conference_on_Computability_in_Europe dbr:Conference_on_Implementation_and_Application_of_Automata dbr:Logic_for_Programming,_Artificial_Intelligence_and_Reasoning dbr:Computational_Complexity_Conference dbr:Computer_Aided_Verification dbr:Algorithms_and_Data_Structures_Symposium dbr:International_Conference_on_Rewriting_Techniques_and_Applications dbr:International_Conference_on_Theory_and_Applications_of_Models_of_Computation dbr:International_Symposium_on_Distributed_Computing dbr:ALGO_Conference dbr:RAMiCS dbr:Symposium_on_Parallelism_in_Algorithms_and_Architectures dbr:Symposium_on_Theory_of_Computing dbr:Symposium_on_Discrete_Algorithms dbr:Symposium_on_Theoretical_Aspects_of_Computer_Science dbr:European_Symposium_on_Algorithms dbr:Symposium_on_Principles_of_Distributed_Computing dbr:Workshop_on_Approximation_and_Online_Algorithms dbr:Symposium_on_Computational_Geometry dbr:Workshop_on_Logic,_Language,_Information_and_Computation dbr:Symposium_on_Foundations_of_Computer_Science