Home
Programme
About
Gallery
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
Formal Methods in Industry
FLoC Olympic Games
Plenaries and Keynotes
Public lecture
Oxford Union debate
Mentoring and student events
Ally Skills session
Social events
Calendar
Local information
Accommodation
Travel information
Things to do / amenities
Family-friendly
Venues
News
Invited speakers
FLoC is pleased to present:
Keynote speakers
Shafi Goldwasser
Keynote 11 July
Georges Gonthier
Keynote 14 July
Plenary speakers
Peter O’Hearn
Plenary 9 July
Byron Cook
Plenary 16 July