Difference between revisions of "News"
From vecolib
Line 1: | Line 1: | ||
+ | * The VECOLIB website has been restored, after previous shutdown due to piracy attempts. | ||
* Prof. [http://www.comp.nus.edu.sg/~chinwn/ Chin Wei Ngan] (National University of Singapore) will give an introductory course in [[Automatic Program Verification using Separation Logic]] on December 12, 16 and 18 at [http://www-verimag.imag.fr VERIMAG]. | * Prof. [http://www.comp.nus.edu.sg/~chinwn/ Chin Wei Ngan] (National University of Singapore) will give an introductory course in [[Automatic Program Verification using Separation Logic]] on December 12, 16 and 18 at [http://www-verimag.imag.fr VERIMAG]. |
Revision as of 16:40, 6 January 2015
- The VECOLIB website has been restored, after previous shutdown due to piracy attempts.
- Prof. Chin Wei Ngan (National University of Singapore) will give an introductory course in Automatic Program Verification using Separation Logic on December 12, 16 and 18 at VERIMAG.