Program (Preliminary)

16:00 - 18:00 19:00- Registration: at the Jingshi Building First Gathering: Dinner at the Jingshi Building

Monday (6 August, 2007)

8:30 - 9:00 Registration Location: Main Building 9:00 - 9:40 LORI Workshop Opening + Photo Session Location: Main Building B807 Chair: Shier Ju 9:40 - 10:30 Research Session 1 (Chair: Frank Veltman) Invited Talk 1: Active Epistemics: Methods, Recommendations and Hypotheses to Learn Speaker: Vincent F. Hendricks, Roskilde University, Denmark. Location: Main Building B807 10:30- 10:50 Break 10:50 - 12:30 Research Session 2 (Chair: Alexandru Baltag) Location: Main Building B807 Aggregation of Ranking Judgements and Arrow's Theorem Daniele Porello, University of Genova, Italy. Belief Revision for Rule-based Agents Natasha Alechina, Mark Jago and Brian Logan, University of Nottingham, UK. On the Principle of Intention Agglomeration Jing Zhu and Dingzhou Fei, Sun Yat-sen University, Guangzhou, China 12:30 - 14:00 Lunch Break (Jingshi Building) 14:00 - 15:40 Research Session 3 (Chair: Wiebe van der Hoek) Location: Main Building B807 Logical Dynamics of Some Speech Acts that Affect Obligations and Preferences Tomoyuki Yamada, Hokkaido University, Japan. How to Keep on Changing you Mind, Dynamically Jonathan Zvesper, ILLC, University of Amsterdam, The Netherlands. Belief Merging based on Adaptive Interaction Giuseppe Primiero, Ghent University, Belgium. 15:40 - 16:10 Break 16:10 - 17:00 Research Session 4 (Chair: Shier Ju) Invited Talk 2: Meaningful Talk Speaker: Yossi Feinberg, Stanford University, US. Location: Main Building B807 17:00 - 17:10 Short Break 17:10 - 17:50 Open Discussion 1 (Chair: Johan van Benthem) Location: Main Building B805 Theme: TBA 19:00 - Reception and Dinner at Lao She Teahouse Tuesday (7 August, 2007) 9:00 -9:50 Research Session 5 (Chair: Johan van Benthem) Invited Talk 3: Probabilistic Dynamic Belief Revision Speaker: Alexandru Baltag, Oxford University, UK. Location: Main Building B807 9:50 - 10:30 Local Perspectives on Actions Michael Fourman, University of Edinburgh, UK. 10:30 - 10:50 Break 10:50 - 12:30 Research Session 6 (Chair: Jialong Zhang) Location: Main Building B807 The Selection of Stable Outcomes of a Coalitional Voting Game by a Social Choice Correspondence Bertrand Tchantcho and Lawrence Diffo Lambo, Department of Mathematics-Ecole Normale Superieure-University of Yaounde I, Cameroon. Strategy Logics and the Game Description Language Wiebe van der Hoek, Ji Ruan and Michael Wooldridge, Liverpool University, UK. Defeasible Reasoning Meets Epistemic Possibilities Linton Wang and Wen-Fang Wang, Chung Cheng University, Taiwan. 12:30 - 14:00 Lunch Break (Jingshi Building) 14:00 - 15:40 Research Session 7 (Chair: Yossi Feinberg) Location: Main Building B807 The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability Simon Kramer, Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland. Dynamic Epistemic Verification of Security Protocols: Framework and Case Study Francien Dechesne and Yanjing Wang, Centrum voor Wiskunde en Informatica (CWI), The Netherlands. Model Checking Problem for Knowledge of acting Agents with log-files Nikolay Shilov and Natalia Garanina, A. P. Ershov Institute of Informatics Systems, Russia. 15:40 - 16:10 Break 16:10 - 17:00 Research Session 8 (Chair: Johan van Benthem) Invited Talk 4: Some thoughts on Mohist Logic Speaker: Jialong Zhang, Yanshan University and Chinese Academy of Social Sciences Location: Main Building B807 17:00 - 17:10 Short Break 17:10 - 17:50 Open Discussion 2 (Chair: Vincent F. Hendricks) Location: Main Building B805 Theme: TBA 19:00 - Dinner at the Jingshi Buidling Wednesday (8 August, 2007) Excursion to the Great Wall + Dinner at the Fujia Sichu Thursday (9 August, 2007) 9:00 - 9:50 Research Session 9 (Chair: Frank Veltman) Invited Talk 5: Extended Modal Logics for Social Software Speaker: Wiebe van der Hoek, Liverpool University, UK. Location: Main Building B807 9:50 - 10:30 The Relative Expressivity of Public and Private Communication in BMS Logic Bryan Renne, CUNY Graduate Center, US. 10:30 - 12:30 Break Research Session 10 (Chair: Wiebe van der Hoek) Location: Main Building B807 Modelling Simultaneous Games in Dynamic Logic Sujata Ghosh and Fenrong Liu, Johan van Benthem, ILLC, University of Amsterdam, The Netherlands. Quantified Epistemic Logics with Flexible Terms Francesco Belardinelli and Alessio Lomuscio, Imperial College London, UK. A Preference Logic of Varying Kinds of Preferences Zhizheng Zhang and Hancheng Xing, School of Computer Science and Engineering, Southeast University, Nanjing, China. 12:30 - 14:00 Lunch Break (Jingshi Building) 14:00 - 15:40 Research Session 11 (Chair: Vincent F. Hendricks) Location: Main Building B807 Dynamic Term-Modal Logic Barteld Kooi, University of Groningen, The Netherlands. Game-theoretical Semantics for Many-valued Logics Shier Ju, Xuefeng Wen and Xihua Dai, Sun Yat-sen University, Guangzhou, China. Planned Changes of Desire Katie Steele, University of Sydney, Australia. 15:40 - 16:10 Break 16:10 - 17:00 Research Session 12 (Chair: Shier Ju) Invited Talk 6: Logic and Natural Language Speaker: New Speaker To Be Announced Location: Main Building B807 17:00 - 17:10 Short Break 17:10 - 17:30 Workshop Closing Location: Main Building B807 Chair: Frank Veltman Closing Speech: Johan van Benthem 19:00 - Banquet at the Yu Ma Dun last modified on Friday, 25-July-2007 12:31:40 CEST (Fenrong)