Programme
| 7 January 2011 | ||
| 9:30 – 10:15 | Opening remarks Benedikt Löwe (DiFoS) and Eva Hoogland(ESF) |
|
| 10:15 – 11:15 | Jouko Väänänen (LINT) From dependence to independence |
|
| 11:30 – 12:30 | Gernot Kleiter (LcpR) Uncertain reasoning: from probability logic to human inference |
|
| 12:30 – 14:15 | Lunch | |
| 14:15 – 15:15 | Christian Fermüller (LoMoReVi) Logic and Vagueness: Report from an Interdisciplinary Battle Ground |
|
| 15:30 – 16:30 | Sara Uckelman (DiFoS) Dynamics and dialogues in medieval logic |
|
| 16:45 – 17:45 | Peter Gärdenfors (VAAG) Why language must be vague |
|
| 18:30 | Internal working dinner for LogICCC members | |
| 8 January 2011 | ||
| 10:15 – 11:15 | Ulle Endris (CFSC) Complexity of Judgement Aggregation |
|
| 11:30 – 12:30 | Jesse Alama (DiFoS) Fine-grained mathematical justifications |
|
| 12:30 – 14:15 | Lunch | |
| 14:15 – 15:15 | Dietmar Berwanger (LINT) Finite representations of infinite games |
|
| 15:30 – 16:30 | Rudolf Berghammer (SSEAC) On the use of BDDs for solving problems on simple graphs |
|
| 16:45 – 17:45 | Wolfgang Thomas (GASICS) Delay and Concurrency in Infinite Games |
|
| 18:30 | Reception and dinner for all workshop participants | |