刘奋荣教授受邀出席“亚洲逻辑学国际会议”(Asian Logic Conference)

我系刘奋荣教授受邀出席2015年1月5-8日在印度孟买举行的“亚洲逻辑学国际会议”(Asian Logic

Conference)。会议设6个special session,

分别是证明论、集合论、模型论、递归论、计算机逻辑和哲学逻辑。会议邀请在以上领域国际知名学者组织session,为大会邀请发言人。刘奋荣教授受邀组织哲学逻辑的session,她邀请了来自中国、印度、日本和台湾地区的四位学者在会上发言,展示目前哲学逻辑研究领域的成果和趋势。在会议期间,他们还商讨了今后在亚洲乃至世界范围内的交流和合作。此外,刘奋荣还在会议期间与美国著名逻辑学家瓦迪(Moshe

Vardi)先生会面,商讨东亚逻辑学暑期学校的计划。

本次会议由韩国的Byunghan Kim教授和印度的R.Ramanujam教授人程序主席,他们邀请刘奋荣教授担任程序委员、评审论文。

Baidu
sogou