University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > Decision procedures for parametric multi-width bitvectors

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Decision procedures for parametric multi-width bitvectors

Download to your calendar using vCal

If you have a question about this talk, please contact Rini Banerjee .

I’m going to be explaining a new decision procedure theory of parametric, multi-width bitvectors. These are statements which are universally quantified over multiple bitwidths, and multiple bitvectors of these different bitwidths. I’ll sketch out a sound and complete decision procedure for the linear-bitwise theory, and time permitting, indicate why the nonlinear theory is undecidable.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Online - Zoom Mondays (unless otherwise stated), 13.05 – 14.00in the Craik Marshall Seminar Room

Other talks

Talk TBC Title to be confirmed Morning Tea and Coffee Cambridge RNA Club - ONLINE In conversation: Louis Herns Marcelin and Ola Osman on legacies of enslavement and contemporary violence in Liberia and Haiti Discussion I
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity