4 ms·

The presentation hasn't happened yet. It will take place at ETAPS 2015: 11-18 April 2015, London, UK