Our Events
Past Events / Photo Album
Previous
Next
08 June 2021
HQ Webinar: Safe and secure software systems – An automated reasoning perspective
0608b

Webinar Details

Date:

8 June 2021 (Tuesday)

Time:

8 June 23:00 - 9 June 01:00 HKT

Mode:

Webinar

Medium:

English

Fee:

Free of charge

Synopsis:

Software is woven into the fabric of modern life - from communications, consumer electronics and finance to healthcare, transportation and national infrastructure. As well as significant economic and social benefits, the proliferation of software brings with it serious risks - system failures and security vulnerabilities.

 

To combat these risks calls for formal methods that enable us to reason precisely about the correctness of a software system. Mathematical logic and formal reasoning provide the foundations for such methods. This talk presents some high profile software-related system failures as well as some notable success stories for formal methods. To be applicable on an industrial scale, formal methods require computer assistance in the form of automated reasoning tools and techniques. Mapping out the range of existing automated reasoning techniques and describe my own perspective on their use within formal methods. Finally, highlight involvement in a new collaborative and multidisciplinary project that is addressing the challenge of building trustworthy autonomous systems.

Details & Registration:

https://www.bcs.org/events/2021/june/webinar-safe-and-secure-software-systems-an-automated-reasoning-perspective/ 

 

Top