Free

NPL’s Experience with Formal Aspects

Actions and Detail Panel

Free

Event Information

Share this event

Date and Time

Location

Location

Online Event

Event description
Find out more about The National Physical Laboratory’s pioneering role

About this Event

SPEAKERS

Keith Lines - National Physical Laboratory

AGENDA

17:15 - Networking

18:00 - Speaker’s presentation

19:00 - Questions & discussion

19:15 - Networking

20:00 - Webinar ends

SYNOPSIS

The National Physical Laboratory’s pioneering role in modern-day computing is well known; not least because of Alan Turing’s design of the ACE (Automatic Computing Engine) and Donald Davies’ development of packet switching.

NPL has also maintained an interest in theoretical computer science and formal methods over the years. This presentation summarises NPL’s work in this area, including:

• Exploring the use of formal methods in the standardisation of communications protocols;

• A survey undertaken in the 1990s on the take up (or lack thereof) of formal methods within industry;

• Work undertaken with the Department of Computer Science of the University of York as part of the EU-funded Traceability for Computationally Intensive Metrology (TraCIM) project.

NPL continues formal aspects work through joint appointments with universities. The presentation will end with a very brief overview of a project, undertaken with the University of Strathclyde, on physical dimensions and types. This work will be the subject of a presentation from Strathclyde in June.

SPEAKER BIOGRAPHIES

Keith Lines applies experience gained in over 30 years of working with NPL's scientists, administrators and support staff to help ensure that NPL activities in software development continue to meet the requirements of NPL's ISO 9001 and TickITplus certifications.

Formal aspects of computing have been an interest since he was a student at the University of Kent in the mid-1980s. He is a member of the BCS.

Our events are for adults aged 16 years and over.

THIS EVENT IS BROUGHT TO YOU BY:

FACS SG - Formal Aspects of Computing

https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/

Share with friends

Date and Time

Location

Online Event

Save This Event

Event Saved