1、逻辑、语言、信息与计算领域前沿研究概览

逻辑、语言、信息与计算领域前沿研究概览

1. 会议概况

2014 年 9 月 1 - 4 日，在智利瓦尔帕莱索的 Federico Santa Maria 技术大学信息系举办了一场重要的学术活动，众多学者齐聚探讨逻辑、语言、信息与计算领域的前沿问题。此次活动共收到 34 篇投稿，其中 5 篇撤回，剩余 29 篇由至少 3 名程序委员会成员和 25 位外部评审进行评审，最终 15 篇论文被接受。

活动还安排了 6 场特邀讲座，演讲者包括来自布宜诺斯艾利斯大学的 Verónica Becher、赫尔辛基大学的 Juha Kontinen、哥德堡大学的 Aarne Ranta、京都大学的 Kazushige Terui、伦敦国王学院的 Luca Viganò 以及基尔大学的 Thomas Wilke。

以下是活动的组织架构相关人员：
|角色|人员|所属机构|
| ---- | ---- | ---- |
|程序主席|Ulrich Kohlenbach|德国达姆施塔特工业大学|
|程序委员会成员|Natasha Alechina|英国诺丁汉大学|
| |Eric Allender|美国罗格斯大学|
| |…|…|
|指导委员会成员|Samson Abramsky|英国牛津大学|
| |Johan van Benthem|荷兰阿姆斯特丹大学|
| |…|…|
|额外评审人员|Baader, Franz| - |
| |Barceló, Pablo| - |
| |…|…|

2. 特邀讲座内容

• Ve