Aims and Scope
Conference Topics
Location
Conference Chair
Program Committee Co-Chairs
Program Committee Members
Conference Secretary
Invited Speakers
Conference Proceedings
List of accepted papers
Visa
Travelling
Weather
Accomodations
Registration
Report on conference
Photographs from the conference

Aims and scope

The conference is held to honour the late Academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics.

Andrei Ershov was one of the early Russian pioneers in the field of theoretical and systems programming, a founder of the Siberian School of Computer Science. 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 friendship.

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 one of the goals the Conference is to meet. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.

Conference topics

Semantics-Based Program Processing:

• program specification, transformation, and verification,
• semantics, logic and formal models of programs,
• partial evaluation, mixed computation, and abstract interpretation,
• program analysis, understanding and visualization.

Program Methodology and Information Technologies:

• object-oriented programming,
• generic programming,
• parallel and distributed computing,
• database and information systems.

Artificial Intelligence:

• knowledge engineering,
• natural language processing,
• AI tools and applications,
• constraint programming and multi-agent technology.

In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers in different directions are welcome. Papers defining the prospects of Computer Science in the whole and joint West-East papers are also encouraged.

Location

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.

Conference chair

Alexander Marchuk,
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
tel.: +7-3832-343652
fax:  +7-3832-323494
e-mail: mag@iis.nsk.su

Programme committee co-chairs:

Dines Bjørner
Dept. of IT
Technical University of Denmark,
DK-2800 Lyngby, DENMARK
Phone/Fax: +45-45.88.45.30
E-mail: db@it.dtu.dk

Manfred Broy
Institut für Informatik
Technische Universität München
D-80290 Munich, GERMANY
Phone:  +49-89-21058161
Fax:     +49-89-21058183
E-mail: broy@informatik.tu-muenchen.de

Alexandre Zamulin
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
Phone:  +7-3832-396258
Fax:     +7-3832-323494
E-mail: zam@iis.nsk.su

Programme committee members

Janis Barzdins (Riga, Latvia)
Frederic Benhamou (Nantes, France)
Christian Boitet (Grenoble, France)
Mikhail Bulyonkov (Novosibirsk, Russia)
Piotr Dembinski (Warsaw, Poland)
Alexander Dikovsky (Nantes, France)
Victor Ivannikov (Moscow, Russia)
Philippe Jorrand (Grenoble, France)
Leonid Kalinichenko (Moscow, Russia)
Alexander Kleschev (Vladivostok, Russia)
Vadim Kotov (Palo Alto, USA)
Reino Kurki-Suonio (Tampere, Finland)
Alexander Letichevski (Kiev, Ukraine)
Eduard Ljubimsky (Moscow, Russia)
Rudiger Loos (Tuebingen, Germany)
Bernhard Moeller (Augsburg, Germany)
Hanspeter Moessenboeck (Linz, Austria)
Valery Nepomniaschy (Novosibirsk, Russia)
Gennady Osipov (Pereslavl-Zalesski, Russia)
Jaan Penjam (Tallinn, Estonia)
Peter Pepper (Berlin, Germany)
Igor Pottosin (Novosibirsk, Russia)
Wolfgang Reisig (Berlin, Germany)
Dieter Rombach (Kaiserslautern, Germany)
Dean Rosenzweig (Zagreb, Croatia)
Victor Sabelfeld (Karlsruhe, Germany)
Vladimir Sazonov (Pereslavl-Zalesski, Russia)
David Schmidt (Manhattan, USA)
Sibylle Schupp (Troy, USA)
Valerij Sokolov (Yaroslavl, Russia)
Nicolas Spyratos (Paris, France)
Alexander Tomilin (Moscow, Russia)
Enn Tyugu (Stockholm, Sweden)
Andrei Voronkov (Uppsala, Sweden)
Tatyana Yakhno (Novosibirsk, Russia)
Zhou Chaochen (Macao)

Conference secretary

Natalia Cheremnykh
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
tel.: +7-3832-342352
fax:     +7-3832-323494
e-mail: psi99@iis.nsk.su

To maintain an intensive conference atmosphere and enable in-depth discussions, the number of participants is limited to 100. Three kinds of presentations - invited talks, regular contributed talks, and short contributed talks - are proposed.

Invited speakers

1. K. Apt (CWI, The Netherlands) "A language-independent framework for constraint programming"
2. V. Basili (University of Maryland, USA) "Understanding software for use: a family of empirical studies"
3. M.-C. Gaudel (Universite Paris-Sud, France), A. Zamulin (IIS, Novosibirsk) "Algebraic imperative specifications"
4. N. Jones (DIKU, Denmark) "Some perspectives on mixed computation, including on-line abstract interpretation as a basis for performing program transformation"
5. D. Meri (INRIA-Nanci, France) "Formal modelling of services for getting a better understanding of the feature interaction problem"
6. R. Morrison (St. Andrews, Scotland) "Persistent hyperprogramming"
7. A. Narinyani (RIAI, Moscow). "Information technologies: revolution at the beginning of the 21st century"
8. D. Sannella (Edinburgh University, Scotland) "The common framework initiative for design specification and development of software"

Conference proceedings

A book of abstracts of invited and accepted talks will be available at the conference. The full versions of the talks presented at the Conference are expected to be published by Springer-Verlag in the Lecture Notes in Computer Science series after the event.

List of accepted papers

Regular Talks

1. R.Anderson, P.Beame, W.Chan, D.Notkin Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications
2. M.Anlauff, P.Kutter, A.Pierantonio Enhanced Control and Data Flow Graphs in Montages
3. F.Benhamou, F.Goualard, E.Languenou, M.Christie An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
4. C.Castro, E.Monfroy A Control Language for Designing CSP Solvers
5. D.Chkliaev, J.Hooman, P. van der Stok Serializability Preserving Extensions of Concurrency Control Protocols
6. N.H.Christensen, R.Glueck, S.Laursen Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
7. M.Dam and D.Gurov Compositional Verification of CCS Processes
8. M.I.Dekhtyar, A.Ya.Dikovsky, M.K.Valiev Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
9. G.B.Cheblakov, F.G.Dinenberg, D.Ya.Levin, I.G.Popov, Yu.A.Zagorul'ko An Approach to Development of a System for Speech Interaction with an Intelligent Robot
10. A.Dold, V.Vialard Formal Verification of a Compiler Back-End Generic Checker Program
11. L.Frank Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data
12. A.Heberle, T.Gaul, W.Goerigk, G.Goos, W.Zimmermann Construction of Verified Compiler Front-Ends with Program-Checking
13. F.Kolushev, A.Bogdanov Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles
14. G.Kucherov, M.Rusinowitch Patterns in Words vs Patterns in Trees: A Brief Survey and Some New Results
15. K.Lellahi, R.Souah A Partial Semantics for Object Data Models with Static Binding
16. I.Lomazova, Ph.Schnoebelen Some Decidability Results for Nested Petri Nets
17. Man Lin, J.Malec, S.Nadjm-Tehrani On Semantics and Correctness of Reactive Rule-based Programs
18. J.Martin, M.Leuschel Sonic Partial Deduction
19. H.Moessenboeck Twin - A Design Pattern for Modeling Multiple Inheritance
20. T.Mogensen Linear Time Self-Interpretation of the Pure Lambda Calculus
21. N.Raja, R.K.Shyamasundar Relating Paradigms of Mobility
22. R.C.Roldan, F.J.L.Fraguas Extensions: A Technique for Structuring Functional-Logic Programs
23. K.Schneider, V.Sabelfeld Introducing Mutual Exclusion in Esterel
24. J.P.Secher, M.H.B.Sorensen On Perfect Supercompilation
25. V.Sidorov, V.Telerman, D.Ushakov Constraint Programming Techniques for Solving Problems on Graphs
26. A.P.Ustimenko Hierarchical Cause-Effect Structures
27. T.Yakhno, E.Petrov Extensional Set Library for ECLiPSe

Short Talks

28. S.Asgari, N.Yonezaki A General Object-Oriented Model for Spatial Data
29. Yu.V.Chelomin Platform Independent Approach for Detecting Shared Memory Parallelism
30. G.Ciobanu, F.Olariu Abstract Structures for Communication
31. R.Glueck, M.Leuschel Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification
32. S.Herath, C.Saito A Step towards Multi-lingual Machine Translation for Sign Language
33. M.Hof Late Adaptation of Method Invocation Semantics
34. S.S.Kobilov Language Tools and Programming Systems in Educational Informatics
35. I.Kononenko, I.Popov, Yu.Zagorul'ko Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique
36. M.V.Korovina, O.V.Kudinov A Logical Approach to Specification of Hybrid Systems
37. M.Pluemicke Polymorphism in OBJ-P
38. Cl. de la Riva, J.Tuya, J.R. de Diego Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification
39. A.E.Scripkin Object-Oriented Development Framework for Creating Distributed Programs Using Java
40. V.I.Shelekhov, S.V.Kuksenko Data Flow Analysis of Java Programs in the Presence of Exceptions
41. V.Simonis, R.Weiss Heterogeneous Nested STL-containers in C++
42. A.Suenbuel Abstract State Machines for the Composition of Architectural Styles
43. E.Trichina Categories with Products, Join Lists and Locality Based Programming for FPGAs
44. D.L.Uvarov An Optimal Algorithm for Purging Regular Schemes

Visa

An Official Invitation on behalf of PSI99 Programme Committee is needed to obtain a visa in Russian Consulate/Embassy. PC will send an Invitation upon request, after receiving the following information:

• Citizenship
• Full name
• Date of birth
• Place of birth
• Passport number
• Affiliation
• Itinerary
• Period in Russia
• Full postal address

Please note that a hard copy of the Invitation rather than a fax is usually required. Two-three weeks are necessary to receive the Invitation from Russia by regular mail.

Travelling

There are several companies carring out regular flights from the USA and Europe to Novosibirsk, namely: Aeroflot, Transaero, Siberia Airlines.

You can fly to Novosibirsk via Moscow with Aeroflot or TransAero, or via Frankfurt or Hannover with Siberia Airlines, or via Hannover with Aeroflot.

There are two direct flights from the West Europe to Novosibirsk by Siberia Airlines company:

Frankfurt - Novosibirsk,
Flight S7 852 on Tuesdays, Fridays and Sundays:
Departure 7.10 p.m. (local time) - Arrival 6.10 a.m. (local time)
Flight S7 852 on Wednesdays:
Departure 2.40 p.m. (local time) - Arrival 1.40 a.m. (local time)
Flight S7 852 on Saturdays:
Departure 9.05 a.m. (local time) - Arrival 8.50 p.m. (local time)

Novosibirsk - Frankfurt
Flight S7 851 on Tuesdays, Fridays and Sundays:
Departure 4 p.m. (local time) - Arrival 5.10 p.m. (local time)
Flight S7 851 on Wednesdays:
Departure 12.00 a.m. (local time) - Arrival 1.10 a.m. (local time)
Flight S7 851 on Saturdays:
Departure 6.50 p.m. (local time) - Arrival 7.50 p.m. (local time)

Hannover - Novosibirsk
Flight S7 856 on Mondays, Wednesdays and Saturdays:
Departure 7.30 p.m. (local time) - Arrival 6.30 a.m. (local time)
Flight S7 856 on Sundays:
Departure 2.00 p.m. (local time) - Arrival 0.10 a.m. (local time)

Novosibirsk - Hannover
Flight S7 855 on Mondays, Wednesdays and Saturdays:
Departure 4 p.m. (local time) - Arrival 5.30 p.m. (local time)
Flight S7 855 on Sundays:
Departure 11.00 a.m. (local time) - Arrival 12.30 p.m. (local time)

and one flight from Hannover to Novosibirsk by Aeroflot company:

Hannover - Novosibirsk
Flight Su 862 on Wednesdays and Thursdays:
Departure 1 p.m. (local time) - Arrival 23.55 p.m. (local time)

Novosibirsk - Hannover
Flight Su 861 on Wednesdays and Thursdays:
Departure 10.05 a.m. (local time) - Arrival 11.30 a.m. (local time)

You can book tickets in Frankfurt in Reisebuero "AviCon"
by phone : 069-24271827 (and/or 069-24271841)
or by fax : 069-24271835
AviCon distributer is Grigory Lidman;
and PISTER REISEBURO (Viktor Pister)
Bismarckstr. 151, 63067 Offenbach/M
Tel.069-82365192, Fax: 069-82365350

You may also find the latest information on Novosibirsk flights at http://www.tolmachevo.ru on Transaero flights at http://www.transaero.ru and on Aeroflot flights at http://aeroflot.russianet.ru

All participants will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport.

Weather

The weather in Novosibirsk at the beginning of July is normally quite warm and sunny with the temperatures in the range of 25-30 C. However, seldom warm rains are possible. Night swimming in the Ob lake is guaranteed. Bathing suits and umbrellas are useful items of equipment.

Accomodations

All conference participants will be accommodated at the Zolotaya Dolina (***) (Golden Valley) Hotel situated in 5 minutes walk from the Conference Hall. The accommodation rate is in the range US$10-US$20 (115 - 200 roubles for Russian citizens) per night, single and double rooms available, no breakfast. Preliminary preference notes concerning types of rooms are welcome.

Conference registration and fees

Conference registration will be held in the Zolotaya Dolina Hotel immediately after arriving and in the Conference Hall during the first day of the conference.

Regular registration fee is US$300, accompanying person registration fee is US$50. Registration fee should be paid in cash on-site.

Regular registration fee includes: conference attendance, preliminary version of conference proceedings, final volume of conference procee- dings (will be published by Springer-Verlag and mailed after the conference), welcome party, coffee-breaks, transfer from and to the Tolmachevo airport, transportation during the conference (including excursions), delegate pack, and additional services.

Accompanying person registration fee includes: welcome party, transfer from and to the Tolmachevo airport and excursions.