The Federated Logic Conference 2018 brings together nine major international conferences related to mathematical logic and computer science:

• 30th International Conference on Computer Aided Verification (CAV), 14-17 July 2018
• 31st IEEE Computer Security Foundations Symposium (CSF), 9-12 July 2018
• 23rd International Symposium on Formal Methods (FM), 14-17 July 2018
• 3rd International Conference on Formal Structures for Computation and Deduction (FSCD), 9-12 July 2018
• 34th International Conference on Logic Programming (ICLP), 14-17 July 2018
• 9th International Joint Conference on Automated Reasoning (IJCAR), 14-17 July 2018
• 9th International Conference on Interactive Theorem Proving (ITP), 9-12 July 2018
• 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 9-12 July 2018
• 21st International Conference on Theory and Applications of Satisfiability Testing (SAT), 9-12 July 2018

Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 1-6 July).