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)

Helmut Veith receives CAV Award

VCLA Co-Chair is one of the recipients of prestigious annual award