Action IC0701
 
Search all sites

110days until
5th Meeting / FoVeOOS Conference

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.

  • New contact details for Action Chair and Action Secretary (see the Contact page). 
    Posted Feb 23, 2010 5:26 AM by Vladimir Klebanov
  • 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
Showing posts 1 - 5 of 12. View more »

FoVeOOS 2010

COST IC0701 presents:

June 28-30
Paris, France

Abstract submission: April 26

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.