活动简介
LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.
LICS 2013 will be held in New Orleans on the campus of Tulane University, and will be collocated with MFPS and CSF.
征稿信息
征稿范围
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics
全部留言
重要日期
-
会议日期
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计算机逻辑科学研讨会
留言