NEW: Photos

COST Action IC0701

Winter School on Verification of Object-Oriented Programs

Viinistu, Estonia

25-29 January 2009


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 at Viinistu is the first of the two training schools the network will organize 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 school's scientific programme will consist of five short courses:


Viinistu is a 600-year old fishermen's village some 80 kms from Tallinn. Today it is mostly known for its spectacular museum of Estonian art, a private museum created by the businessman Jaan Manitski who was born in the village. The school will take place in the hotel and conference centre adjoining the museum. The social programme of the school will include a visit to this museum and a hike (weather permitting, alt. an excursion) in the neighboring Lahemaa National Park.

Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn airport from Amsterdam, Brussels, Copenhagen, Frankfurt, Gothenburg, Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo Gardermoen, Paris, Prague, Riga, Stockholm Arlanda and Vilnius.


To express your wish to participate and (optionally) to benefit from financial support, please apply by 5 December 2008 by filling out this form. We will notify you by 12 December 2008.

The participation fee (payable only after notification about acceptance to the school and binding registration) is 300 EUR. This covers accommodation in a shared en-suite twin room with full board at Viinistu for 4 nights, transportation from Tallinn to Viinistu and back, a visit to the art museum and a hike (guide and equipment). Upgrade to a single room costs extra and is subject to availability.

To be eligible for financial support (a flat grant of 600 EUR) you have to be an early-stage researcher from one of the 15 signatory countries of the action. These are: Belgium, Denmark, Estonia, France, Germany, Ireland, Israel, Italy, The Netherlands, Norway, Poland, Spain, Sweden, Switzerland, United Kingdom.


The school is organized by Tarmo Uustalu and the Logic and semantics group of the Institute of Cybernetics at Tallinn University of Technology.

Further information

With questions, email cost-ic0701(at)cs.ioc.ee.