POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 10:30 - 11:00 at Amphitheater 44 - Industrial Panel 2 & Systems Biology Chair(s): Jerome Feret

Absint, Facebook, Amazon, Galois will present the state of the art in the use of Abstract Interpretation in software analysis and production. Invited speakers are: Christian Ferdinand, Francesco Logozzo, Byron Cook, and Aaron Tomb

Sat 21 Jan
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: Industrial Panel 2 & Systems BiologyN40AI at Amphitheater 44
Chair(s): Jerome FeretINRIA Paris
10:30 - 11:00
Talk
N40AI
11:00 - 11:30
Talk
N40AI
Aaron TombGalois, Inc.
11:30 - 12:00
Talk
N40AI
Vincent DanosENS Paris/CNRS