From 1d9fe0e3700d30a4eb384a0f4b2165fe81a6a857 Mon Sep 17 00:00:00 2001
From: pmaksimo <p.maksimovic@imperial.ac.uk>
Date: Fri, 16 Mar 2018 15:57:11 +0000
Subject: [PATCH] Update 2018-03-14-formal-methods-meets-js.md

---
 _posts/2018-03-14-formal-methods-meets-js.md | 39 ++++++++++++--------
 1 file changed, 23 insertions(+), 16 deletions(-)

diff --git a/_posts/2018-03-14-formal-methods-meets-js.md b/_posts/2018-03-14-formal-methods-meets-js.md
index 96d35ba..9f2eed1 100644
--- a/_posts/2018-03-14-formal-methods-meets-js.md
+++ b/_posts/2018-03-14-formal-methods-meets-js.md
@@ -9,27 +9,12 @@ 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
-* Time: 10:00--18:00 (Registration, tea & coffee from 9:30)
+* 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
-* [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
-* [Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris -- Crypto Protocols in JS & Generating WebAssembly from F*
-* [Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London -- Holistic Program Specification – Beyond Pre- and Post- Conditions
-* [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes -- From JSCert to JSExplain and Beyond
-* [José Fragoso Santos](https://www.doc.ic.ac.uk/~jfaustin/) & [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London -- JS Program Verification
-* [Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University -- Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
-* [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 & Symbolic Software -- Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
-* [Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California -- Safe Types in Untyped Contexts
-* [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
-
-
 ## Schedule
 * 09:30--10:00 --- Tea, Coffee and Pastries
 * 10:00--11:30 --- First Session
@@ -39,3 +24,25 @@ Imperial, and we encourage TC39 members and researchers in the field to attend.
 * 14:00--16:00 --- Third Session
 * 16:00--16:30 --- Refreshment Break
 * 16:30--18:00 --- Fourth Session
+
+## Speakers
+
+### First Session (10:00-11:30)
+* [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
+* [Karthik Bhargavan](http://prosecco.gforge.inria.fr/personal/karthik/), Inria Paris: Crypto Protocols in JS & Generating WebAssembly from F*
+
+### Second Session (12:00-13:00)
+* [Sophia Drossopoulou](https://wp.doc.ic.ac.uk/sd/), Imperial College London: Holistic Program Specification – Beyond Pre- and Post- Conditions
+* [Nadim Kobeissi](https://nadim.computer/), Inria Paris & Symbolic Software: Bringing Formal Verification to the Real Web: Three Years of Interconnected Work
+
+### Third Session (14:00-16:00)
+* [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), Inria Rennes: From JSCert to JSExplain and Beyond
+* [Petar Maksimović](https://sites.google.com/site/petarmaksimovic1981/), Imperial College London: Logic-based Verification of JavaScript Programs
+* [Anders Møller](https://cs.au.dk/~amoeller/), Aarhus University: Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
+* [Johannes Kinder](http://www.cs.rhul.ac.uk/home/kinder/), Royal Holloway, University of London: Practical Dynamic Symbolic Execution of Standalone JavaScript
+
+### Fourth Session (16:30-18:00)
+* [Avik Chaudhuri](https://avikchaudhuri.github.io/), Facebook California: Safe Types in Untyped Contexts
+* [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
-- 
GitLab