|
Logic & Semantics |
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.
Please contact David.Richerby@cl.cam.ac.uk if you have any suggestions for speakers, or would like to speak yourself.