ALCOP VII
Algebra and Coalgebra meet Proof Theory
2nd edition: VCLA Student Awards
April 16, 2016
2nd edition: VCLA Student Awards
The highly successful second edition of the VCLA International Student Awards was concluded on April 16, 2016. Click here for more information and photos.
Helmut Veith 1971-2016
With the deepest sadness, we announce Helmut Veith’s passing on March 12, 2016.
Logic Lounge with Cliff B. Jones
Formal Methods and the Vienna IBM Lab – March 7, 2016
Vienna Science Ball 2016
Successful second cooperation with the Vienna Science Ball
Austrian Computer Science Day 2015
All-Austrian computer scientists’ meet-up
Stream Reasoning Workshop 2015
November 9-10, 2015
4th Austrian Computer Science Day
The Vienna Center for Logic and Algorithms was proud to support the 4th Austrian Computer Science Day, which took place on October 15, 2015 in the famous Kuppelsaal of TU Wien.
Call for the VCLA Student Awards 2015
Nomination deadline extended: November 22, 2015 (AoE)
