7月11日，應計算機科學國家重點實驗室邀請，國立臺灣大學王凡教授到軟件所進行訪問，并作題為Model-Checking Iterated Games的學術報告。

在報告中，王凡教授介紹了其研究組在迭代博弈論方向的最新工作。迭代博弈論研究經濟學、系統協議等領域中的博弈策略設計和分析。王凡教授提出一個新的用于分析迭代博弈策略的時態邏輯TCL，并研究了其表達能力與相關的分析問題（如模型檢驗）的計算復雜度。與前人所提出的同類邏輯相比，TCL在表達能力與分析算法的復雜度之間取得很好的權衡。其與同類邏輯相比既有較豐富的表達能力，如可表達多主體博弈中的協作行為，又能使相關分析問題具有初等（elementary）的復雜度。王教授的研究組已實現了TCL的模型檢驗工具，并就一些基準案例進行分析實踐。王教授的生動報告激起了與會人員的濃厚興趣。

王凡教授現任國立臺灣大學電機系教授，致力于復雜軟件測試、博弈與概率系統驗證等方面的研究，他于1993年在美國德州大學奧斯汀分校取得博士學位。現為ATVA（Automated Technology for Verification and Analysis）國際會議的指導委員會委員。

王凡教授作報告