Workshop in honour of Jouko Väänänen Amsterdam, 17 May 2016

Introduction

In December 2015 Jouko Väänänen formally retired from the Institute for Logic, Language and Computation (ILLC). Despite the fact that Jouko will maintain his ties to the ILLC, we nevertheless take the opportunity to organise a small workshop in Jouko's honour.

Programme

Time	Lecture & Discussion
13.00-13.30	Coffee & Tea
13.30-14.30	Samson Abramsky (Oxford) Between quantity and quality: logic, probability and quantum mechanics (abstract)
14.30-15.00	Break
15.00-16.00	Erich Grädel (Aachen) Logic and Bisimulation for Guarded Teams (abstract)
16.00-17.00	Menachem Magidor (Jerusalem) Generalized Logics and Inner Models for Set Theory (abstract)
17.00-18.00	Drinks

Location

Bungehuis room 0.04, Spuistraat 210, 1012 VT, Amsterdam.

Organisation

The workshop is organised by:

• Benno van den Berg (bennovdberg __ gmail.com)