As CAV 2018 is part of the Federated Logic Conference , local information can be found here. Information on accommodation can be found on the FLoC webpage. Oxford is extremely busy in summer, so please make sure to book as early as possible to avoid disappointment!