BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Some notes on syntactic logical relations for pure System F - Dimi
 trios Vytiniotis\, MSR
DTSTART:20081110T124500Z
DTEND:20081110T140000Z
UID:TALK14772@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:In this talk I will describe various notions of syntactic\nlog
 ical relations for pure System F without recursion. I will then\nattempt t
 o connect these relations to various notions of bisimulation\nand observat
 ional equivalence. It turns out that even in this simple\nsetting the conn
 ection of these logical relations to observational\nequivalence is not obv
 ious\; and I will be explaining the complications\nand some ideas to solve
  this problem. There are few novel results in\nthis talk so this is mainly
  a call for discussion on ways forward.
LOCATION:FW26
END:VEVENT
END:VCALENDAR