论域理论 (Domain theory) 是理论计算机科学与数学交叉的重要研究领域,为计算机函数式程序语言提供指称语义模型。随着研究的深入,论域理论与序、拓扑、信息系统以及形式概念分析等研究领域的相互结合和渗透为该领域的研究带来了新的活力和挑战。本次研讨会特别关注该领域的几个重要的研究方向,包括连续偏序集、模糊论域、谱理论、信息系统、形式概念分析以及论域理论中的公开问题等。
BASICS暑期研讨会和学习班(BASICS Workshop and Summer School)是上海交通大学 BASICS实验室 (Laboratory for Basic Studies in Computing Science)主办的每年一次的学术活动,其宗旨是为国内理论计算机科学工作者和学生提供一个交流研究结果和前沿动态的机会。BASICS2012 暑期学习班由湖南大学承办,将于2012年8月在湖南长沙举行,会议主题为“论域理论及应用”。
从2000年开始,BASICS实验室已成功连续地举办了11届BASICS暑期研讨会和学习班:BASICS2000(上海交通大学,类型和论域);BASICS2001(北京中科院软件所,线性逻辑和博弈语义);BASICS2002(浙江莫干山,算法与复杂性);BASICS2004(上海交通大学,信息安全与密码学);BASICS2005(扬州大学,并发计算理论及其应用);BASICS2006(上海交通大学,理论计算机科学的前沿问题);BASICS2007(浙江安吉,算法、计算复杂性、密码学基础);BASICS2008(贵州大学,算法与图论应用);BASICS2009(上海交通大学,计算与交互);BASICS2010(浙江师范大学,类型与程序语言);BASICS2011(中国海洋大学,算法博弈论)。
本届BASICS暑期学习班邀请了Guo-Qiang Zhang教授(美国Case Western Reserve University)、赵彬教授(陕西师范大学)、陈仪香教授(华东师范大学)、徐晓泉教授(江西师范大学)、徐罗山教授(扬州大学)、寇辉教授(四川大学)等专家分别讲授论域理论基础、形式概念分析与论域、模糊Domain 、可能计算的论域模型、交换环素谱空间、连续偏序集以及幂Domain和论域理论中的公开问题等内容。学习班同时安排自由报告时间,每位与会者均有机会在会上介绍各自的研究成果。请有意者于报名时递交报告申请(包括报告的题目和内容摘要),申请报告的内容必须是已经发表的(申请时必须注明该内容发表在何处)。
请您下载BASICS2012 暑期研讨会暨学习班回执登记,填写后于2012年7月20日之前发送至 xnzhou81026@163.com,并在邮件中注明住宿地点、是否合住等情况。
报到时间 | 2012年8月19日8:30-20:30 |
报到地点 | 湖南省长沙市岳麓区麓山南路1号 湖南大学南校区集贤宾馆接待大厅 |
住宿 | 湖南大学南校区集贤宾馆: 豪华双人间:228元/间/天,标准双人间(2床位):208元/间/天 含早餐,有宽带,可申请合住。 位置说明:集贤宾馆在南校区岳麓书院附近 |
注册费用 | 1000元/人(学生:800元/人)。 |
注册截止日期 | 2012年7月20日,逾期住房不能保证 |
报到路线 |
1. 乘坐飞机: 2. 乘坐火车: 3. 乘坐高铁:
注: |
联系方式 |
会议E-mail: xnzhou81026@163.com |