COST Action IC0701

2nd Action Training School

Limerick, 19-21 June 2011


The action IC0701 of COST (2008-2012) is a European network of researchers working on extending the reach and power of methods and tools for verification of object-oriented software.

The school in Limerick is the second of the two training schools the network organizes as part of its activities.

The school is targeted at early-stage researchers. Individuals associated to the network are eligible for support from the project funds, but the school is open to anyone.


The Training school consists of Tutorials (on Sunday and Tuesday) and regular research talks shared with the WG meeting.The following is a list of the tutorials that will be given (ca. 2 hours each). 


More information on practical matters is available at the IC0701 WG meeting page.


The deadline for applying for financial support from the Action has passed, but it is still possible to attend the school on own funding. Please contact the organizers if you wish to do so.

Organizers and Contact

The school is organized by Rosemary Monahan, Bernhard Beckert, and Vladimir Klebanov.

With questions email