<div dir="ltr"><div>**Vienna Summer of Logic Announcement**</div><div><br></div><div>In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. </div>
<div><br></div><div>The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. </div><div><br></div>
<div>This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014 (see website for more details: <a href="http://vsl2014.at">http://vsl2014.at</a>) </div><div><br>
</div><div>*Keynote Speakers*</div><div>The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session. </div>
<div><br></div><div>*Logic in Computer Science / Federated Logic Conference (FLoC)*</div><div>- 26th International Conference on Computer Aided Verification (CAV)</div><div>- 27th IEEE Computer Security Foundations Symposium (CSF)</div>
<div>- 30th International Conference on Logic Programming (ICLP)</div><div>- 7th International Joint Conference on Automated Reasoning (IJCAR)</div><div>- 5th Conference on Interactive Theorem Proving (ITP)</div><div>- Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)</div>
<div>- 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)</div><div>- 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)</div>
<div>- FLoC Workshops</div><div>- FLoC Olympic Games (System Competitions)</div><div><br></div><div>*Mathematical Logic*</div><div>- Logic Colloquium 2014</div><div>- Logic, Algebra and Truth Degrees 2014 </div><div>- The Infinity Workshop</div>
<div>- Kurt Goedel Fellowship Competition</div><div><br></div><div>*Logic in Artificial Intelligence*</div><div>- 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)</div><div>- 27th International Workshop on Description Logics (DL)</div>
<div>- 15th International Workshop on Non-Monotonic Reasoning (NMR)</div><div>- International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)</div><div><br></div><div><br></div><div>*Kurt Goedel Research Prize Fellowship Competition*</div>
<div>At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." </div>
<div><br></div><div>*FLoC Olympic Games - Citius, Maius, Potentius*</div><div>The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games.  Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.</div>
<div><br></div>
</div>