It is planned to hold three specialized satellite workshops at the Oxford University Computing Laboratory:
- Categorical Quantum Logic (convened by Bob Coecke)
- Coalgebraic Logic (convened by Alexander Kurz)
- Spatial and Spatio-temporal Logics (convened by Michael Zakharyaschev)
More information on these workshops is available on the Computing Laboratory website.