中国计算机学会青年计算机科技论坛济南分论坛
CCF Young Computer Scientists & Engineers Forum
CCF YOCSEF济南
于2014年10月30日(星期四)10:30-12:00在
山东大学软件园校区行政办公楼二楼学术报告厅举行
学术报告会，敬请光临
报告会主题
第十九届中创软件基金人才奖获得者学术报告会
程 序
10:00 签到
10:30—12:00
演讲题目1：计算与相变
特邀讲者1：尹一通 教授 南京大学计算机科学与技术系
演讲题目2：云计算环境下批量虚拟机的快速启动技术
特邀讲者2：李东升 教授 国防科学技术大学计算机学院
演讲题目3：Non-linear interpolant generation and its application to program verification
特邀讲者3：詹乃军 研究员 中国科学院软件研究所
讲者简介：
尹一通 南京大学计算机科学与技术系教授，博士。主要从事理论计算机科学的研究，包括数据结构复杂性的根本问题和现代算法问题的理论工具两个方面。他的绝大部分研究成果都发表在理论计算机科学领域的国际一流学术会议和期刊上（其中FOCS1篇、SODA5篇、ICALP3篇、SPAA3篇、RANDOM1篇、ISIT2篇）。
李东升 国防科技大学计算机学院教授，博士。主要从事网络计算方向的研究。承担了973计划项目、国家自然科学基金优秀青年基金项目、国家自然科学基金重点项目、国家863计划项目、国防预研及型号等十余个项目的研究和开发工作。
詹乃军 中国科学院软件研究所计算机科学国家重点实验室研究员，博士。主要从事计算机理论方面的基础研究。他的研究涉及计算机科学的许多方向，如实时和混成系统、程序验证、模态和时序逻辑、形式语义、进程代数、构件和对象系统理论等。他在Springer出版社出版英文书章节1篇，在国际重要会议和杂志发表论文26篇，其中包括相关领域顶级会议论文6篇和著名杂志论文6篇。
执行主席：高隆林 山东中创软件商用中间件股份有限公司，CCF YOCSEF济南AC委员
执行主席：车 帅 山东中创软件商用中间件股份有限公司，CCF YOCSEF济南委员
参加人员：IT领域专业人士、研究生、媒体、其他有兴趣者
报名方式：Email：gao_llin@cvicse.com (高隆林)
联系方式：15376190306(车帅)
报告会地点：山东大学软件园校区（济南市历下区舜华路中段1500号）行政办公楼二楼学术报告厅
如参加，请您务必于10月29日中午下班前将参会回执发送至 gao_llin@cvicse.com，以便准备和提供会务，谢谢！
参会回执：
|
姓名 |
|
工作单位 |
|
|
手机 |
|
Email |
|
|
是否参加午宴 |
|
||
京公网安备 11010802032778号