活动相册
重要日期
-
会议日期
06月24日
2019
至06月27日
2019
-
01月04日 2019
初稿截稿日期
-
06月27日 2019
注册截止日期
历届会议
-
2021年06月29日 意大利 Rome
2021年第36届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计算机逻辑科学研讨会 -
2013年06月25日 美国
2013年第28届ACM/IEEE计算机科学逻辑研讨会
