DIR miniconf-2018
   DIR summit-autumn-2015