« All Events

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.

Details

Start:
July 9 @ 8:00 am
End:
July 19 @ 5:00 pm
Website:
https://easychair.org/smart-program/FLoC2018/index.html