活动日程
时区：Asia/Beijing
日程概览
重要日期
-
会议日期
07月05日
2016
至07月08日
2016
-
07月08日 2016
注册截止日期
联系方式
- Eric Koskinen
- er******@yale.edu
- +1-*********
历届会议
-
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计算机科学逻辑研讨会 -
2013年06月25日 美国
2013年第28届ACM/IEEE计算机科学逻辑研讨会
