During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called "the calculus of computer science", playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.
The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science.
- 13th Conference on Automated Deduction (CADE),
- 8th Conference on Automated Verification (CAV),
- 11th IEEE Symposium on Logic in Computer Science (LICS),
- 7th Conference on Rewriting Techniques and Applications (RTA).
The 1999 Federated Logic Conference (FLoC'99) was held in Trento, Italy. In addition to 16th CADE, 11th CAV, 14th LICS and 10th RTA, it comprised 15 affiliated workshops.
The 2002 Federated Logic Conference (FLoC'02) took place in Copenhagen, Denmark. It merged 18th CADE, 14th CAV, 17th LICS and 13th RTA with:
- 11th Formal Methods Europe symposium (FM),
- 18th International Conference on Logic Programming (ICLP),
- 11th Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
and with 31 affiliated workshops.
The 2006 Federated Logic Conference (FLoC'06) was held in Seattle, USA. In addition to 18th CAV, 21st LICS, 17th RTA and 22nd ICLP, it combined:
- 3rd International Joint Conference on Automated Reasoning (IJCAR), itself a merger of CADE, TABLEAUX and other meetings,
- 9th Conference on Theory and Applications of Satisfiability Testing (SAT)
with 41 affiliated workshops.
The 2010 Federated Logic Conference (FLoC'10) was held in Edinburgh, UK. In addition to 22nd CAV, 26th ICLP, 5th IJCAR, 25th LICS, 21st RTA and 13th SAT, it included
- 23rd Computer Security Foundations Symposium (CSF),
- 1st International Conference on Interactive Theorem Proving (ITP), itself a combination of 23rd TPHOLs (Theorem Proving in Higher Order Logics) and the 9th ACL2 Workshop
as well as 48 affiliated workshops.