pub-list: add ATVA'13 details