Vienna Summer of Logic
Appearance
This article needs additional citations for verification. (May 2014) |
![](http://upload.wikimedia.org/wikipedia/en/thumb/e/e8/Vienna_Summer_of_Logic_2014_logo.png/200px-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.[1] The meetings took place from July 9 to 24, 2014, and attracted more than 2000 scientists and researchers.[2][3]
The event was organized by the Kurt Gödel Society at Vienna University of Technology.[4] Participating meetings include:[5]
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 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)
References
[edit]- ^ "Basic Logic Research Crucial for Computer, Software Engineering". Scientific Computing. June 3, 2014. Retrieved 13 June 2014.
- ^ Felser, Rudolf (10 December 2013). "Vienna Summer of Logic 2014". Computerwoche. Retrieved 30 December 2013.
- ^ "Vienna Summer of Logic". Retrieved 8 March 2016.
- ^ "Vienna Summer of Logic organization". Retrieved 12 June 2014.
- ^ "Vienna Summer of Logic". Retrieved 12 June 2014.