Action IC0701

85 days until
2nd WG/MC 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.

News

  • New member: Switzerland Viktor Kuncak from EPF Lausanne and Peter Müller from ETH Zürich have now been officially nominated as representatives of Switzerland for the Management Committee.
    Posted 8/18/2008 7:45AM by Vladimir Klebanov
  • Financial Report and MC Meeting minutes available The draft 1st MC Meeting minutes and the Financial Report for the 1st reporting period (April-June 2008) are available now. MC members can access the documents in the Documents ...
    Posted 8/13/2008 7:04AM by Vladimir Klebanov
  • MC meeting / 1st WG meeting June 2nd-4th in Gothenburg, Sweden.  Please visit the meeting site.
    Posted 5/20/2008 10:30AM by Vladimir Klebanov
  • Kick-off meeting IC0701 kick-off meeting on 11.3.08 in Brussels.
    Posted 5/20/2008 10:31AM by Vladimir Klebanov
  • Showing posts 1 - 4 of 4. View more »


                                                                             


Quick Facts and Links

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

  Sign in   Home   Sitemap   Terms   Report Abuse   Print  |  Powered by Google Sites