计算机科学中的逻辑/联合逻辑会议
第26届国际计算机辅助验证会议 第27届IEEE计算机安全基础研讨会（CSF） 第三十届国际逻辑程序设计会议 第七届国际自动推理联合会议（IJCAR） 第五届交互式定理证明会议（ITP） 第23届EACSL计算机科学逻辑年会联席会议 第29届ACM/IEEE计算机科学逻辑研讨会（LICS） 第25届改写技术与应用国际会议 第十二届国际Lambda类型演算与应用会议（TLCA） 第17届满意度测试理论与应用国际会议 FLoC研讨会 FLoC奥运会（系统比赛） 2014年SAT/SMT暑期学校
数学逻辑
2014年逻辑学术讨论会（LC） 2014年逻辑、代数和真理学位（LATD） 逻辑中的组合意义（GeTFun 2.0） 无限工作坊（无限） 逻辑与游戏研讨会（LG） 非经典证明：理论、应用和工具（NCPROOFS） 库尔特·哥德尔奖学金竞赛