时间地点：一教302，5月4日下午1：30-4：30

演讲人：新西兰奥克兰大学哲学系 Jeremy Seligman 教授（参见附件）
 
演讲题目：Facebook  logic
 
Abstract: Communities consist of individuals bounds together by social relationships and roles. Within communities, individuals reason about each other's beliefs, knowledge and preferences.  Knowledge, belief,  preferences and even the social relationships are constantly changing, and yet our ability to keep track of these changes is an important part of what  it means to belong to a community.  As a simple example of a community, I will talk about the online social networking website, Facebook, and some preliminary work on modelling its logical structure (joint work with Liu Fenrong, Tsinghua).  For those who attended my recent presentation at the National Logic Conference last week: this talk will explain more of the technical details.