This message is copied from here. In the bottom of the same page, you could sign the petition to release Hu Jia. I’ve signed it. Ji Background Hu Jia is a human rights activist who has been concerned with social affairs, AIDS, environmental issues and defence of the weakest groups in society.

Today, I introduced a new comment system to my website. You can now: Leave comments without refleshing the whole page. This means fast speed. Reply to other people’s comment. You will get an email notification if somebody replied your message. Isn’t it nice? Please note: do provide a valid email address, so that other people’s [...]

Summary: This dialogue was made in Beijing, August 2007. Johan reflected the developement of his own career to shed some lights on young Chinese logicians. He also reviewed the historical development of modal logic and the new trends. If you are thinking about the value of logics, either theoretical or practical, you could also find [...]

In scientific publications, it is usually a good idea to have figures to illustrate how the theory works intuitively. But drawing a figure in Latex could be very time consuming. Here I introduce an easy way to draw figures in Latex. It was first discovered by my supervisor Wiebe. Follow these steps: Make sure that [...]

Ji:I was doing my homework, and then I found a wikipedia entry about List of important publications in Computer Science. I think it is always good to see that how a successful topic was created and breakthrough was made. Apparently, not so many people can achieve even one, but it would be a pity that [...]