Posted: 16th May 2018

The programme, including session timings and abstracts, has been released for the major Federated Logic Conference (FLoC) 2018 to be held in Oxford this summer.

The department of Computer Science is hosting FloC 2018, which brings together nine conferences at the core of logic in computer science. It will also encompass more than 70 workshops, for which the programme will go live on the website in the next few days. There will also be many other high-profile events, including an Oxford Union debate.

The department’s Professors Daniel Kroening and Marta Kwiatkowska will co-chair the conference with Professor Moshe Vardi from Rice University as general chair. It will run over two weeks in July.

The FLoC conference programme is at: www.floc2018.org/programme