In the summer of 2014, Vienna hosted the largest event in the history of logic. The Vienna Summer of Logic (VSL) consisted of twelve large conferences and numerous workshops, attracting over 2000 researchers from all over the world.


The Vienna Summer of Logic

Honorary Committee

Public Events

Logic in Computer Science / Federated Logic Conference

Mathematical Logic

Logic in Artificial Intelligence