8月30日，巴黎第七大學、法國國家科學中心Pierre-Louis Curien教授應計算機科學國家重點實驗室的邀請到軟件所進行學術交流，并作了題為Mu and mu tilde:two useful combinators的學術報告。報告會由林惠民研究員主持。 

矢列式演算(sequent calculus)是著名的構造邏輯推演系統之一。報告中，Curien教授闡述了針對經典邏輯的sequent calculus的相關擴展。他向大家介紹了其近期對于經典邏輯sequent calculus中項語法結構的研究，并發現類似的語法結構能夠對現代代數理論中不同類型的代數和余代數中共同的幾何結構給出更加簡潔的描述。報告結束后，與會人員就相關問題與Curien教授進行了廣泛而深入的討論。 

Curien教授現任法國國家科學研究院主任研究員，是巴黎第七大學PPS實驗室的創始人,在程序語義尤其是順序程序的指稱語義、lambda演算、線性邏輯等方面做出了重要貢獻。 

Curien教授的此次訪問受到了國家自然科學基金委－法國國家科研署合作與交流項目《基于邏輯的新型計算模型》支持。

Pierre-Louis Curien教授作報告