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 -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)