美国计算机学会IEEE计算机科学逻辑专题研讨会

LICS最初仅由美国电气与电子工程师协会赞助，但自2014年美国计算机学会逻辑与计算特别兴趣小组成立以来，LICS已成为计算机协会逻辑与计算特别兴趣小组的旗舰会议，由美国计算机学会和美国电气与电子工程师协会共同赞助。^[1]

自1988年第一期以来， 会议论文集的封面以Alvy Ray Smith创作的名为“逻辑量词的非理性平铺”的艺术作品为特色。^[2]

自1995年以来，每年克莱尼奖都颁发给最佳学生论文。此外，自2006年以来，LICS“经受时间检验奖”每年授予给发表20年以上最能经受时间检验的LICS论文之一。^[3]

2.1 经受实践检验奖

自2006年以来，LICS经受时间检验奖每年都会表彰20年前LICS会议记录中已经产生影响力的文章。

2014年

• 马丁·霍夫曼，托马斯·施特莱彻，《群模型驳斥了身份证明的唯一性》
• 戴尔·米勒，《多结论元逻辑》

2013年

• 利奥·巴赫迈尔，哈拉尔德·甘辛格，乌韦·瓦尔德曼，《集合约束是单子类》
• 安德烈·茹瓦亚尔，莫根斯·尼尔森，格林·温斯凯尔，《开放地图的互模拟》
• 本杰明·皮尔斯，大卫·桑吉尔吉，《移动进程的类型和子类型》

2012年

• 托马斯·亨辛格，泽维尔·尼克林，约瑟夫·斯发基斯，塞尔吉奥·约文，《实时系统的符号模型检测》
• 让-皮埃尔·塔平，《类型与效果学科》

2011年

• 帕特里斯·戈德夫罗迪，《模型检测的局部方法》
• 约书亚·霍达斯，戴尔·A·米勒《直觉线性逻辑片段中的逻辑编程》
• 德克斯特·柯森，《克莱尼代数和正则事件代数的完备性定理》

2010年

• 拉杰夫·阿鲁，科斯塔斯·库库贝蒂斯，大卫·迪尔，《实时系统的模型检查》
• 杰瑞·伯奇，埃德蒙·克拉克，肯尼斯·麦克米兰，大卫·迪尔，黄哲伦，《符号模型检验:10^20种状态甚至更多（状态）》
• 马克斯·道切特，索菲·提森，《无变量重写系统理论的可判定性》
• 彼得·弗洛伊德，《递归类型简化为归纳类型》

2000年

• 欧亨尼奥·莫吉，《计算λ演算和单子》

2008年

• 马丁·阿巴迪，莱斯利·兰波特，《精确映射的存在》

2007年

• 参孙·亚伯兰斯基，《逻辑形式的领域理论》

2.2 克莱尼奖

在每次会议上，为纪念克莱尼，克莱尼奖都颁发给最佳学生论文。