On 5th July 2009, a tragic event happened in Urumqi, the capital of Xinjiang Province, China. As of 9th July, it has been reported that 156 people died, and more than 1000 people injured. I was saddened by the news. So what happened? What are the causes of this tragic? What is still going on? [...]

My joint paper with Wiebe and Mike with title “Verification of Games in the Game Description Language”, has been accepted by the Journal of Logic and Computation. This is my second journal paper. Here is the preview version (final draft). The first version was submitted on 8th August, 2008.