diff --git a/tvcs2017/index.html b/tvcs2017/index.html index a3a89df..169b860 100644 --- a/tvcs2017/index.html +++ b/tvcs2017/index.html @@ -67,7 +67,7 @@

Program

- 1:15 pmStart + 1:15 pmArrive 1:30 pmKeynoteKonrad Hinsen The long road from ideas to bits and back: a traveller's guide to verifiable computational research 2:30 pmTalk Dan Liew Fun with Floats: Symbolic execution of floating point programs 2:55 pmBreak