Title: Model Checking Knowledge Dynamics of Multi-Agent Systems

Time: 3PM, 29 May 2009
Location: Seminar room in the Centre for Logic and Information at StFX.
Talk Slides: available upon request.

Abstract:
In this talk, I will first briefly introduce Model Checking and Multi-Agent Systems (MAS), then focus on two frameworks on modelling knowledge dynamics of MAS. The first is [...]

I plan to give four talks about my research, in the Center for Logic and Information. The first two will be kept more introductory, and the remaining two will be more advanced. Here is my first talk given on last Friday.
Solving Sum-and-Product Riddle Using Public Announcement Logic

Time: 2:30PM, 22 May 2009
Location: Seminar room in the [...]

A sudden warm day, originally uploaded by jiruan.

We got 26 degrees today in Antigonish.
It is strange that we suddenly have such a warm day. But it is nicely warm and I like it.
I was waring a sweater when I go to my office in the morning. Now I have through it away.

Available now online:
PhD Thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems

As a former student of the ILLC, I am very happy to see that the ILLC has launched a blog-based webportal for the research community of logic and rational interactions, called loriweb.org. Here is a snapshot:

The ILLC has finally made an attempt going from web1.0 to web2.0, which means more dynamics and interactions!
However, I noticed [...]

The USA White House launched its strategy to reform the government in the Web 2.0 age. In this post:
http://www.whitehouse.gov/blog/09/05/01/WhiteHouse/, it gives the information channels through which white house is reaching its citizens. These channels include:

Whitehouse.gov
Facebook.com/WhiteHouse
MySpace.com/WhiteHouse
Twitter.com/WhiteHouse
Flickr.com/WhiteHouse
Vimeo.com/WhiteHouse
YouTube.com/WhiteHouse
iTunes (videos & podcasts)

I would say this government is leading toward the right way. Well, my government, the Chinese government, is still [...]