Sat 21 Jan 2017 11:00 - 11:30 at Amphitheater 44 - Industrial Panel 2 & Systems Biology Chair(s): Jerome Feret
Abstract interpretation has been part of Galois since its inception, even so far as to influence the original name of the company: Galois Connections. Aaron Tomb will talk about how Galois has used abstract interpretation in practice over the last decade and a half, and describe some long range ideas for what might make the techniques even more useful over the next four decades.
Sat 21 Jan
10:30 - 12:00: Next 40 years of Abstract Interpretation - Industrial Panel 2 & Systems Biology at Amphitheater 44 Chair(s): Jerome FeretINRIA Paris | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | Byron CookAmazon | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | Aaron TombGalois, Inc. | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | Vincent DanosENS Paris/CNRS |