10月19日-11月1日，瑞典斯德哥尔摩大学的Dag Westerstahl教授将会在北京师范大学讲授一门短期课程：自然语言的形式语义。这门课程包含七次课堂授课和三次习题课。习题由琚凤魁讲解。这是一门入门性质的课程，不假定学生有任何形式语义方面的知识，也不假定学生有很多逻辑学方面的知识，理解集合和函数的概念，了解一点一阶逻辑就足够了。另外，在课堂上Dag Westerstahl教授会指出一些值得进一步研究的方向。这门短期课程非常非常适合初学者。