1.
Apply for the COST Winter School now (Action IC0701)
Application for the COST Winter School on Verification of Object-Oriented Programs in Viinistu, Estonia, 25-29 January 2009 is now open. ...
2.
Home (Action IC0701)
This is the public website of the ESF COST Action IC0701 on "Formal Verification of ... Registration open 2nd MC and WG Meeting, Madrid, December 1-3, 2008. ...
3.
Financial Report and MC Meeting minutes available (Action IC0701)
Aug 4, 2008 ... The draft 1st MC Meeting minutes and the Financial Report for the 1st reporting period (April-June 2008) are available now. ...
4.
New MC Members (Action IC0701)
This is the public website of the ESF COST Action IC0701 on "Formal Verification of Object-Oriented Software".
5.
Action Meetings (Action IC0701)
This is the public website of the ESF COST Action IC0701 on "Formal Verification of Object-Oriented Software".
6.
Kick-off Meeting, Brussels, March 11, 2008 (Action IC0701)
This is the public website of the ESF COST Action IC0701 on "Formal Verification of Object-Oriented Software".
7.
Action Poster (Action IC0701)
Action Poster. posted Nov 29, 2008 3:57 AM by Bernhard Beckert [ updated Nov 29, 2008 4:50 AM ]. We now have a poster for our Action. ...
8.
Home (Action IC0701)
The Action aims to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale. ...
9.
Home (Action IC0701)
COST Action IC0701. Formal Verification of Object-Oriented Software ... COST Winter School on Verification of Object-Oriented Programs in Viinistu, Estonia, ...
10.
Home (Action IC0701)
COST Action IC0701. Formal Verification of Object-Oriented Software ... Verification of Object-Oriented Programs Viinistu, Estonia 25-29 January 2009 ...
