Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

4-6 December 2008, LINT Workshop - Logic for Interaction

Date: 4-6 December 2008
Location: Euclides Building, Plantage Muidergracht 24, Amsterdam

As part of the program of the ESF Eurocores LogICCC program "Logic for Interaction - LINT", a workshop is organized at ILLC in Amsterdam December 4-6, 2008.

The program starts December 4 after lunch and ends December 6 lunch time. The workshop will have four tutorials. They will be given by Samson Abramsky on Game Semantics, Dietmar Berwanger on Imperfect Information Games, Denis Bonnay on Logic Constants and Jouko Väänänen on Dependence Logic. In addition there will be presentations by Fredrik Engström, Pietro Galliani, Juha Kontinen, Allen Mann, Bernd Puchala, and Nikos Tzevelekos. An Opening Talk on Logic for Interaction will be given by Johan van Benthem.

The organizer of the workshop is Jouko Väänänen.
Lecture halls are Thursday P015A, Friday P018, and Saturday P327.

For more information, see http://www.illc.uva.nl/lint/workshop2008.php

Please note that this newsitem has been archived, and may contain outdated information or links.