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