Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vincent Danos
conf.researchr.org general profile
POPL 2017 profile
Not registered as user
Name:
Vincent Danos
Affiliation:
ENS Paris/CNRS
Contributions
2017
N40AI
Presenter of Systems biology within the Next 40 years of Abstract Interpretation-track
LAFI
Author of Mathematical structures of probabilistic programming within the PPS-track
Share
x
Sat 25 Oct 10:57