2010年中欧逻辑、语言与计算冬令学校（SELLC-2010）第二轮通知

--------
注意
--------
1、学生论坛截稿日期：2010年9月20日。
2、在线 注册系统已开放，所有参加人员要求于 2010年11月10日前通过在线注册系统注册。
3、本冬令学校将根据申请，择优录取部分中国学生提供 免费住宿（其中包括学生论坛论文被接受者）。

本冬令学校是仿照著名的欧洲逻辑、语言与信息暑期学校（ESSLLI）而举办的。将围绕逻辑、语言与计算科学领域的不同主题开设10门课程，并特设学生论坛，接受国内外学生的论文。本冬令学校的工作坊（workshop）将与2010年的逻辑与认知国际会议联合举办。

------------------
程序委员会
------------------
Samson Abramsky (Oxford)
周北海 (北京)
Robin Cooper (Gothenburg)
鞠实儿(广州, co-chair)
Jouko Vaananen (Helsinki and Amsterdam, chair)
王文方 (台北)
Dag Westerstahl (Gothenburg, co-chair)

--------------------------------
课程名称及授课老师
--------------------------------
逻辑
Elementary Set Theory（Juliette Kennedy，芬兰赫尔辛基大学）
Inductive Logic（Jeff Paris，英国曼彻斯特大学）
Structures for Proofs（Greg Restall，澳大利亚墨尔本大学）
Models and Games – An Introduction to Model theory（Jouko V??n?nen，芬兰赫尔辛基大学与荷兰阿姆斯特丹大学）

语言
Formal and Computational Semantics（Robin Cooper，瑞典哥德堡大学）
Computational Linguistics with Combinatory Categorial Grammar（Mark Steedman，英国爱丁堡大学）
Generalized Quantifiers and Natural Language（Dag Westerst?hl，瑞典哥德堡大学）

计算
Categories, Proofs and Processes（Samson Abramsky，英国牛津大学）
Relational Databases, Logic, and Complexity（Phokion Kolaitis，美国加利福尼亚大学与IBM-Almaden研究中心）
Logical Computations in Multi-Agent Systems（Mehrnoosh Sadrzadeh，英国牛津大学）

学生论坛组织者：杨帆 (Helsinki)

----------
注册费
----------
学生：400元人民币，普通：1000元人民币

------------------
发起和资助
------------------
中山大学逻辑与认知研究所，国际符号逻辑协会（ASL）

详情请访问本冬令学校的主页：
http://www.math.helsinki.fi/logic/sellc-2010

更多信息请联系： sellc-2010@helsinki.fi