BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic and Semantics Seminar (Computer Laboratory)
SUMMARY:Algebraic Theories over Nominal Sets - Alexander K
urz (University of Leicester)
DTSTART;TZID=Europe/London:20100514T140000
DTEND;TZID=Europe/London:20100514T150000
UID:TALK24706AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/24706
DESCRIPTION:Nominal sets were\nintroduced by Gabbay/Pitts. Two
different notions of equational logic\nover nomin
al sets were studied by Gabbay/Mathijssen and Clou
ston/Pitts.\nIn this talk\, we introduce the gener
al notion of a based monad and show\nthat finitary
based monads give rise to equational theories in
the\nstandard sense of many-sorted set-based unive
rsal algebra. We further\nshow that restricting th
ese many-sorted equational theories to 'uniform'\n
ones brings us back to the equational logics of Ga
bbay/Mathijssen and\nClouston/Pitts. A benefit of
our approach is that it allows to apply\nknown res
ults from universal algebra to algebras over nomin
al sets.\n\n(joint work with D. Petrisan and J. Ve
lebil)
LOCATION:Room FW11\, Computer Laboratory\, William Gates Bu
ilding
CONTACT:Sam Staton
END:VEVENT
END:VCALENDAR