The L&S seminar series consists of talks of relevance to the Automated Reasoning Group and/or the Theory and Semantics Group and provides a single point each week at which interesting talks in these fields can be found.

Where?

When?

Please contact David.Richerby@cl.cam.ac.uk if you have any suggestions for speakers, or would like to speak yourself.