会议预告 | 西南大学-卑尔根大学逻辑工作坊(SWU-UiB Logic Workshop)

发布时间:2024-01-04 来源:本站原创 作者:本站编辑   浏览次数:

西南大学-卑尔根大学逻辑工作坊是旨在加强挪威卑尔根大学逻辑与人工智能小组(the LAI, UiB)与西南大学逻辑与智能研究中心(the ILI, SWU)之间的人才培养与科研合作而搭建的学术平台。本次工作坊由郭美云教授任主席、Thomas Ågotnes任副主席,熊作军副教授负责具体会务工作。

会议时间:2024年3月26日-28日

会议地点:重庆市北碚区西南大学逻辑与智能研究中心

会议议题:人工智能逻辑、多主体系统逻辑、动态认知逻辑、社会网络逻辑等

会议日程:待添加

参会人员:Thomas Agotnes(卑尔根大学)、Fernando Raymundo VelazquezQuesada(卑尔根大学)、Rustam Galimullin(卑尔根大学)、John Elias Lindqvust(卑尔根大学)、 郭美云(西南大学)、李章吕(西南大学)、熊作军(西南大学)、孙洋(西南大学)、琚凤魁(北京师范大学)、徐超(山西大学)、王奕岩(山西大学)、李大柱(中国科学院大学)、梁晓龙(山西大学)、石辰威(清华大学)、李磊(陕西师范大学)、徐康(浙江工商大学)、李延军(南开大学)、李楷(山西大学)更新中······


The SWU-UiB Logic Workshop is designed to strengthen academic interactions and coopertions between the Logic and AI Group of the University of Bergen in Norway (the LAI, UiB) and the Institute of Logic and Intelligence of Southwest University (the ILI, SWU). This workshop is chaired by Prof. Meiyun Guo and Prof. Thomas Ågotnes, and Zuojun Xiong is responsible for the workshop affairs.

TIME: March 26-28, 2024

PLACE: Institute of Logic and Intelligence, Southwest University, Beibei District, Chongqing, China

TOPICS: Artificial intelligence logic, Multi-agent system logic, Dynamic epistemic logic, Social network logic, etc.

PROGRAM: TBA

PARTICIPANTS:

Thomas Agotnes (University of Bergen), Fernando Raymundo VelazquezQuesada (University of Bergen), Rustam Galimullin (University of Bergen), John Elias Lindqvust (University of Bergen), Meiyun Guo (Southwest University), Zhanglyu Li (Southwest University), Zuojun Xiong (Southwest University),Yan Sun (Southwest University), Fengkui Ju (Beijing Normal University), Chao Xu (Shanxi University), Yiyan Wang (Shanxi University), Dazhu Li (University of Chinese Academy of Sciences), Xiaolong Liang (Shanxi University),Chenwei Shi (Tshinghua University), Lei Li (Shaanxi Normal University), Kang Xu (Zhejiang Gongshan University), Yanjun Li (Nankai University), Kai Li (Shanxi University) TBC······