Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:importance_of_verification [2010/02/22 13:24] vkuncak |
sav08:importance_of_verification [2010/02/22 13:25] vkuncak |
||
---|---|---|---|
Line 70: | Line 70: | ||
A lot of work remains. | A lot of work remains. | ||
+ | |||
===== Ongoing Initiatives ===== | ===== Ongoing Initiatives ===== | ||
Line 78: | Line 79: | ||
* [[http://tresor.epfl.ch/dokuwiki/seminars|Tresor seminars]] | * [[http://tresor.epfl.ch/dokuwiki/seminars|Tresor seminars]] | ||
* upcoming projects | * upcoming projects | ||
+ | |||
+ | * COST Action on Verification of Object-Oriented Software: http://www.cost-ic0701.org/ | ||
+ | * http://richmodels.epfl.ch | ||
===== Impact on Computer Science ===== | ===== Impact on Computer Science ===== |