Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Vienna_Summer_of_Logic> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples per page.
- Vienna_Summer_of_Logic abstract "The Vienna Summer of Logic is a scientific event planned for the summer of 2014, combining 12 major conferences and several workshops from the fields of mathematical logic, logic in computer science, and logic in artificial intelligence. The meetings will take place from July 9 to 24, 2014, and are expected to attract more than 2500 scientists and researchers.The event is organized by the Kurt Gödel Society at Vienna University of Technology. Participating meetings include:In the Logic in Computer Science stream (representing the Federated Logic Conference (FLoC)): International Conference on Computer Aided Verification (CAV) IEEE Computer Security Foundations Symposium (CSF) International Conference on Logic Programming (ICLP) International Joint Conference on Automated Reasoning (IJCAR) Conference on Interactive Theorem Proving (ITP) Joint meeting of the EACSL Annual Conference on Computer Science Logic (CSL) and the ACM/IEEE Symposium on Logic in Computer Science (LICS) International Conference on Rewriting Techniques and Applications (RTA) joint with the International Conference on Typed Lambda Calculi and Applications (TLCA) International Conference on Theory and Applications of Satisfiability Testing (SAT) more than 70 FLoC workshops FLoC Olympic Games (system competitions) SAT/SMT Summer SchoolIn the Mathematical Logic stream: Logic Colloquium 2014 (LC) Logic, Algebra and Truth Degrees 2014 (LATD) Workshop on Compositional Meaning in Logic (GeTFun 2.0) The Infinity Workshop (INFINITY) Workshop on Logic and Games (LG) Workshop on Nonclassical Proofs: Theory, Applications and Tools (NCPROOFS) Kurt Gödel Fellowship CompetitionIn the Logic in Artificial Intelligence stream: International Conference on Principles of Knowledge Representation and Reasoning (KR) International Workshop on Description Logics (DL) International Workshop on Non-Monotonic Reasoning (NMR) International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)↑ ↑ ↑ ↑".
- Vienna_Summer_of_Logic wikiPageExternalLink vsl2014.at.
- Vienna_Summer_of_Logic wikiPageExternalLink floc-ws.
- Vienna_Summer_of_Logic wikiPageExternalLink olympics.
- Vienna_Summer_of_Logic wikiPageID "41500588".
- Vienna_Summer_of_Logic wikiPageLength "3662".
- Vienna_Summer_of_Logic wikiPageOutDegree "41".
- Vienna_Summer_of_Logic wikiPageRevisionID "635877610".
- Vienna_Summer_of_Logic wikiPageWikiLink Algebra.
- Vienna_Summer_of_Logic wikiPageWikiLink Artificial_intelligence.
- Vienna_Summer_of_Logic wikiPageWikiLink Automated_theorem_proving.
- Vienna_Summer_of_Logic wikiPageWikiLink Boolean_satisfiability_problem.
- Vienna_Summer_of_Logic wikiPageWikiLink Category:2014_conferences.
- Vienna_Summer_of_Logic wikiPageWikiLink Category:2014_in_Austria.
- Vienna_Summer_of_Logic wikiPageWikiLink Category:2014_in_science.
- Vienna_Summer_of_Logic wikiPageWikiLink Category:21st_century_in_Vienna.
- Vienna_Summer_of_Logic wikiPageWikiLink Category:Logic_organizations.
- Vienna_Summer_of_Logic wikiPageWikiLink Category:Science_and_technology_in_Austria.
- Vienna_Summer_of_Logic wikiPageWikiLink Computer_Aided_Verification.
- Vienna_Summer_of_Logic wikiPageWikiLink Computer_Security_Foundations_Symposium.
- Vienna_Summer_of_Logic wikiPageWikiLink Conference_on_Computer_Science_Logic.
- Vienna_Summer_of_Logic wikiPageWikiLink Description_logic.
- Vienna_Summer_of_Logic wikiPageWikiLink Federated_Logic_Conference.
- Vienna_Summer_of_Logic wikiPageWikiLink File:Vienna_Summer_of_Logic_2014_logo.png.
- Vienna_Summer_of_Logic wikiPageWikiLink Game_theory.
- Vienna_Summer_of_Logic wikiPageWikiLink International_Conference_on_Logic_Programming.
- Vienna_Summer_of_Logic wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Vienna_Summer_of_Logic wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
- Vienna_Summer_of_Logic wikiPageWikiLink Knowledge_representation_and_reasoning.
- Vienna_Summer_of_Logic wikiPageWikiLink Kurt_Gödel.
- Vienna_Summer_of_Logic wikiPageWikiLink Kurt_Gödel_Society.
- Vienna_Summer_of_Logic wikiPageWikiLink Lambda_calculus.
- Vienna_Summer_of_Logic wikiPageWikiLink Logic.
- Vienna_Summer_of_Logic wikiPageWikiLink Logic_Colloquium.
- Vienna_Summer_of_Logic wikiPageWikiLink Logic_in_computer_science.
- Vienna_Summer_of_Logic wikiPageWikiLink Mathematical_logic.
- Vienna_Summer_of_Logic wikiPageWikiLink Non-classical_logic.
- Vienna_Summer_of_Logic wikiPageWikiLink Non-monotonic_logic.
- Vienna_Summer_of_Logic wikiPageWikiLink Satisfiability_modulo_theories.
- Vienna_Summer_of_Logic wikiPageWikiLink Summer_school.
- Vienna_Summer_of_Logic wikiPageWikiLink Symposium_on_Logic_in_Computer_Science.
- Vienna_Summer_of_Logic wikiPageWikiLink Truth_Degrees.
- Vienna_Summer_of_Logic wikiPageWikiLink Vienna_University_of_Technology.
- Vienna_Summer_of_Logic wikiPageWikiLinkText "Vienna Summer of Logic".
- Vienna_Summer_of_Logic wikiPageUsesTemplate Template:Logic-stub.
- Vienna_Summer_of_Logic wikiPageUsesTemplate Template:Refimprove.
- Vienna_Summer_of_Logic wikiPageUsesTemplate Template:Reflist.
- Vienna_Summer_of_Logic subject Category:2014_conferences.
- Vienna_Summer_of_Logic subject Category:2014_in_Austria.
- Vienna_Summer_of_Logic subject Category:2014_in_science.
- Vienna_Summer_of_Logic subject Category:21st_century_in_Vienna.
- Vienna_Summer_of_Logic subject Category:Logic_organizations.
- Vienna_Summer_of_Logic subject Category:Science_and_technology_in_Austria.
- Vienna_Summer_of_Logic hypernym Event.
- Vienna_Summer_of_Logic type SportsEvent.
- Vienna_Summer_of_Logic comment "The Vienna Summer of Logic is a scientific event planned for the summer of 2014, combining 12 major conferences and several workshops from the fields of mathematical logic, logic in computer science, and logic in artificial intelligence. The meetings will take place from July 9 to 24, 2014, and are expected to attract more than 2500 scientists and researchers.The event is organized by the Kurt Gödel Society at Vienna University of Technology.".
- Vienna_Summer_of_Logic label "Vienna Summer of Logic".
- Vienna_Summer_of_Logic sameAs Q15616331.
- Vienna_Summer_of_Logic sameAs m.0zwmxdc.
- Vienna_Summer_of_Logic sameAs Q15616331.
- Vienna_Summer_of_Logic wasDerivedFrom Vienna_Summer_of_Logic?oldid=635877610.
- Vienna_Summer_of_Logic isPrimaryTopicOf Vienna_Summer_of_Logic.