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!
| CARVIEW |
Select Language
HTTP/2 301
expires: Wed, 14 Jan 2026 16:02:15 GMT
cache-control: max-age=3600
x-redirect-by: WordPress
location: https://i-cav.org/2018/venue/
vary: Accept-Encoding
content-length: 0
content-type: text/html; charset=UTF-8
date: Wed, 14 Jan 2026 15:02:15 GMT
server: Apache
HTTP/2 200
link: ; rel="alternate"; type="application/json", ; rel=shortlink
vary: Accept-Encoding
content-encoding: gzip
content-length: 7255
content-type: text/html; charset=UTF-8
date: Wed, 14 Jan 2026 15:02:16 GMT
server: Apache
Venue | CAV 2018, Oxford, UK