« All Events

  • This event has passed.

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 and discussion sessions will be available virtually.

Details

Start:
May 10
End:
May 14