Aims and Scope
Program Committee Co-Chairs
Program Committee Members
Aims and Scope
The conference is held to honour the 75th anniversary of academician Andrei Ershov (1931−1988) and his
outstanding contributions towards advancing informatics. The first five
conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and
proved to be significant international events.
Ershov was one of the early Russian pioneers in the field of the theory of
programming and systems programming, a founder of the Siberian Computer
Science School. In 1974 he was nominated as a Distinguished Fellow of the
British Computer Society. In 1981 he received the Silver Core Award for
services rendered to IFIP. Andrei Ershov's brilliant speeches were always in
the focus of public attention. Especially notable was his lecture on
“Aesthetic and human factor in programming” presented at the AFIPS Spring
Joint Computer Conference in 1972. Andrei Ershov was not only an extremely
gifted scientist, teacher and fighter for his ideas, but also a bright and
many-sided personality. He wrote poetry, translated the works of R. Kipling
and other English poets, and enjoyed playing guitar and singing. Everyone
who had the pleasure of knowing Andrei Ershov and working with him will
always remember his great vision, eminent achievements, and generous
The aim of the conference is to provide a forum for the
presentation and in-depth discussion of advanced research directions in
computer science. For a developing science, it is important to work out
consolidating ideas, concepts and models. Movement in this direction is
another aim of the conference. Improvement of the contacts and exchange of
ideas between researchers from the East and West are further goals.
Conference topics include:
Foundations of Program and System Development and Analysis
- specification, validation, and verification techniques,
- program analysis, transformation and synthesis,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, abstract interpretation, compiler construction,
- theorem proving and model checking,
- concurrency theory,
- modelling and analysis of real-time and hybrid systems,
- computer models and algorithms for bioinformatics.
Programming Methodology and Software Engineering
- object-oriented, aspect-oriented, component-based and generic programming,
- programming by contract,
- program and system construction for parallel and distributed computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- model-driven system/software development,
- agile software development,
- tools for software engineering,
- program understanding and visualization.
- data models,
- database and information systems,
- knowledge-based systems and knowledge engineering,
- ontologies and semantic Web,
- digital libraries, collections and archives, Web publishing,
- peer-to-peer data management.
In addition to papers in the above list of topics, papers
both bridging the gap between different directions and promoting mutual
understanding of researchers are welcome. Papers defining the general
prospects in Computer Science are also encouraged.
The Program will consist of three kinds of presentations
— invited talks, regular contributed talks, and short contributed talks.
The conference will be held in
Akademgorodok (Academy town), 30 km South from Novosibirsk, the largest city
of Siberia. Akademgorodok is located in a picturesque place near the Ob
lake. It is surrounded with birch and pine forests and pleasant not only for
work but for recreation as well. Silence, beautiful landscape, and pure air
are the factors promoting scientific activity and creativity.
Alexander Marchuk, A. P. Ershov Institute of Informatics
Systems, Novosibirsk, Russia
Dines Bjørner, Institute of Informatics and Mathematical Modelling, Denmark
Manfred Broy, Institut für Informatik, Technische Universität München, Germany
Alexandre Zamulin, A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
Program Committee Co-Chairs
Irina Virbitskaite, A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
Andrei Voronkov, Microsoft Research, Redmond, USA
Natalia Cheremnykh, A.P. Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, Russia
Program Committee Members
Scott W. Ambler, Ambysoft Inc., Toronto, Canada
Egidio Astesiano, Univ.
Janis Barzdins, Univ.
Latvia, Riga, Latvia
Frédéric Benhamou, Univ.
Stefan Brass, Univ. Halle,
Ed Brinksma, Univ. Twente,
Kim Bruce, Pomona College,
Mikhail Bulyonkov, IIS SB
RAS, Novosibirsk, Russia
Albertas Čaplinskas, IMI,
Sung-Deok Cha, KAIST, Taejon,
Gabriel Ciobanu, Inst. Comp.
Sc. RA, Iasi, Romania
Paul C. Clements,
Carnegie-Mellon Univ., USA
Miklós Csürös, Univ.
Serge Demeyer, Univ. of
Alexander Dikovsky, Univ.
Javier Esparza, Univ.
Jean Claude Fernandez, Univ. J.
Fourier, Grenoble, France
Chris George, UNU/ IIST,
Ivan Golosov, Intel,
Jan Friso Groote, Eindhoven
Univ. of Technology, The Netherlands
Alan Hartman, IBM Haifa
Research Lab., Israel
Victor Ivannikov, IPS RAS,
Victor Kasyanov, IIS SB RAS,
Joost-Pieter Katoen, RWTH
Aachen Univ., Germany
Alexander Kleschev, IACP
RAS, Vladivostok, Russia
Nikolay Kolchanov, ICiG,
Gregory Kucherov, INRIA/LORIA,
Johan Lilius, Ǻbo Akademi
Univ. Turku, Finland
Dominique Méry, Univ. Henri
Poincaré, Nancy, France
Torben Mogensen, Univ.
Bernhard Möller, Univ.
Hanspeter Mössenböck, JK
Univ. Linz, Austria
Peter Mosses, Univ. Wales,
Ron Morrison, St Andrews
Peter Műller, ETH,
Fedor Murzin, IIS SB RAS,
Valery Nepomniaschy, IIS SB
Nikolaj Nikitchenko, Nat.
Univ. Kiev, Ukraine
Jose R. Parama, Univ. A
GM Univ., Virginia, USA
Wojciech Penczek, Inst.
Comp. Sci., Warsaw, Poland
Jaan Penjam, Tallinn Tech.
Peter Pepper, Tech. Univ.
Alexander Petrenko, IPS RAS,
Jaroslav Pokorny, Charles
U., Prague, Czech Republic
Wolfgang Reisig, Humboldt-Universität,
Viktor Sabelfeld, Univ.
Timos Sellis, Nation. Tech.
Univ. Athens, Greece
Alexander Semenov, Intel,
Klaus-Dieter Schewe, Massey
Univ,PN, New Zealand
David Schmidt, Kansas State
Sibylle Schupp, Chalmers
Univ. Tech., Sweden
Nikolay Shilov, IIS SB RAS,
Alexander Tomilin, IPS RAS,
Enn Tyugu, Inst.
Cybernetics, Tallinn, Estonia
Alexander L. Wolf, Univ.
Colorado at Boulder, USA
Tatyana Yakhno, Dokuz Eylul
Univ., Izmir, Turkey
Wang Yi, Uppsala Univ., Sweden.
Eike Best, Univ. Oldenburg, Germany;
Robert Harper, Carnegie Mellon Univ., Pittsburgh, USA;
Alexander Letichevsky, Inst. Cybernetics, Kiev, Ukraine;
Alexandre Petrenko, CRIM, Canada;
K. Rustan M. Leino, Microsoft Research, Redmond, USA.
Submissions for extended abstracts
- Contain original contributions that have not been
published or submitted to other conferences/journals in parallel with
- Clearly state the problem being addressed, the goal
of the work, the results achieved, and the relation to other work.
- Be in PS or PDF and formatted according to Springer
LNCS Information for Authors: http://www.springeronline.com
- Have a length that does not exceed 10 pages for a
regular talk and 5 pages for a short talk.
- Be in English and in a form that can be immediately
included in the proceedings without major revision.
- Be sent electronically (as a PostScript or PDF file)
using website http://www.easychair.org/PSI2006/submit/ not later than
February 12, 2006.
A book of extended abstracts of
invited and accepted talks will be available at the conference. The full
versions of the papers presented at the conference (roughly, 14 pages long
for a regular talk and 7 pages long for a short talk) will be published by
Springer-Verlag in the Lecture Notes in Computer Science series after the
conference. One can find the proceedings of the previous four conferences in
LNCS, Vol. 1181, 1755, 2244 and 2890, respectively. A report on the previous
conference can be found in EATCS Bulletin, No 81 (2003) 267–271, and also at
the conference site: psi.iis.nsk.su/PSI03/index.
You can fly to Novosibirsk via
Moscow by Aeroflot, Transaero or S7. Direct S7 flights will bring you from
Frankfurt, Hannover, Tel-Aviv or Beijing to Novosibirsk and back. Participants travelling via
Moscow will be helped to take a domestic flight by Aeroflot.
See official site of Siberia Airlines for booking tickets online.
You can find timetable of international flights in aeroport Tolmachevo near Novosibirsk at the aeroport website.
participants will be met at the Novosibirsk airport and brought to
Akademgorodok by a special transport.
The weather in Novosibirsk at the
end of June is normally quite warm and sunny with the temperatures in the
range of 25-30 C. Night swimming in the Ob lake is guaranteed. You can see weather datails
at http://www.cnn.com/WEATHER/ or,
in Russian, at http://www.gismeteo.ru/weather/towns/29634.htm.
Additionally the following workshops will be satellite events of PSI06:
- Educational Informatics
(see the workshop page);
- Program Understanding which will be held in Altai mountains
(see the workshop page);
- Workshop on Science Intensive Applied Software (see the workshop page in Russian).
February 12, 2006: submission deadline of extended abstracts;
April 7, 2006: notification of acceptance. The notification time is by 23:59 PST, Friday, April 7;
June 27-30, 2006: the conference dates;
September 15, 2006: final papers due.