傑出學者系列講座: Coq, a Proof Assistant Based On Type Theory 30 9 月, 2009 30 9 月, 2009 / Leave a Comment / 活動消息 / Coq, Jean-Pierre Jouannaud, 型別 中研院資科所傑出學者系列講座:Coq, a Proof Assistant Based On Type Theory.
1st Asian-Pacific Summer School on Formal Methods 25 6 月, 2009 30 9 月, 2009 / Leave a Comment / 活動消息 / Coq, Jean-Pierre Jouannaud 今年在北京將舉辦第一屆的「亞太正規方法研習營」。