Proceedings, refereed papers