Activities & Events
To stay informed about upcoming events, subscribe to our news feed!
Follow the links to…
…a list of all visitors to the VCLA
Events hosted by VCLA
The First Symposium on Structure in Hard Combinatorial Problems, May 16–18, 2013
The Vienna Logic Weeks, hosting 4 co-located events:
- Reasoning Web Summer School, September 3–8, 2012
- 6th International Conference on Web Reasoning and Rule Systems (RR2012), September 10–12, 2012
- 4th International Conference on Computational Models of Argument (COMMA 2012), September 10–12, 2012
- Datalog 2.0, September 11–13, 2012
Winter School on Verification, February 6–10, 2012
Festive Opening of the Vienna Center for Logic and Algorithms, January 25–26, 2012
- Wednesday, January 25 2012, 09:00: Symposium “Logic and Algorithms: A Scientific Perspective”
- Wednesday, January 25 2012, 15:00: Official Opening of the Vienna Center for Logic and Algorithms
- Thursday, January 26 2012, 10:00: Award of the Honorary Doctorate to Edmund M. Clarke
START Grant Kick-Off Workshop ”Proof Theory for Computer Science”, November 25–26, 2011
Worker 2011 - The Third Workshop on Kernelization, September 2–4, 2011
