Logic and Semantics for Dummies


2007-11-16 11:00: Initial organising meeting (Speaker to be confirmed)

2007-11-30 11:30: Hindley-Milner type inference (Barney Stratford)

2007-12-07 11:30: Dependent types (David Turner (University of Cambridge))

2007-12-13 11:30: Intuitionistic logic (Alexander Gurney (University of Cambridge))

2008-02-08 11:00: Lent term initial meeting (Speaker to be confirmed)

2008-02-15 11:00: Stone Duality (David Turner (University of Cambridge))

2008-02-22 11:00: Domain theory: dI-domains (Barney Stratford (University of Cambridge))

2008-03-07 11:00: Focusing and proof search (Ruy Ley-Wild)

2008-03-14 11:00: Tree decomposition of graphs (Bjarki Holm (University of Cambridge))