發送短信: Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008