[Iris-Club] Best Paper Award at ECOOP'17

[Jan-Oliver Kaiser]

On 06/25/2017 02:26 PM, Derek Dreyer wrote:
> And of course many thanks go to all the core developers of
> Iris (esp. Ralf, Robbert, and Jacques-Henri) for building such a great
> tool.

I would like to expand on that: None of this would have been possible 
without Iris, the Iris proof mode, and countless hours of Iris tech 
support and discussions with the Iris team. There should be a "best 
research accelerator" award and it should go to Iris and the Iris team.

Thank you!
Janno