Again, Vienna is a capital of logic research, more than 80 years after Kurt Gödel wrote his incompleteness theorems. http://bit.ly/1mxC7NE (/via Moshe Vardi @vardi)