主题：递归论（Recursion Theory）

时间：2014年8月17日 – 2013年8月29日

主办：上海交通大学、数理逻辑专委会

大会主席：傅育熙、冯琦

从2000年开始，BASICS实验室已连续举办了十三届BASICS暑期研讨会和学习班。讨论的主题依次为：类型和论域(BASICS2000，上海交通大学)、线性逻辑和博弈语义（BASICS2001，北京中科院软件所）、算法与复杂性（BASICS2002，浙江莫干山）、信息安全与密码学（BASICS2004，上海交通大学）、并发计算理论及其应用（BASICS2005，扬州大学）、理论计算机科学的前沿问题（BASICS2006，上海交通大学）、算法-计算复杂性-密码学基础（BASICS2007，浙江安吉）、算法与图论应用(BASICS2008，贵州大学)、计算与交互（BASICS2009，上海交通大学）、类型与程序语言（BASICS2010，浙江师范大学）、算法博弈论（BASICS2011，中国海洋大学）、论域理论及应用（BASICS2012，湖南大学）、无限状态系统验证（BASICS2013，上海交通大学）。

详情请见附件，日程安排等信息在不断更新中，敬请关注会议主页

http://basics.sjtu.edu.cn/summer_school/basics-logicchina2014/

上海交通大学

BASICS 2014 Summer School 暨 Logic Summer School in China 2014组委会
Tel: 021-34205060转602
E-mail：basics@sjtu.edu.cn