LINT midterm meeting
July 23–24, 2010
Paris

The midterm meeting of the project Logic for Interaction will take place in Paris 23 -- 24 July 2010. This is a collaborative research project aimed at developing mathematical foundations for interaction, conducted under the ESF - Eurocores program LogICCC.

Programme

Friday 23/07

14:00-15:00 Jouko Väänänen: Some Remarks on Dependence Logic
15:00-15:15 Coffee break
15:15-16:00 Bernd Puchala: Asynchronous Games and Epistemic Temporal Logic
16:00-16:45 Dietmar Berwanger: Strategic Independence and Game Forms
16:45-17:15 Coffee break
17:15-18:00 Open panel discussion moderated by Erich Grädel and Jouko Väänänen

Saturday 24/07

9:30-10:00 Allen Mann: Rational Single-Case Decisions and the Monty Hall Problem
10:00-11:00 Pietro Galliani: Uniform Definability in Dependence Logic
11:00-11:30 Coffee break
11:30-12:15 Roman Rabinovich: Imperfect-Information Games on Graphs of Bounded Complexity
12:15-12:30 Closing

Venue

The workshop will take place in Salle Dussane, École Normale Superieure, 45 Rue d'Ulm, Paris. Participation is free and open to all project members. If you wish to attend the meeting without being involved in the project, please briefly notify one of the organisors.

The venue and each of the hotels recommended below are a short walk away from Luxembourg station (RER B).

Hotel Cluny Sorbonne**: 8 rue Victor Cousin
Hotel des 3 Colleges**, 16 rue Cujas
Cujas Pantheon**, 18 rue Cujas
Hotel Cluny Square***, 41 bd Saint-Michel
Jardins de Luxembourg***, 5 impasse Royer-Collard
Hotel Dacia-Luxembourg***, 41 Bd Saint-Michel
Port Royal Hotel*, 8 bd de Port-Royal

We have reserved some rooms at the guesthouse of ENS Cachan at a 30 minutes ride from the venue. Please specify in your registration form whether you would like to book such a room; prices are 45 EUR single/55 EUR double.

Organisation