Logic and Semantics Club

The Logic and Semantics Club is the main LFCS forum for discussion of research in all areas of logic and semantics in the broad sense.

The club usually meets on Fridays at 14:00 in room 2509 or 2511 (JCMB, King's Buildings). If you want to give a talk please email bklin@inf.ed.ac.uk.

Upcoming talks
DateSpeakerTitle
Past talks
DateSpeakerTitle
2007
June 19 Sam Lindley Extensional rewriting with sums
June 15 Murdoch J. Gabbay Elementary models of resource-sensitive logics
May 25 James Cheney A tutorial introduction to nominal logic and its applications (part II)
May 18 Douglas S. Bridges Constructive reverse mathematics
May 11 James Cheney A tutorial introduction to nominal logic and its applications (part I)
March 30 Alex Simpson The locale of random sequences
March 23 Rasmus Mogelberg Relational parametricity for control considered as a computational effect
March 16 Michael David Pedersen A logical characterisation of static equivalence
January 19 Steve Lack How do you compose categories?
2006
November 24 Masahito Hasegawa Relational parametricity and control
November 17 Rasmus Ejlers Mogelberg From parametric polymorphism to models of polymorphic FPC

Please report bugs and problems to bklin@inf.ed.ac.uk.