您的瀏覽器不支援JavaScript語法,網站的部份功能在JavaScript沒有啟用的狀態下無法正常使用。

Institute of Information Science, Academia Sinica

Events

Print

Press Ctrl+P to print from browser

Seminar

:::

Netlog, Part 2: Proving Netlog Programs

  • LecturerDr. Jean-Francois Monin (LIAMA/Formes)
    Host: Dr. Tyng-Ruey Chuang
  • Time2010-12-21 (Tue.) 15:00 ~ 16:00
  • LocationAuditorium 107 at new IIS Building