[C-rusted] CSV24: Memory Safety for C-rusted

Hello everyone,

on Thursday 6th of June 2024, I will hold a presentation about C-rusted at the Symposium on "Challenges of Software Verification", which will take place at Ca' Foscari University of Venice: you are all invited!

More information on the CSV24 can be found at: https://unive-ssv.github.io/csv.html https://www.unive.it/data/agenda/9/88896

The title of the presentation is "Memory Safety for C-rusted: Challenges and Possible Solutions". As you may have already guessed, the focus will be memory safety, in particular: - why memory safety is crucial; - different approaches to achieve memory safety; - the C-rusted approach to temporal and spatial memory safety.

I hope to see you in Venice!

Regards,

Federico