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).