Activities & Events
| As VCLA is just starting, we’re still organizing the first events. Further details on upcoming activities and calls for participation will be announced here. Perhaps you’d like to subscribe to our news feed? |
Past Events
Worker 2011 – The Third Workshop on Kernelization, September 2–4, 2011
START Grant Kick-Off Workshop ”Proof Theory for Computer Science”, November 25–26, 2011
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
Winter School on Verification, February 6–10, 2012
Future 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
