New keynote by Carlo Ghezzi

Submitted on: 
Friday, June 28, 2013

We are proud to announce the keynote by Carlo Gezzi!

We would like to acknowledge and thank Patric Cousot, co-inventor (with Radhia Cousot) of abstract interpretation, who also kindly agreed to be a keynote at ISSTA 2013, but who was unavoidably unable to attend.