We are proud to host the latest Federated Logic Conference – FLoC 2018 – in Oxford, UK, 6-19 July 2018!

FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science:

International Conference on Computer Aided Verification (CAV)

IEEE Computer Security Foundations Symposium (CSF)

International Symposium on Formal Methods (FM)

International Conference on Formal Structures for Computation and Deduction (FSCD)

International Conference on Logic Programming (ICLP)

International Joint Conference on Automated Reasoning (IJCAR)

International Conference on Interactive Theorem Proving (ITP)

Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

International Conference on Theory and Applications of Satisfiability Testing (SAT)

Plus FLoC workshops and School on Foundations of Programming and Software Systems (FoPSS).