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:

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).