VeTSS

The 2-day Open for Business workshop on Formal Specification and Validation at Scale at the @NewtonInstitute is now underway We look forward to hearing from a wide range of speakers over the next 2 days Supported by @VetSS_RI and @amazon More info: bit.ly/3NwDyfY

The VeTSS Summer School 2024 has officially wrapped up! 🎉 Huge thanks to all the incredible lecturers and our host who made it an unforgettable experience for our students. Your knowledge and passion created a summer full of inspiration and learning. #VeTSS_RI

Prof Kerstin Eder from the University of Bristol presenting the final lecture at the 2024 VeTSS Summer School on energy efficient software development. #VeTSS #summerschool

Day 3 - Prof Ioana Boureanu @icboureanu from the University of Surrey is delivering a comprehensive lecture on verifying privacy in cryptographic protocols. #VeTSS #summerschool

Prof Mark Batty from the University of Kent is now presenting some seminal work on reasoning about weak memory concurrency. #VeTSS

Day 2 is underway, with Martin Brain from City University London describing a recent development with Elizabeth Polgreen on their pyramid for software verification. #VeTSS

Sunny vibes and good company 🌞 VeTSS Summer School students were enjoying a lovely lunch break in the picturesque courtyard at Fry Building, University of Bristol. Perfect spot for recharging between lectures! #VETSS

An excellent presentation from Jeremy Singer (University of Glasgow) on synthesising and verifying memory allocators on CHERI architectures. #VeTSS

The first session is underway with Nicolas Wu from Imperial College London giving us an introduction to category theory and its links to structured recursion schemes. #VeTSS

Excited to kick off the VeTSS Summer School 2024 at the University of Bristol! Looking forward to 3 days of inspiring talks, hands-on workshops, and networking with brilliant minds in the field. #VeTSS2024 #VeTSS

I've been fortunate to work with some great people on code security @Lacework . Here's a description work we've been up to on the security of 1st-party code. (with @dildog , @the_st0rm , @Vatlidak , @pascalkesseli + FrancescoP, JeremyD, LinpengZ) lacework.com/blog/sast-for-…

Deadline to apply to the VeTSS Summer School is coming up, apply here: wp.doc.ic.ac.uk/vss24/registra… before Monday 15th July at 17:00!

📢 #VeTSS Summer School 2024 will take place at the University of Bristol from August 13th to 15th. Open to PhD students and early career researchers focused on program analysis, testing, and verification. Register your interest now: wp.doc.ic.ac.uk/vss24/

The #VeTSS Annual Meeting 2024 concluded with two talks: "Using Program Synthesis to Make Your Code Run Faster" by Elizabeth Polgreen and "Secure Smart Contracts with Isabelle/Solidity" by Diego Marmsoler. Thank you to all the speakers!

Three #VeTSS-aligned project talks were presented: "SACRED-MA" by Guillaume Ambal and Gregory Chockler, "TRUSTED" by Narges Khakpour, and "M4Secure" by Zheng Wang.

The Industry Perspectives talks included "Writing Formal Specifications at ARM" by Jade Alglave (Arm), "RISC-V Processor Verification: Challenges and Opportunities for Formal" by Ashish Darbari (Axiomise), and "Verification and Legal Consequences" by Peter Davies (Thales).

The second morning session featured talks by Edoardo Manino on "Bit-Precise Neural Network Verification," Sophia Drossopolou on "Object Capabilities as Guards – Specification, Verification, and Open Calls," and Ross Horne on "Contactless Payments Made Private via Bisimilarity."

Prof. Peter O’Hearn (Lacework and UCL) delivered the keynote talk on "Holistic Security from Code to Cloud."

The VeTSS Annual Meeting 2024 kicked off with a warm welcome and introductions from directors Prof Brijesh Dongol and Dr Azalea Raad. #AzaleaRaad #VeTSS

The VeTSS Annual Meeting 2024 is just around the corner! We’re excited to welcome you tomorrow. Explore the full program here ⬇️ vetss.org.uk/vetss-annual-m… #VeTSS