会议名称(中文)： BASICS 2015 Summer School 暨 Logic Summer School in China 2015
会议名称(英文)： BASICS 2015 Summer School 暨 Logic Summer School in China 2015
所属学科： 应用数学,哲学,通信技术
开始日期： 2015-07-12
结束日期： 2015-07-19
所在国家： 中华人民共和国
所在城市： 浙江省 金华市
具体地点： 浙江师范大学
主办单位： 上海交通大学，数理逻辑专委会
承办单位： 浙江师范大学
主题：通信复杂性
[ 会务组联系方式 ]
联系人： 钟发荣
会议背景介绍：
“BASICS 2015 Summer School”和“Logic Summer School in China 2015”将在浙江师范大学联合举办，会议主题为通信复杂性，会议时间为2015年7月12日至19日。详见“会议日程安排”。
BASICS Workshop and Summer School是上海交通大学BASICS实验室 （Laboratory for Basic Studies in Computing Science）主办的年度学术活动。从2000年起，已连续举办了十四届，讨论的主题依次为：类型和论域、线性逻辑和博弈语义、算法与复杂性、信息安全与密码学、并发计算理论及其应用、理论计算机科学的前沿问题、算法-计算复杂性-密码学基础、算法与图论应用、计算与交互、类型与程序语言、算法博弈论、论域理论及应用、无限状态系统验证、递归论。
这也是第二届逻辑学暑期学校。
“BASICS 2015 Summer School”和“Logic Summer School in China 2015”包括两方面内容。其一是通信复杂性讲习班，讨论Kushilevitz 和 Nisan所著的“Communication Complexity”一书中的部分章节。其二是学术报告。凡申请做学术报告的，请于6月30日前将报告题目和申请人单位等信息发送至basics@sjtu.edu.cn。 |
