News2024-06-18T09:34:36+00:00

Latest news

1503, 2024

Vacancy: Research Associate at the University of Kent

The Research Associate will participate in cutting edge research on type-based enforcement and compilation techniques for enforcement of security properties of higher-order programs. The position is on an EPSRC funded project titled "TYPDSEC: Type-based information [...]

2109, 2023

Postponed: VeTSS industry innovation sandpit

The one-day VeTSS industry innovation sandpit at Imperial I-X has been postponed. We are are looking for alternative dates and we will advertise this as soon as we can. The sandpit will include lightning talks [...]

2908, 2023

VeTSS summer School 2023 ends

We had great weather on the final days of this year's VeTSS Summer School 2023, to cap a week full of amazing talks and tutorials. Big thanks to the students and speakers and the staff [...]

Go to Top