Activities & Events

To stay informed about upcoming events, subscribe to our news feed!
Specialized feeds for talks are available on the talks page.

Follow the links to…

…an overview of all events

…an overview of all talks

…a list of all visitors to the VCLA

Events hosted by VCLA

The Stream Reasoning Workshop, November 9-10, 2015

The Symposium on Knowledge Compilation, June 4-6, 2015

The PhDs in Logic VII conference, May 14-16, 2015

The Vienna Summer of Logic 2014 (co-organized), July 9-24, 2014

The First Symposium on Structure in Hard Combinatorial Problems, May 16–18, 2013

The Vienna Logic Weeks, hosting 4 co-located events:

Winter School on Verification, February 6–10, 2012

Festive Opening of the Vienna Center for Logic and Algorithms, January 25–26, 2012

START Grant Kick-Off Workshop “Non-classical logics”, November 25–26, 2011

Worker 2011 – The Third Workshop on Kernelization, September 2–4, 2011