BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Decision procedures for parametric multi-width bitvectors - Siddha
 rth Bhat (University of Cambridge)
DTSTART:20251201T130000Z
DTEND:20251201T140000Z
UID:TALK241453@talks.cam.ac.uk
CONTACT:Rini Banerjee
DESCRIPTION:I'm going to be explaining a new decision procedure theory of 
 parametric\, multi-width bitvectors. These are statements which are univer
 sally quantified over multiple bitwidths\, and multiple bitvectors of thes
 e different bitwidths. I'll sketch out a sound and complete decision proce
 dure for the linear-bitwise theory\, and time permitting\, indicate why th
 e nonlinear theory is undecidable.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR