Call for Papers All calls for papers are now closed
Important dates
| Conference papers due | See individual conference pages |
| Conference papers notification | 31 March 2018 |
| Workshop papers due | 15 April 2018 |
| Workshop papers notification | 15 May 2018 |
| Camera-ready versions | 31 May 2018 |
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modelled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.
The seventh Federated Logic Conference (FLoC’18) will be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. FLoC’18 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)
In addition to conferences, FLoC’18 will feature 79 workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June – 6 July).