10:45 - 11:30am
Symposium
Abstract machines, formal verification and cellular biochemistry
François Fages
10:45 - 11:30am