This event has been cancelled.

Delay insensitive circuits provide an ideal opportunity for reasoning about concurrent systems in many ways: non- deterministic processes, multiple levels of abstraction, hard combinatorial problems, assorted bisimilar representations, and the need for a semantics of behavioral equivalence and refinement among others, all within a decidable theory.


This presentation will review some recent work on DI circuit design ( as a case study with the benefit of hindsight, leading to a general discussion of the fitness of formal methods for serving practitioners and the balance to be struck between innovation and familiarity.



Speakers: Dennis Furey



Dr Furey earned a PhD in computing from Imperial College in 1994 followed by postdoctoral appointments at Queensland University of Technology and London South Bank University, and a visiting faculty appointment at California Institute of Technology.


Since 2013, he has been an independent author and publisher.



Refreshments will be available from 5.15pm. The talk will start at 6pm.

CANCELLED - Delay Insensitive Circuits: an exercise in formal methods - FACS
Date and time
28 May, 6:00pm - 9:00pm
BCS, The Chartered Institute for IT
Ground Floor
25 Copthall Avenue
This event is sold out