BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Categorical gluing and logical relations - Mathieu Huot
DTSTART:20210312T110000Z
DTEND:20210312T120000Z
UID:TALK157726@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Logical relations are a powerful technique to prove results of
  consistency\, conservativity and all sort of properties of programming la
 nguages. The technique is very general\, but can sometimes be a bit cumber
 some in practice. It has a categorical counterpart\, sconing\, which was f
 irst used by Freyd. Sconing is a special case of a general gluing construc
 tion\, first introduced by Artin for toposes. In this seminar I will intro
 duce logical relations and show some examples. Then I'll talk about a simp
 le case of gluing\, and how sconing bridges the gap.
LOCATION:https://meet.google.com/jxy-edcv-wgx
END:VEVENT
END:VCALENDAR