Category Archives: 活動消息

ICFP 2009 演講全程錄影上網

ICFP 2009 和部份周邊研討會的全程錄影已經上網了。據我所知這是 ICFP 第一次嘗試將演講錄影上網,希望以後也能一直這麼做下去。

Also posted in 計算算計 | Tagged , , , , , | Leave a comment

1st Asian-Pacific Summer School on Formal Methods

今年在北京將舉辦第一屆的「亞太正規方法研習營」。

Posted in 活動消息 | Tagged , | Leave a comment

FLOLAC 2009

第三屆 FLOLAC 將在下週一開始。

Posted in 活動消息 | Tagged , | Leave a comment