From 76d8aaa6679b4270355ef58a47fb25ab90c01dd8 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Fri, 16 Mar 2018 14:42:57 +0000
Subject: [PATCH] update nadim's affils

---
 _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 b999685..b2bce54 100644
--- a/_posts/2018-03-14-formal-methods-meets-js.md
+++ b/_posts/2018-03-14-formal-methods-meets-js.md
@@ -20,7 +20,7 @@ Imperial, and we encourage TC39 members and researchers in the field to attend.
 * [Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
 * [Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London -- Holistic Program Specification – Beyond Pre- and Post- Conditions
 * [Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- Practical Dynamic Symbolic Execution of Standalone JavaScript
-* [Nadim Kobeissi](https://nadim.computer/), Inria Paris -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
+* [Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
 * [Erik Krogh Kristensen](https://webbies.dk/), Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis
 * [Mark S. Miller](https://research.google.com/pubs/author35958.html), Google
 * [Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- Systematic Approaches for
-- 
GitLab