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
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.