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


  • Registration closed!
  • Dates
  • Conference dates:
    January 5–11, 2011
  • Contact
  • icla at cse.iitk.ac.in