University of Cambridge > Talks.cam > Logic and Semantics for Dummies

Logic and Semantics for Dummies

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

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.

Tell a friend about this list:

If you have a question about this list, please contact: Alexander Gurney. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 9 talks in the archive.

Tree decomposition of graphs

UserBjarki Holm (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 14 March 2008, 11:00-12:00

Focusing and proof search

UserRuy Ley-Wild.

HouseGS15, Computer Laboratory.

ClockFriday 07 March 2008, 11:00-12:00

Domain theory: dI-domains

UserBarney Stratford (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 22 February 2008, 11:00-12:00

Stone Duality

UserDavid Turner (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 15 February 2008, 11:00-12:00

Lent term initial meeting

UserSpeaker to be confirmed.

HouseGS15, Computer Laboratory.

ClockFriday 08 February 2008, 11:00-12:00

Intuitionistic logic

UserAlexander Gurney (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 13 December 2007, 11:30-12:30

Dependent types

UserDavid Turner (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 07 December 2007, 11:30-12:30

Hindley-Milner type inference

UserBarney Stratford.

HouseGS15, Computer Laboratory.

ClockFriday 30 November 2007, 11:30-12:30

Initial organising meeting

UserSpeaker to be confirmed.

HouseGC22, Computer Laboratory.

ClockFriday 16 November 2007, 11:00-12:00

Please see above for contact details for this list.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity