Our group has moved to the Hamilton Institute and the Department of Computer Science at Maynooth University. We bid a sad farewell to Inria, a wonderful place to do science, and look forward to building our new group and lab in Ireland.