Action IC0701
 
Search Site

25days since
3rd 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.

  • 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
  • New MC Members Marieke Huisman (U Twente, NL) and Matthew Parkinson (U Cambridge, UK) have joined the Management Committee.
    Posted Oct 16, 2008 4:50 AM by Vladimir Klebanov
  • Registration open 2nd MC and WG Meeting, Madrid, December 1-3, 2008. Deadline for expressing the wish for reimbursement is October 10th.
    Posted Sep 25, 2008 5:01 PM by Vladimir Klebanov
Showing posts 1 - 5 of 9. View more »


                                                                             


Quick Facts and Links

  • Action start date: 11 March, 2008
  • Action end date: 10 March, 2012
  • Participating countries: 16