[Overview | Participants | Schedule | About LogiCCC]

There will be a special meeting the day before the workshop (October 7, 2009) where members of LogiCCC will present and discuss their research projects with Chinese colleagues.

The meeting is sponsored by the European Science Foundation and the Southwest University, Chongqing

Johan van Benthem (Amsterdam)
Dietmar Berwanger (Aachen)
Ulle Endriss (Amsterdam)
Jouko Väänänen (Amsterdam)
Dag Westerståhl (Gothenburg)

(Preliminary Program)

9:00 - 9:30: Opening and introduction

Johan van Benthem (University of Amsterdam & Stanford)

9:30 - 10:15: LogiCCC Invited Speaker

Ulle Endriss (Amsterdam) Logic and social choice theory

10:15 - 11:00: LogiCCC Invited Speaker

Jouko Väänänen (Amsterdam) Dependence logic

11:00 - 11:30: Break

11:30 - 12:30: Poster Session (show abstracts)

Jianying Cui, Meiyun Guo and Xiaojia Tang (Chongqing) Characterizations of iterated admissibility based on PEGL Antti Kuusisto (Tampere) Monadic Sigma-1-1 and modal logic with quantified binary relations Fenrong Liu (Beijing) Modelling preference, knowledge, and beliefs in games Yong-qiang Lou (Qingtao) A kind of tableau systems of idealized information flow logic Allen Mann (Tampere) IF algebras Daniele Porello (Amsterdam) Linear logic for bidding languages Fangfang Tang (Beijing) Generalized Sheffer-stroke based analytical modal axiomatic systems Michael Ummels (Aachen) The complexity of Nash equilibria in stochastic games Fan Yang (Helsinki) Intuitionistic universal models of NNIL-formulas

12:30 - 14:00: Lunch

14:00 - 14:45: LogiCCC Invited Speaker

Dietmar Berwanger (Paris, Aachen) On the fragility of perfect information

14:45 - 15:30: LogiCCC Invited Speaker

Dag Westerståhl (Gothenburg) Logical constants and logical consequence

15:30 - 16:00: Break

16:00 - 17:15: Young Researcher's Forum: 12 minute presentations (show abstracts)

Jesse Alama (Lisbon) Dialogues and arguments in mathematical proofs Jiahong Guo (Beijing) Attempting to combine belief and higher-order knowledge into Pacuit & Parikh’s logic of communication graphs Pietro Galliani (Amsterdam) Sensible semantics on infinite structures Hu Liu (Guangzhou) An evaluation of degrees of uncertainty in nonmonotonic reasoning Umberto Grandi (Amsterdam) Complexity of judgement aggregation Minghui Ma (Beijing) Graded modal frame definability 17:15 - 17:30: YRF General Discussion 17:30 - 19:30: Dinner 19:30 - 20:30: Invited presentations on the state of logic in China Professors He Xiangdong (Institute for Logic and Intelligence, Southwest University, Chongqing), Ju Shier (Institute for Logic and Cognition, Sun Yat-sen University, Guangzhou), Zhou Beihai (Logic Group, Philosophy Department, Peking University, Beijing) 20:30 - 21:30: Open discussion with the audience about research opportunities and other possible collaborations in the field of logic between Europe and China