SYMPOSIA: DIGITAL SYSTEMS: THEORY + PRACTICE (29/30 March 2012)