Difference between revisions of "News"

Revision as of 08:59, 12 December 2014

Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the abstract here and visit the course webpage below:
- Tutorial 1 : Automated Verification

Revision as of 08:58, 12 December 2014 (view source) Iosif (Talk \| contribs) ← Older edit		Revision as of 08:59, 12 December 2014 (view source) Iosif (Talk \| contribs) Newer edit →
Line 1:		Line 1:
−	* Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the ~~announcement~~ [[~~APVSL~~ here]] and visit the course webpage below:	+	* Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the abstract [[here]] and visit the course webpage below:
	** [http://loris-7.ddns.comp.nus.edu.sg/~project/Tut1/index.html Tutorial 1 : Automated Verification]		** [http://loris-7.ddns.comp.nus.edu.sg/~project/Tut1/index.html Tutorial 1 : Automated Verification]