Sponsor of the 7th Federated Logic Conference (FLoC’18), Oxford, July 18

VeTSS is very pleased to be one of the sponsors of the seventh Federated Logic Conference (FLoC’18), which will be held in Oxford, UK, in 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. This year, in addition to conferences, FLoC’18 will feature 79 workshops, including the Summit on Machine Learning Meets Formal Methods and a FLoC Industry session on Formal Methods.

Delicious Twitter Digg this StumbleUpon Facebook