LogICCC Meets India
Schedule
| Friday, 7 January 2011 | Saturday, 8 January 2011 | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 9:30-10:15 | Opening Benedikt Löwe (DiFoS) & Eva Hoogland (ESF) | |||||||||||||
| 10:15-11:15 | Jouko Väänänen (LINT): From dependence to independence | Ulle Endriss (CFSC): Complexity of Judgment Aggregation | ||||||||||||
| 11:30-12:30 | Gernot Kleiter (LcpR): Uncertain reasoning: from probability logic to human inference | Jesse Alama (DiFoS): Fine-grained mathematical justifications | ||||||||||||
| 12:30-14:15 | LUNCH BREAK
| 14:15-15:15
|
Christian Fermüller
(LoMoReVi): Logic and Vagueness. Report from an Interdisciplinary
Battle Ground
|
Dietmar Berwanger (LINT):
Finite representations of infinite games
| 15:30-16:30
|
Sara Uckelman (DiFoS):
Dynamics and dialogues in medieval logic
|
Rudolf
Berghammer (SSEAC):
On the Use of BDDs for Solving Problems on Simple Graphs
| 16:45-17:45
|
Peter Gärdenfors
(VAAG): Why language must be vague
|
Wolfgang Thomas
(GASICS): Delay and Concurrency in Infinite Games
| 18:30-
|
Internal Working Dinner for LogICCC Members
|
Reception & Dinner for all Workshop Participants
| | |