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:SANDWICH Seminar (Computer Laboratory)
SUMMARY:Decision procedures for parametric multi-width bit
 vectors - Siddharth Bhat (University of Cambridge)
DTSTART;TZID=Europe/London:20251201T130000
DTEND;TZID=Europe/London:20251201T140000
UID:TALK241453AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/241453
DESCRIPTION:I'm going to be explaining a new decision procedur
 e theory of parametric\, multi-width bitvectors. T
 hese are statements which are universally quantifi
 ed over multiple bitwidths\, and multiple bitvecto
 rs of these different bitwidths. I'll sketch out a
  sound and complete decision procedure for the lin
 ear-bitwise theory\, and time permitting\, indicat
 e why the nonlinear theory is undecidable.
LOCATION:FS07\, Computer Laboratory
CONTACT:Rini Banerjee
END:VEVENT
END:VCALENDAR