VeTSS

Annual Meeting 2024
2024-05-21 08:30 - 17:00 UTC
This year’s event will be held at the Royal Academy of Engineering, London on Tuesday, 21st of May. You can find the address and full directions to the venue on this link.
Registration to the event is now closed as the meeting is at capacity.
The meeting with start at 9:00. Registration, with tea and coffee, is from 8:30. On arrival, please make your way up to the ERA Foundation room on the first floor. You will be able to collect your badge there.
We want to make every VeTSS event a respectful and friendly environment for all, and we ask that everyone attending the Annual meeting adheres to the VeTSS code of conduct.
Program

8:30 – 9:00
Registration, with Tea and Coffee

Session 1: Keynote Talk

9:00 – 9:15
Welcome

9:15 – 10:15
Keynote: Holistic security from code to cloud, Peter O’Hearn (Lacework and UCL)

10:15 – 10:45
Morning break

Session 2

10:45 – 11:15
Talk: Bit-Precise Neural Network Verification, Edoardo Manino (University of Manchester)

11:15 – 11:45
Talk: Object Capabilities as Guards – Specification, Verification, and open calls, Sophia Drossopolou (Imperial College London)

11:45 – 12:15
Talk: Contactless Payments made Private via Bisimilarity, Ross Horne (University of Strathclyde, Glasgow, Scotland)

12:15 – 13:45
Lunch

Session 3: Industry Perspectives

13:45 – 14:15
Talk: Writing formal specifications at ARM, Jade Alglave (Arm)

14:15 – 14:35
Talk: RISC-V Processor Verification: Challenges And Opportunities For Formal, Ashish Darbari (Axiomise)

14:35 – 14:55
Talk: Verification and Legal Consequences, Peter Davies (Thales)

15:00 – 15:30
Afternoon break

Session 4

15:30 – 16:30
Project talks

SACRED-MA: Safe And seCure REmote Direct Memory Access, Guillaume Ambal, (Imperial College London) and Gregory Chockler, (University of Surrey)

TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development, Narges Khakpour (Newcastle University)

M4Secure: Faster and Secure Memory Management, Zheng Wang (University of Leeds)

16:30 – 16:50
Talk: Using program synthesis to make your code run faster, Elizabeth Polgreen (University of Edinburgh)

16:50 – 17:10
Talk: Secure Smart Contracts with Isabelle/Solidity, Diego Marmsoler, (University of Exeter)

17:10 – 17:15
Meeting ends

Fun in the REPL
2023-11-01 10:00 - 19:00 | Bristol Engine Shed, Station Approach, Redcliffe, Bristol, BS1 6QH, United Kingdom
S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. Fun in the Afternoon is a seminar on functional programming and related topics. This site describes the arrangements for a joint meeting of these two communities at Bristol Engine Shed in November 2023.

Annual meeting 2023
2023-03-31
This was the first event on the VeTSS Seminar Series, one-day meetings with talks and panel discussions. The aim is to connect with VeTSS adjacent research, such as AI, Quantum Computing, Security and Machine learning, discuss state-of-the-art research and its open challenges and seek cross-pollination opportunities with VeTSS themes.
TALKS (recording and abstracts)
‘VeTSS: From Old to New’, Philippa Gardner, Imperial College London
‘On Operational Cyber Resilience’ Kerstin Eder, University of Bristol
‘Automatic verification of transparency protocols’, Mark Ryan, University of Birmingham with Vincent Cheval and José Moreira. ABSTRACT
‘Security and Legacy at Microsoft’ Matthew Parkinson, Microsoft Research. ABSTRACT
‘Benchmarking and verifying quantum computers’, Petros Wallden, The University of Edinburgh. ABSTRACT
‘Formal Verification and Bug Finding at Meta’, Jules Villard, Meta. ABSTRACT
‘The Research Institute for Trustworthy Interconnected Cyber-physical Systems’, Chris Hankin, Imperial College London. ABSTRACT
‘Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems’, Vincent Rahli, University of Birmingham. ABSTRACT
‘CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively’, Karine Even-Mendoza, King’s College London. ABSTRACT
‘Rust on Morello’, Simon Cooksey, University of Kent. ABSTRACT

Surrey Concurrency Workshop and S-REPLS 12
2019-07-23 09:30 - 2019-07-24 17:30 | University Of Surrey, Stag Hill, University Campus, Guildford, GU2 7XH, United Kingdom
This two-day workshop is aimed at bringing together researchers, from the UK and elsewhere, who are working on the theory of concurrency and the semantics and implementation of programming languages.
The workshop will be held in Lecture Theatre L of the LT building (see Campus Map). Directions to the Stag Hill Campus are available here.
Registration for the event is free. Lunch and tea/coffee will be provided thanks to funding from VeTSS and the University of Surrey ACE.

Federated Logic Conference, 2018
2018-07-06 08:00 - 2018-07-24 17:00 | St Anne’s College, 56 Woodstock Rd, Oxford, OX2 6HS, United Kingdom
