From 37a60d72c1c688d765557275aa2c70f2a9384be2 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 22 Mar 2018 10:54:32 +0000 Subject: [PATCH] Update 2018-03-14-formal-methods-meets-js.md --- _posts/2018-03-14-formal-methods-meets-js.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2018-03-14-formal-methods-meets-js.md b/_posts/2018-03-14-formal-methods-meets-js.md index 54d3d63..00dc387 100644 --- a/_posts/2018-03-14-formal-methods-meets-js.md +++ b/_posts/2018-03-14-formal-methods-meets-js.md @@ -15,7 +15,7 @@ You can find a list of the speakers and the slides for their talks below * [Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F* * [Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work * [Andreas Rossberg](https://people.mpi-sws.org/~rossberg/), Dfinity -- WebAssembly - * [Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly + * [Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Adventures in Mechanising and Verifying WebAssembly * [Mark S. Miller](https://research.google.com/pubs/author35958.html), Google -- Verify what? Navigating the Attack Surface * [Erik Krogh Kristensen](https://webbies.dk/), Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis * [Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London -- Holistic Program Specification – Beyond Pre- and Post- Conditions -- GitLab