Home
Call for Papers
Paper Submission
Accepted Papers
Proceedings

Program
Invited Speakers
People Involved

Registration
Location
Accommodation
Visa Info
Tourist Info

Links
Sponsors
Contact
    

Program (Preliminary)

Sunday (5 August, 2007)

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






ILLC Universiteit van Amsterdam ILC Sun Yat-sen University


last modified on Friday, 25-July-2007 12:31:40 CEST (Fenrong)