diff --git a/_posts/2018-03-14-formal-methods-meets-js.md b/_posts/2018-03-14-formal-methods-meets-js.md
index defe341d58f43689f6a816f64663ac9d8ec9b4c7..b4a8e2d5ef18540d5a2128c22afe829fab4888b0 100644
--- a/_posts/2018-03-14-formal-methods-meets-js.md
+++ b/_posts/2018-03-14-formal-methods-meets-js.md
@@ -16,16 +16,18 @@ Imperial, and we encourage TC39 members and researchers in the field to attend.
 * Evening drinks/food at The Builder's Arms, 1 Kensington Court Place, W8 5BJ ([map](https://goo.gl/maps/AivqHzGNCyR2))
 
 Speakers to include:
-* [Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- JS Program Analysis
-* [Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- JS Symbolic Execution
-* [Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
 * [Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
+* [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
+* [Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London -- JS Symbolic Execution
+* [Erik 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
+  Increasing Soundness and Precision of Static Analyzers
 * [José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
+* [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- JSExplain: A Double
 * [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
-* [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- JSExplain: A Double
   Debugger for ECMAScript
-* [Mark S. Miller](https://research.google.com/pubs/author35958.html), Google
-* [Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London