Federated Logic Conference comes to Oxford in July 2018
Posted: 3rd April 2017
A fitting tribute to the city that boasts Logic Lane.
We are pleased to announce that the Federated Logic Conference (FLoC'18) will be held in Oxford, 6-19 July 2018, at the Mathematical Institute and the Blavatnik School of Government.
FLoC 2018 is the seventh Federated Logic Conference in the series that started in 1996 as part of the DIMACS Special Year on Logic and Algorithms. It brings together nine major international conferences that apply logic in 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)
Plus FLoC 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).
FLoC 2018 will have an exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O’Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre. There will also be an Oxford Union-style debate on ethics for autonomous robots. There will be banquets, receptions and other social events in historic venues across the city: see www.floc2018.org/social-events/ for the latest updates.
The FLoC'18 General Chair is Moshe Y. Vardi and Conference Co-chairs are Daniel Kroening and Marta Kwiatkowska.
For more information see www.floc2018.org.