Vienna Summer of Logic

{{refimprove|date=May 2014}}

{{short description|Scientific event}}

File:Vienna Summer of Logic 2014 logo.png

The Vienna Summer of Logic was a scientific event in 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.{{cite news|title=Basic Logic Research Crucial for Computer, Software Engineering|url=http://www.scientificcomputing.com/news/2014/06/basic-logic-research-crucial-computer-software-engineering|accessdate=13 June 2014|work=Scientific Computing|date=June 3, 2014}} The meetings took place from July 9 to 24, 2014, and attracted more than 2000 scientists and researchers.{{cite news|last=Felser|first=Rudolf|title=Vienna Summer of Logic 2014|url=http://www.computerwelt.at/news/wirtschaft-politik/forschung-wissenschaft/detail/artikel/vienna-summer-of-logic-2014/|accessdate=30 December 2013|newspaper=Computerwoche|date=10 December 2013}}{{cite web|title=Vienna Summer of Logic|url=http://vsl2014.at/|accessdate=8 March 2016}}

The event was organized by the Kurt Gödel Society at Vienna University of Technology.{{cite web|title=Vienna Summer of Logic organization|url=http://vsl2014.at/organization/|accessdate=12 June 2014}} Participating meetings include:{{cite web|title=Vienna Summer of Logic|url=http://vsl2014.at/|accessdate=12 June 2014}}

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 [http://vsl2014.at/floc-ws/ FLoC workshops]
• [http://vsl2014.at/olympics/ FLoC Olympic Games] (system competitions)
• SAT/SMT Summer School

In 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 Competition

In 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)