EXTREME THEORY

---

This is a very informal get-together for anyone interested in extremely theoretical research
areas, in particular in the overlap of Logic, Mathematics and Computer Science. Meetings
take place in room FC22 of the Computer Laboratory, unless otherwise specified. Please
email me (Ola.Mahmoud@cl.cam.ac.uk) if you would like to be added to the emailing list.


Upcoming Talks


---


Previous Talks


Tuesday - 20.11.2007 (3:45PM)

Thomas Forster - The Two Roots of Typing (Abstract)


Thursday - 15.11.2007 (3:30PM)

Samy Abbes - On Quotients and Completions of Partially Ordered Monoids (Abstract)


Tuesday - 06.11.2007 (3:45PM)

Martin Hyland - Mathematical Structure in Game Semantics


Friday - 19.10.2007 (3:30PM)

Andy Pitts - Renameable versus Nominal Sets


Thursday - 28.06.2007 (3:30PM)

Chung-Kil Hur - Equational Systems and Free Constructions


Thursday - 07.06.2007 (3:30PM)

Thomas Forster - BQO Theory


Thursday - 31.05.2007

Sam Staton - Structural Operational Semantics