SIGLOG公司

ACM逻辑和计算特别兴趣小组是一个社区组织，致力于推进逻辑和计算以及广义的计算机科学中的形式化方法。逻辑被称为“计算机科学的微积分”，在计算机科学的各个领域发挥着至关重要的作用。属于这一范围的具体领域包括：自动演绎、范畴模型和逻辑、领域理论、有限模型理论、程序分析、高阶逻辑、混合系统、lambda和组合计算、线性逻辑、逻辑和自动机理论、逻辑和计算复杂性、数据库理论的逻辑方面、，人工智能中的逻辑、程序逻辑、逻辑编程、模态和时序逻辑、模型检查、过程计算、编程语言语义、安全推理、重写、并发语义和分布式计算、类型系统和类型理论以及形式验证。SIGLOG赞助ACM-IEEE逻辑与计算机科学会议（LICS），并参与联邦逻辑会议。