Algebra and Coalgebra meet Proof Theory

2nd edition: VCLA Student Awards

April 16, 2016

Logic Lounge with Cliff B. Jones

Formal Methods and the Vienna IBM Lab – March 7, 2016

Stream Reasoning Workshop 2015

November 9-10, 2015

Symposium on Knowledge Compilation

This symposium will take place from June 4 to 6, 2015.

PhDs in Logic VII

The 7th edition of the PhDs in Logic conference will take place in Vienna, Austria, between May 14 and 16, 2015.

Vienna Summer of Logic 2014

Organised by the Kurt Goedel Society, VSL 2014 was the largest event in the history of logic.

First Symposium on Structure in Hard Combinatorial Problems

The aim of this symposium is to bring together researchers from various disciplines who are concerned with hidden structure in problem instances. (May 16-18, 2013)

Vienna Logic Weeks 2012

© Miroslav Petrasko

A unique opportunity to experience a summer school, two conferences and two workshops from the field of logic in the course of two weeks.

Winter School on Verification, 6-10 February 2012, Vienna

The Austrian Society for Rigorous Systems Engineering (ARiSE, and the Vienna Center for Logic and Algorithms (VCLA, are organizing a joint winter school on verification at Vienna University of Technology from 6-10 February 2012. Apart from ARiSE/VCLA students, the school will be open to outside students.