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 (https://www.delayinsensitive.com) 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 https://www.linkedin.com/in/dennis-furey-5aa5724

-------------------------------------------------------------------------------

 

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
Location
BCS, The Chartered Institute for IT
Ground Floor
25 Copthall Avenue
London
EC2R 7BP
Price
This event is sold out