The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic

Mathematical logic

Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...

 and computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 related academic conference

Academic conference

An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...

s that deal with the intersection of the two fields. FLoC traditionally includes:

• Logic in Computer Science (LICS)
• Rewriting Techniques and Applications
  Rewriting Techniques and Applications
  Rewriting Techniques and Applications is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, unification and the lambda calculus...
  
   (RTA)
• International Joint Conference on Automated Reasoning
  International Joint Conference on Automated Reasoning
  International Joint Conference on Automated Reasoning is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place...
  
   (IJCAR) that itself conglomerates Conference on Automated Deduction
  Conference on Automated Deduction
  The Conference on Automated Deduction is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the USA. However, conferences have been held all...
  
   (CADE), Theorem Proving in Higher-Order Logics
  Theorem Proving in Higher-Order Logics
  Theorem Proving in Higher-Order Logics is an annual international academic conference on the topic of automated reasoning in higher-order logics. The first TPHOLs was held in Cambridge, UK in 1987, but in the early years was an informal gathering of researchers interested in the HOL system and had...
  
   (TPHOLs), and Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX).

The first FLoC was held in 1996 at DIMACS

DIMACS

The Center for Discrete Mathematics and Theoretical Computer Science is a collaboration between Rutgers University, Princeton University, and the research firms AT&T, Bell Labs, Telcordia, and NEC. It was founded in 1989 with money from the National Science Foundation...

; subsequently they have been held roughly every four years, and the fourth FLoC was held in August 2006 in Seattle, and merged ICLP

International Conference on Logic Programming

The International Conference on Logic Programming is an annual academic conference on the topic of logic programming. It is sponsored by the Association for Logic Programming . The conference consists of peer-reviewed papers with the proceedings published by Springer's LNCS series.The first ICLP...

 and CAV

Computer Aided Verification

Computer Aided Verification is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series...

in addition to the above conferences.