Sat 21 Jan 2017 16:00 - 16:30 at Amphitheater 44 - System Verification and Patrick Cousot's Keynote Chair(s): Francesco Ranzato
Arie Gurfinkel will present the state of the art and future challenges in system verification by abstract interpretation.
Sat 21 Jan
16:00 - 18:30: Next 40 years of Abstract Interpretation - System Verification and Patrick Cousot's Keynote at Amphitheater 44 Chair(s): Francesco RanzatoUniversity of Padova | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Arie GurfinkelUniversity of Waterloo | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:45 Talk | Patrick CousotNew York University | |||||||||||||||||||||||||||||||||||||||||
| 17:45 - 18:30 Social Event | ||||||||||||||||||||||||||||||||||||||||||
