Update agenda -- move Andreas to correct alpha position

_posts/2018-03-14-formal-methods-meets-js.md

@@ -20,13 +20,13 @@ Speakers to include:
 * [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 -- JS Symbolic Execution
-* [Erik Kristensen](https://webbies.dk/), Aarhus University -- Testing and Evolving TypeScript Declaration Files with Program Analysis
+* [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
   Increasing Soundness and Precision of Static Analyzers
+* [Andreas Rossberg](https://people.mpi-sws.org/~rossberg/), Dfinity -- WebAssembly
 * [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 -- From JSCert to JSExplain and Beyond
-* [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
   Debugger for ECMAScript