record conf/coria/Vaillant15

maintained by Schloss Dagstuhl LZI at University of Trier