LSD for lunch

Logic and Semantics for Dummies (LSD) is a very informal weekly meeting for PhD students (other dummies may be admitted). Each week, a volunteer will research an unfamiliar topic and give an informal talk (over lunch) on his/her findings. The talks tend to be about the more theoretical and mathematical aspects of theoretical computer science, giving students a chance to learn some of the foundations of various research directions. Talks are (supposed to be) pitched at a very basic level.

The group was started by Gareth Stoyle (who also designed these web pages) in October 2002 and run by Sam Staton during the 2004-5 academic year.

For more information, just turn up or email Jon at jonathan-hayman@cl.cam-ac.uk (replacing the hyphens with dots).

Schedule

Here are the talks scheduled for this term. The meetings will be from 1pm on Thursdays in GC22, Computer Laboratory.

Schedule: Lent Term 2007
Alex Algebras and paths 15 Feb
Gil Martin-Löf type theory 22 Feb
Jon Predicate transformers 1 Mar
Bjarki Algebraic formation of graph equivalence 22 Mar
Rok Module systems 29 Mar


Schedule: Michaelmas Term 2006
Alex Operational domain theory and topology 20 Oct
Peter Relational parametricity 27 Oct
Jon Semantics of linear logic 3 Nov
Dave Event structures and domains 10 Nov
Gil Logical relations 17 Nov
Rok Game semantics 24 Nov
Viktor Call by push value 1 Dec
Magnus Foundational proof carrying code 8 Dec
Ranald Effects and monads 15 Dec

Here are the talks scheduled for last year (2005-6), the year before (2004-5), and the year before that (2003-4), and the year before that (2002-3).