We hereby wish to invite you to participate in a workshop series which aims at nourishing research in the area of Categories, Logic and Foundations of Physics. There seems to be a substantial number of people in the Loxbridge area and beyond with interest in this field to sustain such a series. We also welcome activity from other research strands aiming to gain structural insights into foundational physical theories, for example by means of toy models, operational methodologies for general physical theories, structures for dynamics and space-time etc. Besides the workshops we plan to have an online presence in terms of a (moderated) interactive website on which open problems, news, discussions, tutorials, recordings of talks and pointers to literature will be exhibited. The scheduled date for the first meeting, which will take place at Imperial College in London, is

While we do not want to stick to an a priori fixed format for the workshop, we propose the following schedule for the first meeting, to get the ball rolling:
• 12.00-13.00 Survey talk (Chris Isham, “Topos Theory in the Formulation of Theories of Physics”)
• 13.00-13.30 Research talk (Chris Heunen)
• 13.30-14.15 Buffet lunch session
• 14.15-15.15 Survey talk (Samson Abramsky on the symmetric monoidal approach)
• 15.15-15.45 Research talk (Ross Duncan)
• 15.45-16.30 General discussion session aiming at:
> stating open problems
> requests for presentation of certain topics
> plans for the future, e.g. proposals for collaboration
• 16.30-17.00 Coffee break
• 17.00-17.30 Jamie Vicary, “A categorical framework for the quantum harmonic oscillator”
• 17.30-18.00 Research talk (Louis Crane)
• 18.15-19.00 Pub session
We invite you to put forward suggestions for whom you would like to see give a (survey or) research talk, and please let us know about others who would be interested.