中国站
国际站
软件
办会软件
网络研讨会
视频会议
虚拟会议
机构版
软件下载
会议
专业分类
国内活动
海外活动
报告频道
索引
服务
创建活动
讲座
研讨会/课程
会议
登录
注册
2014国际形式化工具和系统设计与实现研讨会
International Workshop on Design and Implementation of Formal Tools and Systems
2014年10月20日
瑞士 · Lausanne, Switzerland
会议
线下活动
0
浏览
0
条评论
收藏
分享
活动相册
暂未上传照片
活动首页
活动日程
时刻表
摘要清单
活动相册
我的审稿
管理活动
重要日期
10月20日
2014
会议日期
08月04日
2014
摘要截稿日期
10月20日
2014
注册截止日期
主办单位
ACM
IEEE
联系方式
Gianpiero Cabodi
gi******@polito.it
(+3*********
登录查看完整联系方式
联系方式
×
会议网址:
http://fmgroup.polito.it/cabodi/difts2014/
提示
×
即将访问第三方域名
您即将访问第三方域名,请注意您的账号和财产安全。
http://fmgroup.polito.it/cabodi/difts2014/
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或
点此
咨询