2nd SYSMICS Workshop: Substructural logics: semantics, proof theory, and applications

Monday, February 26, 2018 – Wednesday, February 28, 2018

LogicLounge with Fabiana Zollo: “Social Dynamics in the Post-Truth Society”

Social Dynamics in the Post-Truth Society: How the Confirmation Bias is Changing the Public Discourse
Thursday, July 27, 2017 at 17:00 – Thursday, July 27, 2017

LogicLounge in memoriam Helmut Veith

Will robots take away your job? Moshe Vardi will discuss with Dan Falk during CAV 2016

New Trends in Belief Change

May 10, 2016


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.