BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lawvere Theories for Nominal Equational Logic - Ranald Clouston (U
 niversity of Cambridge)
DTSTART:20081125T141500Z
DTEND:20081125T154500Z
UID:TALK14785@talks.cam.ac.uk
CONTACT:Richard Garner
DESCRIPTION:Lawvere Theories are a categorical formulation of equational l
 ogic\, identifying equational theories with categories equipped with finit
 e products. This talk\, based on work with Andrew Pitts\, will look at an 
 analogous formulation for Nominal Equational Logic. This is a logic of equ
 ations modulo side conditions concerning the freshness of names\, an impor
 tant concept in computer science. If categories need to have finite produc
 ts to stand in for theories of equational logic\, what extra structure is 
 needed for Nominal Equational Logic?\n
LOCATION:MR9\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR