Loading Events

Upcoming Events

Events Search and Views Navigation

Find Events

Event Views Navigation

Events Search

July 2018

7th Federated Logic Conference (FLoC’18), Oxford, UK, July 2018

July 9 @ 8:00 am - July 19 @ 5:00 pm

The seventh Federated Logic Conference (FLoC’18), will be held in Oxford, UK,  on 7-19 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. FLoC’18 will feature 79 workshops, including the Summit on Machine Learning Meets Formal Methods and a FLoC Industry session on Formal Methods.

Find out more »
+ Export Events