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