POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / N40AI 2017 (series) / N40AI /

Systems biology

N40AI 2017 Next 40 years of Abstract Interpretation
Sat 21 Jan 2017 11:30 - 12:00 at Amphitheater 44 - Industrial Panel 2 & Systems Biology Chair(s): Jerome Feret

Vincent Danos will present the latest achievements in systems biology and how Abstract interpretation can influence this field.

Sat 21 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Industrial Panel 2 & Systems BiologyN40AI at Amphitheater 44
Chair(s): Jerome Feret INRIA Paris
10:30
30m
Talk
Abstract Interpretation in Amazon
N40AI
Byron Cook Amazon
11:00
30m
Talk
Abstract Interpretation at Galois
N40AI
Aaron Tomb Galois, Inc.
11:30
30m
Talk
Systems biology
N40AI
Vincent Danos ENS Paris/CNRS

Vincent Danos

ENS Paris/CNRS