[workshop] Tsinghua Meets the ILLC, UvA Time: 2013 Oct. 18. Venue: Tsinghua University, Beijing. Workshop website: http://tsinghualogic.net/?page_id=629