Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of [...]
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of [...]
We are very happy to be one of the sponsors of "Fun in the REPL", a one day joint meeting of the Fun in the [...]
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 [...]
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. [...]
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with by Envious Digital