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.

7-8 November 2009, First DepLog LINT Workshop, Stockholm, Sweden

Date: 7-8 November 2009
Location: Stockholm, Sweden
Deadline: 23 October 2009

This workshop aims to provide an opportunity to discuss and further develop the current research directions on the topic of Dependence Logic, Dependence Friendly Logic, and Independence Friendly Logic, such as the investigation of their proof- and model-theoretic properties, their extensions and their relations to each other and to other formalisms.

The workshop organizers are Jouko Väänänen and Dag Westerståhl. If you intend to come to the workshop, please send Jouko a message, preferably no later than November 1. For more information, see http://www.illc.uva.nl/lint/deplog01.php

On Saturday, two talks of one hour and two short talks of thirty minutes will be held; on Sunday, instead, there will be a one-hour long talk and two short talks of thirty minutes.
The titles of the talks have not been yet decided; those interested should send their proposals to Jouko Väänänen as soon as possible, and in any case before October 23.

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