Institute for Logic, Language and Computation

6 - 19 July 2018, 7th Federated Logic Conference (FLoC'18), Oxford, England

Date: 6 - 19 July 2018
Location: Oxford, England
Deadline: Monday 19 June 2017
FLoC 2018 brings together nine major international conferences related to mathematical logic and 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).

We have already begun confirming 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. We will also hold 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.

Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2018. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Submission of workshop proposals deadline: June 19, 2017. 

Calls for papers will be issued in early 2018.

For more information, see

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X