VSL 2014: VIENNA SUMMER OF LOGIC 2014
VSL Home Page

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.

The VSL 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, which are reflected in the event's organization in three streams:

Logic in Computer Science / Federated Logic Conference

Mathematical Logic

Logic in Artificial Intelligence