Federated Logic Conference 2018

Country: United Kingdom

City: Oxford

Abstr. due: 15.01.2018

Dates: 06.07.18 — 19.07.18

Area Of Sciences: Physics and math; Technical sciences;

Organizing comittee e-mail: http://www.floc2018.org/register/

Organizers: University of Oxford


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)

Please refer to the individual websites for conference-specific Calls for Papers, deadlines and information on how to submit.

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). A separate call for workshop papers will follow in February 2018.


Conference Web-Site: http://www.floc2018.org/