在过去的四十年里，逻辑和计算机科学之间有着广泛、持续和不断增长的相互作用。在许多方面，逻辑为计算机科学提供了统一的基础框架和建模工具。事实上，逻辑被称为“计算机科学的微积分”，在人工智能、计算复杂性、分布式计算、数据库系统、硬件设计、编程语言和软件工程等不同领域发挥着至关重要的作用。

这个联合逻辑会议汇集了几次与数理逻辑和计算机科学相关的国际会议。

历史

1996年，作为其逻辑和算法特别年的一部分，二甲基丙烯酸甲酯主办了第一届联邦逻辑会议(96年佛罗里达州)会议汇集了四次协同会议：

• 第十三届自动扣除会议，
• 第八届自动核查会议，
• 第十一届IEEE计算机科学逻辑研讨会（LICS），
• 第七届改写技术与应用会议（RTA）。

1999年联邦逻辑会议(99年佛罗里达州)在意大利特伦托举行。除了第16届CADE、第11届CAV、第14届LICS和第10届RTA之外，它还包括15个附属车间。

2002年联邦逻辑会议(佛罗里达州02)在丹麦哥本哈根举行。它将第18届CADE、第14届CAV、第17届LICS和第13届RTA合并为：

• 第11届正式方法欧洲研讨会（FM），
• 第十八届国际逻辑程序设计会议，
• 第十一届分析表及相关方法自动推理会议（Tableaux）

设有31个附属车间。

2006年联邦逻辑会议(2006年佛罗里达州)在美国西雅图举行，除第18届CAV、第21届LICS、第17届RTA和第22届ICLP外，还包括：

• 第三届国际自动推理联合会议（IJCAR）本身是CADE、TABLEAUX和其他会议的合并，
• 第九届满意度测试（SAT）理论与应用会议

拥有41个附属车间。

2010年联邦逻辑会议(FLoC’10号机组)在英国爱丁堡举行。除第22届CAV、第26届ICLP、第5届IJCAR、第25届LICS、第21届RTA和第13届SAT外，还包括

• 第23届计算机安全基础研讨会（CSF），
• 第一届交互式定理证明国际会议（ITP），本身由第23届TPHOL（高阶逻辑中的定理证明）和第9届ACL2研讨会组成

以及48个附属车间。