1月5号到1月10号王彦晶参加了在印度新德里举办的第三届"逻辑及其应用"国际会议（ICLA'11）并做了两次学术报告：Reasoning about protocol change and knowledge 以及 Counting models modulo bisimulation