Institute of Information Science, Academia Sinica

Events

Print

Press Ctrl+P to print from browser

Netlog, Part 2: Proving Netlog Programs

:::

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