LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 =====