Invited SpeakerCarlo Ghezzi
Adaptive software needs continuous verification
Date: Tuesday September 14thTime: 9.15 - 10.15
Room: Auditorium
Invited SpeakerDimitra Giannakopoulou
"Fly me to the moon": Verification of Aerospace Systems
Sponsored by FME
Date: Wednesday September 15thTime: 9.00 - 10.00
Room: Auditorium
Invited Speaker
Dusko Pavlovic
The unreasonable ineffectiveness of security engineering
Date: Thursday September 16thTime: 9.00 - 10.00
Room: Auditorium
