A sharing platform for the Computer-Aided Verification community
Do you have any feedback or suggestions? Would you like to share some study material or announce job postings and events on CAVlinks? Do you want to contribute as a student volunteer?
Please do! We’d love to see this website grow.
You can send us an email directly to cavlinks (at) gmail (dot) com or use the form below to contact us. Note that data sent over this connection is not secure: please do not share any sensitive information using the form. You can also contact us individually via our webpages or personal/institutional emails.