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