lunch

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

@@ -26,7 +26,7 @@ Imperial, and we encourage TC39 members and researchers in the field to attend.
   * [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
-* 13:00--14:00 --- Lunch
+* 13:00--14:00 --- Lunch in Huxley Building Room 218, ask an attendee from Imperial to show the way.
 * 14:00--15:30 --- Third Session
   * [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