本冬令学校将围绕“逻辑、语言与计算”为主题,由来自牛津大学等世界著名院校的10位国际知名学者开设10门基础课程和高级课程(全英文授课),并特设学生论坛,邀请来自世界各地的学生提交论文并报告自己的研究工作,接受授课老师的建议和指导。
举办此次冬令学校旨在促进跨学科跨地区交流合作,展示现代逻辑与数学、哲学、语言学、信息科学等学科的内在联系,训练培养青年学者,发现人才。
热烈欢迎国内逻辑学和哲学界的朋友参加本冬令学校,也大力欢迎数学、语言学、计算机科学等相关领域的学生和老师前来交流。授课老师和课程名称如下:
Elementary Set Theoryv Juliette Kennedy 芬兰赫尔辛基大学
Inductive Logic Jeff Paris 英国曼彻斯特大学
Structures for Proofs Greg Restall 澳大利亚墨尔本大学
Models and Games – Jouko Vaananen 芬兰赫尔辛基大学与
an Introduction to Model theory 荷兰阿姆斯特丹大学
Formal and Computational Semantics Robin Cooper 瑞典哥德堡大学
Computational Linguistics with Mark Steedman 英国爱丁堡大学
Combinatory Categorial Grammar
Generalized Quantifiers and Natural Language Dag Westerstahl 瑞典哥德堡大学
Categories, Proofs and Processes Samson Abramsky 英国牛津大学
Relational Databases, Logic, and Complexity Phokion Kolaitis 美国加利福尼亚大学与
IBM-Almaden研究中心
Logical Computations in Multi-Agent Systems Mehrnoosh Sadrzadeh 英国牛津大学
主页:http://www.math.helsinki.fi/logic/sellc-2010/
时间:2010年12月3日~12月18日 地点:广州中山大学
注册费:国内(含港澳台)学生400元,非学生1000元,食宿自理。为鼓励优秀学生参加,本冬令学校将根据申请,为约30名国内学生提供免费住宿,其中包括学生论坛论文被录用者(注:提交论文不是参加冬令学校的必要条件)。
发起组织: 中山大学逻辑与认知研究所
欧洲科学基金项目Logic for Interaction(LINT)