Loading Events

Upcoming Events

Events Search and Views Navigation

Event Views Navigation

May 2021

Verified software: from theory to practice, Workshop at the INI, May 2021

May 10 - May 14

This is one of two upcoming workshops on Verification at the Isaac Newton Institute for Mathematical Sciences , in advance of their scientific programme on Verified Software, which had to be postponed last summer. The Verified software: from theory to practice workshop is intended for researchers working on the specification and verification of software-intensive systems, with a focus on work bridging the gap between theory and applications.  Registration is free. The INI will run this workshop virtually and all talks…

Find out more »

June 2021

Verified software: Tools and Experiments, Workshop at the INI, June 2021

June 7 - June 11

This is one of two upcoming workshops on Verification at the Isaac Newton Institute for Mathematical Sciences , in advance of their scientific programme on Verified Software, which had to be postponed last summer. The Verified software: Tools and Experiments workshop is intended for researchers working on the specification and verification of software-intensive systems, with a focus on defining integrated tool resources for automated formal methods with standardized interfaces.  It will include a special event marking the 60th anniversary of Tony Hoare's invention of…

Find out more »
+ Export Events