
会议介绍/Conference Description
图博弈为研究交互、策略、信息与推理提供了一个丰富而灵活的理论框架。近年来,这一领域的研究融合了逻辑学、博弈论、计算机科学和人工智能等多个学科的思想,同时也提出了有关逻辑动态性、计算以及交互系统设计与分析等方面的新问题。由Johan van Benthem和刘奋荣两位教授主编的论文集 Graph Games and Logic Design: Recent Developments and Further Directions 于今年由Springer 出版,这不仅为回顾和总结近年来的研究进展提供了契机,也为促进学术共同体的交流、共同探索未来研究方向提供了重要机会。
本次研讨会旨在介绍这一主题和其他相关的重要研究方向,展示最新成果,并促进不同学术背景研究人员间的交流与合作。我们期待通过本次研讨会,能进一步推动逻辑与图博弈领域的持续发展。诚挚欢迎您来到中国科学院哲学研究所参会!
Graph games provide a rich and flexible framework for studying interaction, strategy, information, and reasoning. Over the past years, research in this area has brought together ideas from logic, game theory, computer science, and artificial intelligence, while opening up new questions concerning logical dynamics, computation, and the design and analysis of interactive systems. The volume Graph Games and Logic Design: Recent Developments and Further Directions edited by Johan van Benthem and Fenrong Liu was published by Springer this year. Its publication provides not only an occasion to take stock of recent progress, but also an opportunity to bring the community together and explore promising new directions.
The workshop aims to introduce the topic to a broader academic audience, highlight recent work by active researchers, and promote further discussion and collaboration among researchers from different backgrounds. We hope that the meeting will contribute to the continued development of logic and graph games as a research area. You are welcome to join us at the Institute of Philosophy, Chinese Academy of Sciences (CASIP)!
时间/Time
10月31日至11月1日
Oct 31-Nov 1, 2026
地点/Venue
中国科学院哲学研究所报告厅
(北京市海淀区中关村南四街4号中国科学院软件园4号楼南楼4层)
Lecture Hall, Institute of Philosophy, Chinese Academy of Sciences
(4th Floor, South Building, Building 4, CAS Software Park, No. 4 South Fourth Street, Zhongguancun, Haidian District, Beijing)
已经确认的参会人员/Confirmed participants
Johan van Benthem
(University of Amsterdam, Stanford University, Tsinghua University)
Valentin Cassano
(University of Rio Cuarto, GTIIT)
Qian Chen (Xiamen University)
Jianying Cui
(Sun Yat-sen University)
Santiago Figueira
(University of Buenos Aires, GTIIT)
Xiaoxuan Fu
(China University of Political Science and Law)
Zhongqin Gao
(Université Paris Cité)
Dazhu Li
(Institute of Philosophy, Chinese Academy of Sciences)
Lei Li
(Shaanxi Normal University)
Fenrong Liu
(Tsinghua University)
Valentin Shehtman
(Russian Academy of Sciences, National Research University Higher School of Economics, Moscow State University)
Chenwei Shi
(Tsinghua University)
Hao Sima
(Tsinghua University)
Haoxuan Yin
(University of Oxford, Nanyang Technological University)
Liying Zhang
(Institute of Philosophy, Chinese Academy of Sciences)
会议日程 Schedule
Day 1 2026年10月31日
| 时间 Time | 报告人及题目 Speaker and Title |
| 09:30- 09:50 | Opening Remarks |
| 09:50- 10:15 | Break |
| 10:15- 10:50 | Talk 1 Valentin Shehtman Games in Modal Logic |
| 10:55- 11:30 | Talk 2 Lei Li Modal Logics of Node Merging |
| 11:35- 12:10 | Talk 3 Qian Chen A Modal Logic for the Hide and Seek Game |
| 12:10- 14:00 | Lunch |
| 14:00- 14:35 | Talk 4 Haoxuan Yin Operational Game Semantics for Contextual Modal Types |
| 14:40- 15:15 | Talk 5 Santiago Figueira Treewidth and Bisimulation Games in Extensions of Propositional Dynamic Logic |
| 15:20- 15:55 | Talk 6 Chenwei Shi Representation Theorem for Local Dependence |
| 15:55- 16:20 | Break |
| 16:20- 16:45 | Talk 7 (Short) Zhongqin Gao Finite-State Strategies in Boolean Network Games |
| 16:50- 17:25 | Talk 8 Valentin Cassano How Difficult it is to Know How |
| From 17:40 | Dinner |
Day 2 2026年11月01日
| 时间 Time | 报告人及题目 Speaker and Title |
| 09:30- 09:55 | Talk 9 (Short) Hao Sima DEL Attempt on the "Hide and Seek" Game |
| 10:00- 10:35 | Talk 10 Dazhu Li Action-Information Interplay in the Games of Hide and Seek |
| 10:35- 11:00 | Break |
| 11:00- 11:30 | Discussion about the Further Directions |
| 11:30- 12:25 | Book Event |
| 12:25- 12:30 | Closing Remarks |
| 12:30- 13:30 | Lunch |
| Afternoon | Nature Excursion Is Planned for Interested Participants |
注册信息/Registration
请扫描以下二维码,或点击链接进行注册:
Please scan the QR code below or click the link to register:
https://avkqhyay.jsjform.com/f/PJyLLN

注册截止时间为10月30日
The deadline of registration is Oct 30
If you have any questions, please contact Dazhu Li (lidazhu@ucas.ac.cn)
编辑|向昊斐
海报|陈飞龙
审核|李大柱
Powered by Froala Editor


.jpg?x-oss-process=style/news)