Pre-GDB:

The Benchmarking pre-GDB has been rescheduled, because some participants are not available in April, or have desired more time for preparing their talks.

NEW SCHEDULE: Tuesday 12 Jun 2018, probably starting at noon. Please, safe the date!