Winter School on Verification of Object-Oriented Programs
25-29 January 2009
Background
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.
Courses
The school's scientific programme will consist of five short courses:
Venue
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.
Application
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.
Organizers
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.