From fe6194fae24653086461842f9b6ef7808c87fa7b Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 12 Mar 2020 14:49:02 +0000 Subject: [PATCH] Add new file --- _posts/2019-11-11- ini_workshop.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 _posts/2019-11-11- ini_workshop.md diff --git a/_posts/2019-11-11- ini_workshop.md b/_posts/2019-11-11- ini_workshop.md new file mode 100644 index 0000000..1d61266 --- /dev/null +++ b/_posts/2019-11-11- ini_workshop.md @@ -0,0 +1,22 @@ +--- +title: Six week program Verified Software at the Isaac Newton Institute, Cambridge +--- + +Philippa Gardner is one of the organisers of the [six week programme Verified +Software at the Isaac Newton Institute]( https://www.newton.ac.uk/event/vso +), Cambridge. + +The Verified Software programme includes two workshops, one on +the [Theory and Applications of Verified Software, From Theory to Practice](https://www.newton.ac.uk/event/vsow01) +and a second one on [Verification Tools and Experiments]( https://www.newton.ac.uk/event/vsow02). +These will be supplemented with smaller workshops and working groups devoted to specialized topics and industrial applications. + +The aim of the programme is to bring together a diverse mix of +researchers to take stock of the first fifteen years of [Tony Hoare’s Verified +Software Challenge](https://www.researchgate.net/publication/221160548_Verified_Software_Theories_Tools_Experiments_Vision_of_a_Grand_Challenge_Project) +and formulate a concrete roadmap for international cooperation for the next fifteen years. + +Participation is by invitation only, but members of Cambridge University +are welcome to sign in as a non-registered attendee on the day(s) and attend +the lecture(s) and there are also [options to participate remotely}(https://www.newton.ac.uk/events/how-to-participate), +as most of the seminars at INI are streamed live and are made available for download as a webseminar shortly after the event. \ No newline at end of file -- GitLab