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