时刻表
时区：Asia/Beijing
重要日期
-
会议日期
06月25日
2013
至06月28日
2013
-
06月28日 2013
注册截止日期
主办单位
美国计算机学会
IEEE Computer Society
IEEE Computer Society
联系方式
- Orna Kupferman
- or******@cs.huji.ac.il
历届会议
-
2021年06月29日 意大利 Rome
2021年第36届ACM/IEEE计算机科学逻辑研讨会 -
2019年06月24日 加拿大
2019年第34届ACM/IEEE计算机科学逻辑研讨会 -
2018年07月09日 英国
2018年第33届ACM/IEEE计算机科学逻辑研讨会 -
2017年06月20日 冰岛 Reykjavik,Iceland
2017年第32届ACM/IEEE计算机科学逻辑研讨会 -
2016年07月05日 美国 New York，USA
2016年第31届ACM/IEEE计算机逻辑科学研讨会
