2-4 July, Altai Mountains, Russia

First call for papers

Aims and Scope

The workshop is a satellite event of the Andrei Ershov Sixth 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.

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

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

Venue

The workshop location is an isolated picturesque scientific and tourist camp "Denisova Peshchera" (Denis Cave) situated in the Altai Mountains, on the upper Anui river, about 360 km from Barnaul and 500 km from Novosibirsk.

Accommodation

The camp site includes 10 comfortable wooden cabins that can accommodate 40 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.

Sightseeing

The Denisova Cave was named after an hermit, Saint Denis, who lived in this cave during the second half of the 18th century. The locals call it Aju-Tasch which means bear rock.

The shape of the cave resembles a chimney; archaeologically, it is the most important cave of Altai, home to prehistoric people who lived in the region thousands of years ago. Over 20 cultural layers have already been excavated, the earliest dating back as far as 300.000 years. Starting from 1990 the cave serves as kind of a testing ground for archaeologists. Various techniques used by the prehistoric people, such as bone tool making, hide curing, cooking, have been scrutinized and reproduced in detail; the site contains reconstructed replicas of prehistoric homes, fireplaces, traps, etc. A guided tour introducing the participants to the history of the cave and the techniques used by the archaeologists is available, along with tours to a number of other archaeologically and paleonthologically interesting objects in splendid locations around the site.

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 28, 2006. 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 12, 2006.

Proceedings

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

Important Dates

April 28, 2006: submission deadline of papers.
May 12, 2006: notification of acceptance (by e-mail).
May 26, 2006: final papers due (camera-ready, LaTeX).
July 1, 2006: arrival date.
July 2-4, 2006: the workshop dates.
July 5, 2006: departure date.