Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q15616331> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Q15616331 subject Q15102319.
- Q15616331 subject Q7029209.
- Q15616331 subject Q8203995.
- Q15616331 subject Q8204049.
- Q15616331 subject Q8601373.
- Q15616331 subject Q9222602.
- Q15616331 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)↑ ↑ ↑ ↑".
- Q15616331 wikiPageExternalLink vsl2014.at.
- Q15616331 wikiPageExternalLink floc-ws.
- Q15616331 wikiPageExternalLink olympics.
- Q15616331 wikiPageWikiLink Q11660.
- Q15616331 wikiPageWikiLink Q1166618.
- Q15616331 wikiPageWikiLink Q15102319.
- Q15616331 wikiPageWikiLink Q2067766.
- Q15616331 wikiPageWikiLink Q239179.
- Q15616331 wikiPageWikiLink Q242028.
- Q15616331 wikiPageWikiLink Q2488768.
- Q15616331 wikiPageWikiLink Q2651693.
- Q15616331 wikiPageWikiLink Q3478658.
- Q15616331 wikiPageWikiLink Q387196.
- Q15616331 wikiPageWikiLink Q3968.
- Q15616331 wikiPageWikiLink Q41390.
- Q15616331 wikiPageWikiLink Q431667.
- Q15616331 wikiPageWikiLink Q44455.
- Q15616331 wikiPageWikiLink Q5157410.
- Q15616331 wikiPageWikiLink Q5440687.
- Q15616331 wikiPageWikiLink Q5970489.
- Q15616331 wikiPageWikiLink Q6049645.
- Q15616331 wikiPageWikiLink Q6049670.
- Q15616331 wikiPageWikiLink Q6051264.
- Q15616331 wikiPageWikiLink Q6446756.
- Q15616331 wikiPageWikiLink Q647882.
- Q15616331 wikiPageWikiLink Q689400.
- Q15616331 wikiPageWikiLink Q7029209.
- Q15616331 wikiPageWikiLink Q8078.
- Q15616331 wikiPageWikiLink Q8203995.
- Q15616331 wikiPageWikiLink Q8204049.
- Q15616331 wikiPageWikiLink Q8601373.
- Q15616331 wikiPageWikiLink Q875276.
- Q15616331 wikiPageWikiLink Q9222602.
- Q15616331 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.".
- Q15616331 label "Vienna Summer of Logic".