FLoC 2018

  • Home
  • About
    • About FLoC
    • Support and volunteering
    • Sponsors
    • FAQs
    • Diversity and anti-harrassment
    • Did you know?
    • PR materials
    • Contact
  • Events
    • Conferences
    • Call for Papers
    • Workshops
    • FoPSS Logic and Learning School
    • Summit on Machine Learning Meets Formal Methods
    • Plenaries and Keynotes
    • Public lecture
    • Oxford Union debate
    • Mentoring and student events
    • Social events
    • Calendar
  • Local information
    • Accommodation
    • Things to do
    • Travel information
    • Venues
  • News

Did you know?

The FLoC logo

Originally designed for FLoC'96 by Luca Cardelli, the FLoC logo is composed of several…

February 12, 2017

Penrose tiles

Outside the Mathematical Institute you will see Penrose paving, named after Oxford mathematician and…

February 12, 2017
FLoC 2018
Register Federated Logic Conference 2018 | help@floc2018.orgPowered by Conference Pro by Showthemes