会议介绍/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
AfternoonNature 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