软件分析与验证研讨会 SAVE 2018 简介
全国软件分析与验证研讨会于2009年、2010年、2011年、2012年、2013年、2014年、2015年、2016年、2017年分别在北京、南京、长沙、苏州、上海、北京、大连、长沙和南京成功举办。研讨会既支持对已发表工作的介绍,也支持对进展中的不成熟想法的交流。其纯学术探讨、不出版论文集的特点历年来得到了参会学者和研究生的热烈响应,已成为我国软件分析和验证以及相关领域的研究人员进行交流的一个重要平台。
今年的研讨会将于2018年5月26日、27日在杭州举行,由浙江理工大学信息学院承办。
News
5月26-5月27日
SAVE 2018 会议时间
5月25日
SAVE 2018 注册
注册可以提前注册或现场注册(请尽量提前注册,以便为您提供更好的服务),若提前注册请您按照如下步骤来完成注册:
1,请填写注册信息表格
2,请将注册费500元汇至银行账户(账号:1202 0262 0901 4400 967;户名:浙江理工大学;开户行:工行杭州高新支行),汇款留言中请注明:姓名+会议名称,如:张三SAVE
3,请将注册表和汇款证明发送到邮箱:nlm@zstu.edu.cn,邮件标题请注明“SAVE2018注册”。
4,提前注册者可先将发票开出,需要信息:名头、单位税号、内容。
5,如需要,请点击下载邀请函
报告日程(初稿)下载
单击下载 报告日程。如有问题请联系nlm@zstu.edu.cn
会议举办地址
浙江省杭州市江干区 下沙街道2号大街928号 浙江理工大学
行政楼 2楼报告厅
住宿酒店
1) 杭州下沙-盛泰开元名都大酒店
价格: 468元/晚(含早餐)
地址: 杭州江干区下沙经济开发区5号大街297号(近地铁1号线文泽路地铁站)
联系电话:0571-88279999
2) 杭州下沙-曙江大酒店
价格: 348元/晚(含早餐)
地址: 杭州江干区下沙经济技术开发区2号大街1号(地铁1号线文泽路地铁站)
联系电话:0571-85885678
3) 杭州下沙-全季酒店
价格: 大床房:316/晚(含早),双床房:334/晚(含早)
地址: 杭州下沙经济技术开发区4号大街209号(酒店位于4号大街和9号大街交汇处)
联系电话:0571-28033588
如有任何疑问,请联系
聂黎明
邮箱:nlm@zstu.edu.cn
电话:17606520698
侯 建
邮箱:changeleap@163.com
电话:18758563542
丁佐华
邮箱:zouhuading@hotmail.com
电话:13819163007
SAVE2018微信群已开通,可扫描下方二维码加入讨论
报告视频下载(持续更新中)