refereed conference proceedings