International Workshop on Program Understanding

July 2 – 4, 2011, Novosibirsk, Russia

The workshop is a satellite event of  the 8th A.P. Ershov Informatics Conference PSI'11 (June 27 – July 01, 2011, Novosibirsk, Akademgorodok, Russia, psi11). The aim of the workshop is to provide an opportunity for active researchers to establish cooperation, to exchange new ideas, and discuss in-depth current trends and problems related to the following topics:

Workshop topics

• formal and informal program models;
• program specification, transformation, and verification;
• semantics and program analysis;
• programming paradigms;
• system re-engineering and reuse;
• integrated programming environments;
• software architectures;
• software maintenance and testing;
• program understanding and visualization.

(The list is not exhaustive.)

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

• Kenichi Asai, Ochanomizu University, Tokyo, Japan
• Dmitry Bulychev, St Petersburg State University, Russia
• Geoff Hamilton, Dublin City University, Ireland)
• Andrei Klimov, Keldysh Institute of Applied Mathematics, Russia
• Sergei Romanenko, Keldysh Institute of Applied Mathematics, Russia
• Peter Sestoft, IT University of Copenhagen , Denmark
• Nickolay Shilov, A.P. Ershov Institute of Informatics Systems, Russia
• Andrey Terekhov, St Petersburg State University, Russia

Submission

All submissions must be in English, clearly written and in sufficient detail to allow the Program Committee to assess the merits of the work. Electronic submissions by email to pev@iis.nsk.su are welcome. Please use LaTeX2e, style article, and do not exceed 12 pages limit (of A4 size). Submissions should be received by April 22, 2011. The paper should indicate complete authors' addresses (including e-mail addresses), affiliation and contain a short abstract. Authors will be notified about PC decision by May 8, 2011.

Proceedings Publication

Accepted papers will be published in a special volume complementary to the Proceedings of PSI'11 Conference that will be available at the workshop.

Venue

The workshop location is a picturesque tourist camp nearby Novosibirsk.

Important Dates

April 22, 2011 – paper submission by email.
May 8, 2011 – author notification.
May 22, 2011 – final version due date.
June 27 – July 01, 2011 – PSI'11 Conference.
July 2 – 4, 2011 – PU Workshop.

Download CFP (pdf)