Action IC0701
 
Search all sites

99days since
4th MC and WG Meeting

COST Action IC0701

Formal Verification of Object-Oriented Software

What is COST Action IC0701?

COST Action IC0701 is a European scientific cooperation. The Action aims to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale. More.

  • The example repository has been made world-readable. Also, anyone with an Action account can upload problems.
    Posted Jul 27, 2009 6:27 AM by Vladimir Klebanov
  • New summary of STSM procedures is in the internal area of the website. This should clarify the process for the visitors.
    Posted Jul 27, 2009 6:26 AM by Vladimir Klebanov
  • Registration open (and changed dates) Preliminary registration is now open for the 3rd MC and WG Meeting, Lisbon, June 11-13, 2009 (new dates!). Deadline for expressing the wish for reimbursement is April 14th.
    Posted Apr 2, 2009 8:05 AM by Vladimir Klebanov
  • Action Poster We now have a poster for our Action. You can find it under "Downloads".
    Posted Nov 29, 2008 4:50 AM by Bernhard Beckert
  • Apply for the COST Winter School now Application for the COST Winter School on Verification of Object-Oriented Programs in Viinistu, Estonia, 25-29 January 2009 is now open. Application deadline is December 5th.
    Posted Nov 17, 2008 3:54 AM by Vladimir Klebanov
Showing posts 1 - 5 of 11. View more »

Quick Facts and Links

Current Status

  • We have reports that participants have received reimbursement for the Eindhoven meeting
  • The example repository has been made world-readable. Also, anyone with an Action account can upload problems.
  • There is a new summary of STSM procedures on the internal area of the website.