VSL 2014 - The Vienna Summer of Logic

The Vienna Summer of Logic consists of several co-located conferences organized in three streams:
Logic in Computer Science / Federated Logic Conference
26th International Conference on Computer Aided Verification (CAV)
27th IEEE Computer Security Foundations Symposium (CSF)
30th International Conference on Logic Programming (ICLP)
7th International Joint Conference on Automated Reasoning (IJCAR)
5th Conference on Interactive Theorem Proving (ITP)
29th ACM/IEEE Symposium on Logic in Computer Science (LICS) joined with the 23rd EACSL Annual Conference on Computer Science Logic (CSL)
25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
FLoC Workshops
Mathematical Logic
Logic Colloquium 2014
The Infinity Workshop
Logic, Algebra and Truth Degrees 2014
Kurt Gödel Fellowship Conference
Logic in Artificial Intelligence
14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
27th International Workshop on Description Logics (DL)
15th International Workshop on Non-Monotonic Reasoning (NMR)