[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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.