[TYPES/announce] Winter School on Verification of OO Programs, Estonia, 25-29 Jan 2009

[Tarmo Uustalu]

[Lecturers: Johnsen, Haack, Hähnle, Marché, Poetzsch-Heffter.
Application deadline: *** 5 Dec. 2008 ***.]


                      Call of Participation

                       COST Action  IC0701
     Winter School on Verification of Object-Oriented Programs

              Viinistu, Estonia, 25-29 January 2009

                 http://viinistu.cost-ic0701.org/

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:

    * Einar Broch Johnsen, University of Oslo:
      An abstract behavioral model of distributed concurrent objects

    * Christian Haack, Radboud Universiteit Nijmegen:
      Specification and verification of heap access policies

    * Reiner Hähnle, Chalmers University of Technology 
	and Gothenburg University:
      Formal analysis of Java programs with KeY

    * Claude Marché, INRIA Saclay - Île-de-France:
      Deductive verification of pointer programs: 
	the Why/Krakatoa approach

    * Arnd Poetzsch-Heffter, Universität Kaiserslautern:
      Modular verification of object-oriented programs

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, Paris, Prague, Riga, Stockholm
Arlanda, Vienna and Vilnius.  


Application

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

http://viinistu.cost-ic0701.org/Application

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 project support (a flat grant of 600 EUR to
contribute toward your travel and subsistence cost) 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, 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.