Matches in DBpedia 2015-04 for { ?s ?p <http://dbpedia.org/resource/Category:Theoretical_computer_science_conferences> }
Showing triples 1 to 34 of
34
with 100 triples per page.
- ALGO_Conference subject Category:Theoretical_computer_science_conferences.
- Algorithmic_Number_Theory_Symposium subject Category:Theoretical_computer_science_conferences.
- Algorithms_and_Data_Structures_Symposium subject Category:Theoretical_computer_science_conferences.
- Computer_Aided_Verification subject Category:Theoretical_computer_science_conferences.
- Conference_on_Automated_Deduction subject Category:Theoretical_computer_science_conferences.
- Conference_on_Implementation_and_Application_of_Automata subject Category:Theoretical_computer_science_conferences.
- Descriptional_Complexity_of_Formal_Systems subject Category:Theoretical_computer_science_conferences.
- European_Symposium_on_Algorithms subject Category:Theoretical_computer_science_conferences.
- Federated_Logic_Conference subject Category:Theoretical_computer_science_conferences.
- Interactive_Theorem_Proving_(conference) subject Category:Theoretical_computer_science_conferences.
- International_Colloquium_on_Automata,_Languages_and_Programming subject Category:Theoretical_computer_science_conferences.
- International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods subject Category:Theoretical_computer_science_conferences.
- International_Conference_on_Developments_in_Language_Theory subject Category:Theoretical_computer_science_conferences.
- International_Conference_on_Rewriting_Techniques_and_Applications subject Category:Theoretical_computer_science_conferences.
- International_Conference_on_Theory_and_Applications_of_Models_of_Computation subject Category:Theoretical_computer_science_conferences.
- International_Joint_Conference_on_Automated_Reasoning subject Category:Theoretical_computer_science_conferences.
- International_Symposium_on_Distributed_Computing subject Category:Theoretical_computer_science_conferences.
- International_Symposium_on_Fundamentals_of_Computation_Theory subject Category:Theoretical_computer_science_conferences.
- International_Symposium_on_Graph_Drawing subject Category:Theoretical_computer_science_conferences.
- International_Symposium_on_Symbolic_and_Algebraic_Computation subject Category:Theoretical_computer_science_conferences.
- International_Workshop_on_First-Order_Theorem_Proving subject Category:Theoretical_computer_science_conferences.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning subject Category:Theoretical_computer_science_conferences.
- Logic_in_Computer_Science_(IEEE_symposium) subject Category:Theoretical_computer_science_conferences.
- RAMiCS subject Category:Theoretical_computer_science_conferences.
- SWAT_and_WADS_conferences subject Category:Theoretical_computer_science_conferences.
- Scandinavian_Symposium_and_Workshops_on_Algorithm_Theory subject Category:Theoretical_computer_science_conferences.
- Symposium_on_Discrete_Algorithms subject Category:Theoretical_computer_science_conferences.
- Symposium_on_Foundations_of_Computer_Science subject Category:Theoretical_computer_science_conferences.
- Symposium_on_Parallelism_in_Algorithms_and_Architectures subject Category:Theoretical_computer_science_conferences.
- Symposium_on_Principles_of_Distributed_Computing subject Category:Theoretical_computer_science_conferences.
- Symposium_on_Theoretical_Aspects_of_Computer_Science subject Category:Theoretical_computer_science_conferences.
- Symposium_on_Theory_of_Computing subject Category:Theoretical_computer_science_conferences.
- Workshop_on_Approximation_and_Online_Algorithms subject Category:Theoretical_computer_science_conferences.
- Workshop_on_Logic,_Language,_Information_and_Computation subject Category:Theoretical_computer_science_conferences.