[conference] Logic Across the University, Foundations and Applications

Time: 2013 Oct. 14-16.
Venue: Rm 327, Main Building, Tsinghua University, Beijing.

Conference website: http://tsinghualogic.net/events/2013/lau/