Logic and Semantics for Dummies (LSD) is a very informal weekly meeting for PhD students in the Computer Laboratory (other dummies may be admitted). Each week, a volunteer will research an unfamiliar topic and give an informal talk 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.
0 upcoming talks
View 9 archived talks
đ¤ Bjarki Holm (University of Cambridge)
đ
Friday 14 March 2008, 11:00-12:00
đ GS15, Computer Laboratory
đ¤ Ruy Ley-Wild
đ
Friday 07 March 2008, 11:00-12:00
đ GS15, Computer Laboratory
đ¤ Barney Stratford (University of Cambridge)
đ
Friday 22 February 2008, 11:00-12:00
đ GS15, Computer Laboratory
đ¤ David Turner (University of Cambridge)
đ
Friday 15 February 2008, 11:00-12:00
đ GS15, Computer Laboratory
đ¤ Speaker to be confirmed
đ
Friday 08 February 2008, 11:00-12:00
đ GS15, Computer Laboratory
đ¤ Alexander Gurney (University of Cambridge)
đ
Thursday 13 December 2007, 11:30-12:30
đ GS15, Computer Laboratory
đ¤ David Turner (University of Cambridge)
đ
Friday 07 December 2007, 11:30-12:30
đ GS15, Computer Laboratory
đ¤ Barney Stratford
đ
Friday 30 November 2007, 11:30-12:30
đ GS15, Computer Laboratory
đ¤ Speaker to be confirmed
đ
Friday 16 November 2007, 11:00-12:00
đ GC22, Computer Laboratory
Please see above for contact details for this list.