On Tue, Sep 5, 2017 at 8:05 AM, Henrik Nilsson <Henrik.Nilsson@nottingham.ac.uk> wrote:
Hi,

On 09/05/2017 12:54 PM, Mario Blazevic wrote:
In that case I suggest we meet during the coffee break and decide when
we really meet.

OK. Should we try to find each other at 16:10, then?
Outside L1, the ICFP lecture theatre?

I'll be there.