[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

First Call For Papers

International Workshop on Program Understanding

19-22 June, Altai Mountains (not far from Novosibirsk), Russia,

A satellite event of  the Andrei Ershov Seventh International Conference 
Perspectives of System Informatics (PSI-09, 15 - 19 June, 2009, Novosibirsk, 
Akademgorodok, Russia, http://psi.nsc.ru/psi09/index.shtml )

Aims and Scope
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 PU03 and PU06 were very successful 
regarding the level of both scientific and social programme.

Workshop Topics
- Informal and formal program models (including schematology);
- 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.

Invited Speaker(s) and Special Sessions
Program Committee is going to invite a number of Plenary Speakers and 
organise topic-oriented Special Sessions. Confirmed Invited Speaker(s):
- Kwangkeun Yi (School of Computer Science and Engineering, Seoul National 
University, http://ropas.snu.ac.kr/~kwang/). Title TBA.

- Mikhail Bulyonkov, A.P.Ershov Institute of Informatics Systems, 
Novosibirsk, Russia (m...@iis.nsk.su)
- Robert Gl?ck, DIKU, Dept. of Computer Science, University of Copenhagen, 
Denmark (glu...@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

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 is about 450 km far from Novosibirsk. 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. Please 
visit http://www.adaru.ru/alb/thumbnails.php?album=11 for more details.

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: p...@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 
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 

Proceedings Publication
Accepted papers will be published as a special issue of Bulletin of the 
Novosibirsk Computing Center (with ISSN) and will be distributed at the 
workshop. A post-workshop publication of the proceedings (as a volume of 
Electronic Notes in Theoretical Computer Science or CEUR Workshop
Proceedings) is subject to quality of accepted papers and will be decided at 
the workshop.

Important Dates
- April 10, 2009: submission deadline of papers
- May 15, 2009: notification of acceptance (by e-mail)
- May 22, 2009: final papers due (camera-ready, LaTeX)
- June 15 √ 19, 2009: International Andrei Ershov Conference PSI-09
- June 19, 2009: arrival date
- June 20-22, 2009: the workshop dates
- June 23, 2009: departure date 

Reply via email to