BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:POPL PC workshop - Speaker to be confirmed
DTSTART:20131001T083000Z
DTEND:20131001T160000Z
UID:TALK47758@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:NOTE CHANGED SCHEDULE\n\n    9.30 Andrey Rybalchenko\, Program
  Verification by Solving (Quantified) Horn Clauses\n    10.00 GAP\n    10.
 30-11.00 break\,\n    11.00 Xavier Rival\, Modular Construction of Shape-N
 umeric Analyzers\n    11.30 Nate Foster\, NetKAT: Semantic Foundations for
  Networks\n    12.00 Mads Dam\, Routing and location independence in objec
 t network overlays\n    12.30-2.00 break\n    2.00 Alan Jeffrey\, Function
 al Reactive Programming via the isomorphism between relations and set-valu
 ed functions\n    2.30 Neelakantan Krishnaswami\, FRP without spacetime le
 aks\n    3.00 Ross Tate\, Redesigning Industry OO Type Systems\n    3.30-4
 .00 break\n    4.00 Andrew Appel\, Program Logics for Certified Compilers\
 n    4.30 Viktor Vafeiadis\, Relaxed Separation Logic \n\n
LOCATION:LT1
END:VEVENT
END:VCALENDAR