Logic in Software, Dynamical and Biological Systems
This web presentation contains the
of a lecture given at the Fields Institute on June 21, 2011
as part of the 26th Annual IEEE Symposium on Logic in Computer Science.
Listen to audio presentation:
Directly in browser (supported in recent versions of Mozilla Firefox,
Google Chrome, and others, but not yet in Microsoft Internet Explorer):
In an external player: