Vienna Summer of Logic (VSL)
With over 2000 expected participants, the Vienna Summer of Logic 2014 (VSL) will be the largest event in the history of logic. It will consist of twelve large conferences and numerous workshops, attracting researchers from all over the world. Includes the IEEE Computer Security Foundations (CSF) Symposium, 19-22 July, Vienna Austria. The CSF symposium is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.
Submitted by Dan Wolf
on
With over 2000 expected participants, the Vienna Summer of Logic 2014 (VSL) will be the largest event in the history of logic. It will consist of twelve large conferences and numerous workshops, attracting researchers from all over the world. Includes the IEEE Computer Security Foundations (CSF) Symposium, 19-22 July, Vienna Austria. The CSF symposium is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.
Submitted by Dan Wolf
on