Skip to main content

Federated Logic Conference comes to Oxford in July 2018


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:

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