About: Theoretical computer science conferences

Property	Value
rdf:type	skos:Concept
rdfs:label	Theoretical computer science conferences
skos:broader	dbpedia:Category:Computer_science_conferences dbpedia:Category:Theoretical_computer_science
skos:prefLabel	Theoretical computer science conferences
is skos:subject of	dbpedia:International_Joint_Conference_on_Automated_Reasoning dbpedia:Computer_Aided_Verification dbpedia:Federated_Logic_Conference dbpedia:IEEE_Symposium_on_Logic_in_Computer_Science dbpedia:International_Colloquium_on_Automata,_Languages_and_Programming dbpedia:International_Conference_on_Automated_...Analytic_Tableaux_and_Related_Methods dbpedia:International_Symposium_on_Graph_Drawing dbpedia:International_Workshop_on_First-Order_Theorem_Proving dbpedia:Descriptional_Complexity_of_Formal_Systems dbpedia:European_Symposium_on_Algorithms dbpedia:International_Conference_on_Developments_in_Language_Theory dbpedia:International_Symposium_on_Distributed_Computing dbpedia:Algorithmic_Number_Theory_Symposium dbpedia:Algorithms_and_Data_Structures_Symposium dbpedia:Conference_on_Automated_Deduction dbpedia:Conference_on_Implementation_and_Application_of_Automata dbpedia:International_Conference_on_Rewriting_Techniques_and_Applications dbpedia:Scandinavian_Symposium_and_Workshops_on_Algorithm_Theory dbpedia:Symposium_on_Foundations_of_Computer_Science dbpedia:Symposium_on_Theoretical_Aspects_of_Computer_Science dbpedia:Symposium_on_Principles_of_Distributed_Computing dbpedia:Symposium_on_Theory_of_Computing dbpedia:Theorem_Proving_in_Higher-Order_Logics dbpedia:Symposium_on_Parallelism_in_Algorithms_and_Architectures