Aims and Scope

The workshop is a satellite event of the Andrei Ershov Seventh International Conference "Perspectives of System Informatics". The aim of the workshop is to provide an opportunity for active researchers in the field of system programming to exchange new ideas and establish cooperation. Two previous workshops - PU´03 and PU´06 - were very successful regarding the level of both scientific and social programme.

Workshop Topics

• formal and informal program models;
• program specification, transformation and verification;
• semantics, analysis, and manipulation of programs;
• programming paradigms;
• program and system construction for parallel and distributed computing;
• system re-engineering and reuse;
• integrated programming environments;
• software architectures;
• software maintenance and testing;
• program understanding and visualization;
• knowledge-based systems and knowledge engineering; data models;
• advanced data management in distributed environments;
• educational programming languages;
• teaching programming.

Co-chairs

Mikhail Bulyonkov, A.P.Ershov Institute of Informatics Systems, Novosibirsk, Russia (mike@iis.nsk.su)
Robert Glück, DIKU, Dept. of Computer Science, University of Copenhagen, Denmark (glueck@acm.org).

Programme Committee

1. Kazuhiko Kakehi, Tokyo University, Japan
2. Andrei Klimov, Keldysh Institute of Applied Mathematics, Russia
3. Vsevolod Kotlyarov, Motorola, St. Petersburg, Russia
4. David Levin, Ledas Ltd., Novosibirsk, Russia
5. Viktor Malyshkin, Institute of Computational Mathematics and Mathematical Geophysics, Novosibirsk, Russia
6. Mikhail Matskin, Royal Institute of Technology, Stockholm, Sweden
7. Merik Meriste, University of Tartu, Estonia
8. Eric Monfroy, University of Nantes, France
9. Nikolaj Nikitchenko, Kiev National University, Ukraine
10. Peter Sestoft, Royal Veterinary and Agricultural University, Denmark
11. Nickolay Shilov, A.P.Ershov Institute of Informatics Systems, Russia
12. Andrey Terekhov, St. Petersburg State University, Russia
13. Vladimir Zadorozhny, University of Pittsburgh, USA

Venue

The workshop location is an isolated picturesque tourist camp "Adaru" situated in the Altai Mountains, on the left bank of the Katun river, 8km from the Aja lake. It´s about 450 km far from Novosibirsk.

Accommodation

The camp site includes 3 two-storied wooden cottages and 10 comfortable wooden cabins that can accommodate about 80 guests. Each cabin has two suits that can be used either as 2-person family suites or as two separate single rooms.

Facilities

• hot water and shower in every suit;
• sauna;
• dining-hall with a bar;
• conference hall;
• misc. research facilities.

Social programme

All forms of activity are possible there: horseback riding, fishing, rafting, hiking. Table tennis, pool table and mountain bikes are also available.

Submission

All submissions must be in English, clearly written and in sufficient detail to allow the Programme Committee to assess the merits of the work. Electronic submissions are encouraged. They should be received in Novosibirsk by April 10, 2009. A PostScript file of a paper (up to 15 pages) should be e-mailed to the following address: pu06@iis.nsk.su. Please use LaTeX2e or LaTeX. When preparing your submission please follow instructions for authors of papers to be published at Springer Lecture Notes in Computer Science series, which are available at www.springer.de/comp/lncs/authors.html.

The paper should indicate complete authors' addresses (including e-mail addresses and fax numbers if any), affiliation and a clear statement of the kind of the submission (regular or short talk). Papers arriving late or exceeding size limits may be rejected immediately without refereeing. The receipt of all submitted papers will be acknowledged by e-mail within 2 days.

Authors will be notified of acceptance by May 15, 2009.

Proceedings

A book of the locally published workshop proceedings will be distributed at the workshop.