12
Nov

LORI07 – Day 2

Ji on 2007-11-12 Comments Off
Filed under:Academia  Tags：.| 656 views
LORI’07 Day 2

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 B807The 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 B807The 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 B805Theme: TBA
19:00 - Dinner at the Jingshi Buidling
VN:F [1.9.11_1134]
Rating: 0.0/10 (0 votes cast)
VN:F [1.9.11_1134]
Rating: 0 (from 0 votes)
«
»

No Comments