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 Bjorner
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 fuer Informatik
Technische Universitaet Muenchen
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: {cher, 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
R.Anderson, P.Beame, W.Chan, D.Notkin
Experiences with the Application of Symbolic Model Checking
to the Analysis of Software Specifications
M.Anlauff, P.Kutter, A.Pierantonio
Enhanced Control and Data Flow Graphs in Montages
F.Benhamou, F.Goualard, E.Languenou, M.Christie
An Algorithm to Compute Inner Approximations of Relations for
Interval Constraints
C.Castro, E.Monfroy
A Control Language for Designing CSP Solvers
D.Chkliaev, J.Hooman, P. van der Stok
Serializability Preserving Extensions of Concurrency Control Protocols
N.H.Christensen, R.Glueck, S.Laursen
Binding-Time Analysis in Partial Evaluation:
One Size Does Not Fit All
M.Dam and D.Gurov
Compositional Verification of CCS Processes
M.I.Dekhtyar, A.Ya.Dikovsky, M.K.Valiev
Applying Temporal Logic to Analysis of Behavior of Cooperating
Logic Programs
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
A.Dold, V.Vialard
Formal Verification of a Compiler Back-End Generic Checker Program
L.Frank
Integration of Different Commit/Isolation Protocols in
CSCW Systems with Shared Data
A.Heberle, T.Gaul, W.Goerigk, G.Goos, W.Zimmermann
Construction of Verified Compiler Front-Ends with Program-Checking
F.Kolushev, A.Bogdanov
Multi-agent Optimal Path Planning for Mobile Robots in Environment
with Obstacles
G.Kucherov, M.Rusinowitch
Patterns in Words vs Patterns in Trees: A Brief Survey
and Some New Results
K.Lellahi, R.Souah
A Partial Semantics for Object Data Models with Static Binding
I.Lomazova, Ph.Schnoebelen
Some Decidability Results for Nested Petri Nets
Man Lin, J.Malec, S.Nadjm-Tehrani
On Semantics and Correctness of Reactive Rule-based Programs
J.Martin, M.Leuschel
Sonic Partial Deduction
H.Moessenboeck
Twin - A Design Pattern for Modeling Multiple Inheritance
T.Mogensen
Linear Time Self-Interpretation of the Pure Lambda
Calculus
N.Raja, R.K.Shyamasundar
Relating Paradigms of Mobility
R.C.Roldan, F.J.L.Fraguas
Extensions: A Technique for Structuring Functional-Logic Programs
K.Schneider, V.Sabelfeld
Introducing Mutual Exclusion in Esterel
J.P.Secher, M.H.B.Sorensen
On Perfect Supercompilation
V.Sidorov, V.Telerman, D.Ushakov
Constraint Programming Techniques for Solving Problems on Graphs
A.P.Ustimenko
Hierarchical Cause-Effect Structures
T.Yakhno, E.Petrov
Extensional Set Library for ECLiPSe
Short Talks
S.Asgari, N.Yonezaki
A General Object-Oriented Model for Spatial Data
Yu.V.Chelomin
Platform Independent Approach for Detecting Shared Memory Parallelism
G.Ciobanu, F.Olariu
Abstract Structures for Communication
R.Glueck, M.Leuschel
Abstraction-Based Partial Deduction for Solving Inverse Problems
-- A Transformational Approach to Software Verification
S.Herath, C.Saito
A Step towards Multi-lingual Machine Translation for
Sign Language
M.Hof
Late Adaptation of Method Invocation Semantics
S.S.Kobilov
Language Tools and Programming Systems in Educational
Informatics
I.Kononenko, I.Popov, Yu.Zagorul'ko
Approach to Understanding Weather Forecast Telegrams
with Agent-Based Technique
M.V.Korovina, O.V.Kudinov
A Logical Approach to Specification of Hybrid Systems
M.Pluemicke
Polymorphism in OBJ-P
Cl. de la Riva, J.Tuya, J.R. de Diego
Translating SA/RT Models to Synchronous Reactive Systems:
An Approximation to Modular Verification
A.E.Scripkin
Object-Oriented Development Framework for Creating Distributed
Programs Using Java
V.I.Shelekhov, S.V.Kuksenko
Data Flow Analysis of Java Programs in the Presence of Exceptions
V.Simonis, R.Weiss
Heterogeneous Nested STL-containers in C++
A.Suenbuel
Abstract State Machines for the Composition of
Architectural Styles
E.Trichina
Categories with Products, Join Lists and Locality Based Programming for FPGAs
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.
