Today, I gave my first lecture for Course CSCI 383 with some general introduction. Here is an overview: A bit History of Programming Languages What is Object-Oriented Programming (OOP) Why is OOP? Popularity of OOP Language and Computation Here is the slide file created using google doc presentation: Thinking Object-Oriented (1) 2009/09/14 I am glad [...]

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 [...]

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 [...]