Satellite Workshops

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.