2014可信软件系统工程(国际)暑期学校
网址及报名地址:http://agentlab.swu.edu.cn/summerschool
地点: 西南大学, 重庆北碚
主办单位:西南大学
合作单位:英国伯明翰城市大学
支持机构:CCFYOCSEF重庆分论坛、CCF西南大学学生分会
可信软件系统工程(国际)暑期学校由西南大学计算机与信息科学学院、英国伯明翰城市大学软件工程中心共同举办。本届暑期学校将邀请9位国内外的领域专家,以专题讲座、学术沙龙、互动交流等形式,为学员介绍计算机软件系统工程最前沿的软件工程方法、技术和实用性工具。
暑期学校面向全国招生,国内各大院校和研究院所中相关专业的在校硕士、博士研究生、青年教师、相关专业研究人员均可申请,同时可接受少量对可视化领域有浓厚兴趣的优秀高年级本科生。
专题讲座特邀讲者及讲座题目
² Prof. Jonathan Bowen (BirminghamCity University, UK):
²ZMethod.
² Prof.Zhiming Liu (Birmingham City University, UK)
²Model-Driven SoftwareEngineering.
² Prof. Annabelle McIver(Mcquarie University, AU):
²Securityand refinement
² Prof. Charles Carroll Morgan(University of New South Wales, AU):
Hoare style programming using Dafny
² Prof.Bernd-HolgerSchlingloff (Fraunhofer FOKUS and Humboldt-Universitatzu Berlin):
Model-Driven Development of Embedded andCyber-Physical Systems
部分学术沙龙特邀讲者及讲座题目
² 詹乃军教授(中国科学院软件研究所):
Formal Verification of Simulink/Stateflow Diagram
² 冯新宇教授(中国科学技术大学)
Compositional Verification of Termination-Preserving Refinement ofConcurrent Programs
课程日期:2014年9月8日-13日
申请注册 申请截至日期: 2014年8月24日
2014可信软件系统工程(国际)暑期学校相关推荐
- 暑期学校 | 东南大学2021年国际暑期学校项目:从感知理解到智能认知 (知识图谱及应用课程)...
国际暑期学校开课啦 项目介绍 从感知理解到智能认知 --走近新一代人工智能 From perceptual understanding to intelligent cognition ...
- ChinaSoft 论坛巡礼 | 可信AI软件系统工程技术
2022年CCF中国软件大会(CCF ChinaSoft 2022)将于2022年11月25-27日在线上举行.预期将有林惠民.陈左宁.邬江兴.何积丰.梅宏.吕建.柴洪峰.王怀民.郑纬民.蒋昌俊等10 ...
- 2022 CCF中国软件大会(CCF Chinasoft)“可信AI软件系统工程技术”论坛成功召开...
2022年11月25日,2022年CCF中国软件大会"可信AI软件系统工程技术"论坛成功召开.本次论坛由复旦大学彭鑫老师.复旦大学陈碧欢老师.南京大学陈振宇老师.南京大学冯洋老师共 ...
- 吉大计算机暑期学校,2014年大学生暑期学校活动第三轮通知
我所大学生暑期学校活动自接收申请材料之日起至今已收到申请材料213份.经过艰难甄选,决定拟录取如下107名学员. 暑期学校将于7月13日-19日举行,初步日程请见"其他事项". 请 ...
- 第三届“SLAM技术及应用”暑期学校日程安排
点击上方"3DCVer",选择"星标" 干货第一时间送达 由中国增强现实核心技术产业联盟.浙江省人工智能学会增强现实分会联合主办,浙江大学CAD&CG国 ...
- 帝国理工学院暑期学校 | 大数据与创新主题,郭院士领衔,全球Top10校级证书...
在注定并不平凡的2020,我们经历了停考.停课.停工.我们接受了被迫取消的海外科研和Summer School,却又不停寻找着新的机遇来充实个人背景和提升自我能力. 被按下暂停键又重启的日子里,没有人 ...
- 2022中科院自动化所人工智能暑期学校(部分内容)
2022中科院自动化所人工智能暑期学校(部分内容) 只对2022人工智能暑期学校进行了简要的部分记录 详细内容关注b站中科院自动化所 文章目录 2022中科院自动化所人工智能暑期学校(部分内容) 前言 ...
- ROS机器人培训基地和暑期学校证书样例
初级工程师证书(非高清): 初级师资证书(非高清): 为了鼓励学生朋友参与ROS机器人暑期学校,我也参加了并完成了所有任务,证书样本: 2021年(非高清): 2020年(非高清): 2019年(非高 ...
- 欢迎报名参加第四届亚洲信息获取暑期学校(ASSIA2019)
由中国中文信息学会主办,海南大学和ACM SIGIR北京分部协办的第四届亚洲信息获取暑期学校将于2019年7月9日至13日在海南大学国际交流中心举办. ASSIA旨在为信息检索与推荐.自然语言处理等领 ...
最新文章
- linux定时任务简记
- MPLS的简单配置4
- System_Recovery_21.0.3_62137_Multilingual_Product
- 爬虫提取非结构化数据
- tomcat 启动异常 The web application [ROOT] registered the JDBC driver [xxx] but failed to unregister it
- 修复steam服务器失败,steam服务器链接失败
- 计算机office2010高级应用程序,计算机办公软件应用office2010高级解题步骤
- 3.14 在金山做的动态建模讲座
- 【codevs4228】小猫爬山(最优化剪枝)
- C++ 引用的几个用法
- 关于Libra的6个核心问题及其监管原则
- java textarea滚动条_Java Swing TextArea 滚动条和获得焦点
- python numpy库下载_python3.6下Numpy库下载与安装图文教程
- Python实现图像的全景拼接
- word学习-软回车替换为硬回车
- PDF怎么提取页面?这3种方法值得收藏
- 古学今用——不要那么直白了
- c++:苹果和虫子(疑问)
- 日本地震波及芯片产业链致价格走势难料
- 知到网课礼仪文化修养考试题库|真题试题(含答案)