diff --git a/_posts/2018-03-14-formal-methods-meets-js.md b/_posts/2018-03-14-formal-methods-meets-js.md
index ab3e69d1d14d2bdcd4bf05e9140f75b3dbaa1690..d5ba44602dea898f2e0e9b19a1f12f588a8a4a66 100644
--- a/_posts/2018-03-14-formal-methods-meets-js.md
+++ b/_posts/2018-03-14-formal-methods-meets-js.md
@@ -9,13 +9,13 @@ This event is hosted prior to the March 2018 TC39 ECMAScript standards committee
 Imperial, and we encourage TC39 members and researchers in the field to attend.
 
 * Date: Monday 19 March 2018 (day before TC39 meeting)
-* Time: 10:00--18:00
+* Time: 10:00--18:00 (Registration, tea & coffee from 9:30)
 * Location: Pippard Lecture Theatre, 5th Floor, Sherfield Building, Imperial College London ([Building 20 on the campus map](https://www.imperial.ac.uk/media/imperial-college/visit/public/SouthKensingtonCampus.pdf))
 * Organisers: [Prof. Philippa Gardner](https://www.doc.ic.ac.uk/~pg/) (Imperial College London), [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/) (Inria, France)
 * Registration: free, open to all interested, [Registration Form](https://goo.gl/forms/DM3UxMiVLfOwL5xO2)
 * Evening drinks/food at The Builder's Arms, 1 Kensington Court Place, W8 5BJ ([map](https://goo.gl/maps/AivqHzGNCyR2))
 
-Speakers to include:
+## Speakers to include
 * [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 -- Holistic Program Specification – Beyond Pre- and Post- Conditions
@@ -29,3 +29,12 @@ Speakers to include:
 * [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- From JSCert to JSExplain and Beyond
 * [Conrad Watt](https://www.cl.cam.ac.uk/~caw77/), Cambridge University -- Formal Model for WebAssembly
 
+## Schedule
+09:30--10:00 --- Tea, Coffee and Pastries
+10:00--11:30 --- First Session
+11:30--12:00 --- Refreshment Break
+12:00--13:00 --- Second Session
+13:00--14:00 --- Lunch
+14:00--15:00 --- Third Session
+15:00--15:30 --- Refreshment Break
+15:30--??:?? --- Fourth Session