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.
Logic in Computer Science / Federated Logic Conference
26th International Conference on Computer Aided Verification (CAV)
27th IEEE Computer Security Foundations Symposium...
