Changes between Version 12 and Version 13 of GeneralMeeting


Ignore:
Timestamp:
12/02/09 16:59:48 (14 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GeneralMeeting

    v12 v13  
    77 
    88|| Date || Title || Speaker || File || 
     9|| 2009/12/02 || Survey: Certified Assembly Programming || ywtnb || [[attachment:20091202.pptx pptx(jp)]] || 
     10|| 2009/09/16 || Survey: Ynot (Effective Interactive Proofs for Higher-Order Imperative Programs) || ywtnb || [[attachment:20090916.pptx pptx(jp)]] || 
    911|| 2009/06/24 || Design and Implementation of ARM VMM by Full Virtualization || zbkt || [[attachment:zmeeting090624.ppt PPT(Japanese)]] || 
    1012|| 2009/06/17 || Report: CCGrid 2009 || dunnan || [[attachment:090617.Zentai.CCGrid09.pptx PPTX(English)]] ||