Barbara Guttman
October 3rd
Title: A NIST Scientific Foundation Review of Digital Forensics
Markus Schordan
October 4th
Title: How Software Verification Competitions Pave the Way for Better Tools
Tiziana Margaria
October 5th
Title: The Digital Thread as Digital Transformation of Software-knit Ecosystems.