[workshop] Current Trends in Logic Time: 2014 Jul. 02. Venue: Rm 327 Main Building, Tsinghua University, Beijing.