Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.

Dismiss

PSI'96 Call for Participation

2 views

Skip to first unread message

Alexander V. Zamulin

unread,

May 16, 1996, 3:00:00 AM5/16/96

A.P.Ershov INSTITUTE OF INFORMATICS SYSTEMS
Siberian Division of the Russian Academy of Sciences

announces

Andrei Ershov Second International Memorial Conference
"PERSPECTIVES OF SYSTEM INFORMATICS"
June 25-28, 1996
Novosibirsk, Akademgorodok, Russia

SUPPORTED BY:
=============
The Russian Foundation for Basic Research
UN University's International Institute for Software Technology
ICL
The Office of Naval Research
US Army European Research Office

AIMS AND SCOPE
==============

The PSI'96 Conference will take place in the frames of the Second
Siberian Congress on Industrial and Applied Mathematics (INPRIM-96).
The Congress is jointly organized by the Sobolev Institute of
Mathematics, A.P.Ershov Institute of Informatics Systems, Institute of
Computational Technology, Computing Center of the Siberian Division of
Russian Academy of Sciences together with Novosibirsk State Universi-
ty, Novosibirsk State Technical University and the Siberian Society
for Promotion of Science and Education. The Congress is dedicated to
the memories of well-known Russian scientists working at the Siberian
Division: A.A.Lyapunov, A.P.Ershov and I.A.Poletaev.
The PSI'96 Conference is held to honour the 65th anniversary of
Academician Andrei Ershov (1931-1988) and his outstanding contributi-
ons towards advancing informatics. The first conference was held in
May 1991 and proved to be a big international event.
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 Distinguis-
hed Fellow of the British Computer Society. In 1981 he received the
Silver Core Award for services rendered to IFIP. Andrei Ershov's bril-
liant speeches were always in the focus of public attention. Especial-
ly notable was his lecture on "Aesthetic and human factor in program-
ming" presented at 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 re-
member his great vision, eminent achievements, and generous friend-
ship.
The aim of the Conference is to provide a forum for the presenta-
tion and in-depth discussion of advanced research directions in Compu-
ter 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 con-
tacts and exchange of ideas between researchers from the East and West
is another goal.

CONFERENCE TOPICS:
==================

Theoretical Computer Science:
- program specification, synthesis, transformation, and verification,
- semantics and logic of programs,
- partial evaluation, mixed computation, and abstract interpretation.

Programming Methodology:
- functional programming,
- object-oriented programming,
- logic and constraint programming,
- parallel and distributed computing.

Artificial Intelligence:
- knowledge acquisition and representation,
- natural language processing,
- AI tools and applications.

New Information Technologies:
- user interfaces,
- new trends and applications of database systems,
- new approaches to information system design.

Conference Chair:
Alexandre Zamulin (Novosibirsk, Russia)
e-mail: z...@iis.nsk.su
tel.: 7-3832-396258
fax: 7-3832-323494

Programme Committee Co-Chairs:
Manfred Broy (Munich, Germany)
Dines Bjorner (Macau)
Igor Pottosin (Novosibirsk, Russia)

Programme Committee Secretary:
Tatyana Yakhno (Novosibirsk, Russia)
e-mail: psi'96{psi96}@iis.nsk.su

Publication Chair:
Victor Sabelfeld (Novosibirsk, Russia)

Conference Secretary:
Natalia Cheremnykh (Novosibirsk, Russia)
e-mail: {cher,psi'96,psi96}@iis.nsk.su
tel: 7-3832-350352

Programme Committee Members:
Janis Barzdins (Riga, Latvia)
Frederic Benhamou (Orleans, France)
Mikhail Bulyonkov (Novosibirsk, Russia)
Piotr Dembinski (Warsaw, Poland)
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)
Peter Lucas (Graz, Austria)
Alexander Marchuk (Novosibirsk, Russia)
Bernhard Moeller (Augsburg, Germany)
Ron Morrison (St. Andrews, Scotland)
Alexander Narinyani (Moscow, Russia)
Valery Nepomniaschy (Novosibirsk, Russia)
Maurice Nivat (Paris, France)
Bernd Neumann (Hamburg, Germany)
Peter Pepper (Berlin, Germany)
William O'Riordan (London, UK)
David Schmidt (Kansas, USA)
Nicolas Spyratos (Paris, France)
Wladyslaw Turski (Warsaw, Poland)
Enn Tyugu (Stockholm, Sweden)
Zaharin Yusoff (Penang, Malaysia)

Local Organizing Committee:
Sergei Kuznetsov (Chair)
Vladimir Detushev (Deputy Chair)
Malcolm Rigg
Tatyana Stepanova
Vladimir Sergeev
Gennadij Alexeev
Tatyana Churina
Irina Zanina
Maria Elokhina
Olga Drobyshevich
Georgy Cheblakov
Olga Plechova

PSI'96 PROGRAM STRUCTURE

Monday, June 24:
19.00 Reception (Welcome party)

Tuesday, June 25:Joint Session with Congress on Applied and
Industrial Mathematics
(INPRIM-96)

10.00-10.30 Welcome speeches
10.30-11.30 Bjorner D. (Macau) Models of Enterprise Management:
Strategy, Tactics and Operations: a New View on Scheduling and
Allocation
11.30-12.30 INPRIM-96 Invited Talk

12.30-14.00 Lunch

14.00-14.15 Opening of PSI'96

Invited Talks
14.15-15.00 Wirth N. (Switzerland) The Language Lola and Digital
Circuit Design in the CS Curriculum
15.00-15.45 Dosch W. (Germany) Calculating Digital Circuits

15.45-16.15 Break

Programmimg Methodology

16.15-17.00 Stepanov A. (USA) Generic Programming (invited talk)
17.00-17.25 Zamulin A. V. (Russia) Algebraic Semantics of the Oberon
Target Machine
17.25-17.50 Koster C.H.A. (The Netherlands) The Making of Algol 68

Wednesday, June 26:
Artificial Intelligence

9.00-9.45 Mayoh B. (Denmark) Artificial Life and Polution Control.
Explorations of a Genetic Algorithm System on Highly Parallel
Connection Machine (invited talk)
9.45-10.10 Yakhno T., Petrov E. (Russia) LogiCalc: Integrating
Constraint Programming and Sub-Definite Models
10.10-10.35 Telerman V., Kuznetsov A., Sidorov V., Ushakov D. (Russia)
Problem Solving in the Object-Oriented Environment NeMo+

10.35-11.00 Break

Natural Language Processing

11.00-11.45 Seuren P. (The Netherlands) What a Universal Semantic
Interlingua Can Do (invited talk)
11.45-12.10 Kononenko I., Sharoff S. (Russia) Understanding Short
Texts with Integration of Knowledge Representation Methods

12.10-12.20 Break

Machine Learning

12.20-12.45 Freivalds R. (Latvia), Zeugmann T. (Japan )Co-Learning of
Recursive Languages from Positive Data
12.45-13.10 Boutsinas B., Papadimitriou S., Pavlides G. (Greece)
Automatic Analysis, Verification and Synthesis of Rule-based
Real-time Decision Making Systems with Machine Learning Assistance

13.10-14.30 Lunch

14.30 Excursion

Thursday, June 27:
Dataflow and Concurrency Models

9.00-9.45 Czaja L. (Poland) Processes in Cause-Effect Structures
(invited talk)
9.45-10.10 Bachmann P. (Germany) On the Power of Recursion in Dataflow
Schemes
10.10-10.35 Trichina E. (Australia) )An Application of Program
Transformation to Parallel Programming in the Assertive Paradigm

10.35-11.00 Break

Parallel Programming

11.00-11.25 Raja N., Shyamasundar R.K. (India) Actors as a
Coordinating Model of Computation
11.25-11.50 Nepomniaschaya A. (Russia) An Associative Version of the
Prim-Dijkstra Algorithm and its Application to Some Graph Problems
11.50-12.15 Frias M.F. (Brazil), Baum G.A. (Argentina),
Haeberer A.M. (Brazil) Adding Design Strategies to Fork Algebras

12.15-14.00 Lunch

Supercompilation

14.00-14.45 Turchin V. (USA) Supercompilation: Techniques and
Results (invited talk)
14.45-15.10 Nemytykh A.P., Pinchuk V.A. (Russia) Program
Transformation with Metasystem Transitions: Experiments with
a Supercompiler
15.10-15.35 Glueck R. (Denmark), Jorgensen J. (Belgium) Fast Multi-
Level Binding-Time Analysis for Multiple Program Specialization

15.35-16.00 Break

Partial Evaluation

16.00-16.25 Jones N.D., Glenstrup A.J. (Denmark) BTA Algorithms to
Ensure Termination of Off-line Partial Evaluation
16.25-16.50 Thiemann P., Sperber M. (Germany) Polyvariant Expansion
and Compilergenerators
16.50-17.15 Mandel L., Cengarle M.V. (Germany) The Disjunctive
Constrained Lambda Calculus

Friday, June 28:
Object-Oriented Programming

9.00-9.45 Ivannikov V., Zadorozhny V., Novikov B. (Russia) Semantic
Interoperable Reasoning in Open Distributed Object Environment
(invited talk)
9.45-10.10 Pree W. (Austria), Pomberger G. (Austria), Kapsner F.
(Germany) Framework Component Systems: Concepts, Design
Heuristics, and Perspectives
10.10-10.35 Froehlich J.H. (Austria) Prototype of a Run-Time
Adaptable, Object-Oriented System

10.35-11.00 Break

Semantics and Abstract Interpretation

11.00-11.25 Sabelfeld V.K. (Russia) The Tree Equivalence Problem for
Linear Recursion Schemes
11.25-11.50 Lu L. (China) A Mode Analysis of Logic Programs by
Abstract Interpretation
11.50-12.15 Mogensen T. (Denmark) A Semantics-Based Determinacy
Analysis or Prolog with Cut

12.15-14.00 Lunch

Programming of Graphical Interfaces

14.00-14.25 Frauenstein T., Grieskamp W., Pepper P., Suedholt M.
(Germany) Communicating Functional Agents and their Application
to Graphical User Interfaces
14.25-14.50 Vullinghs T., Schulte W., Schwinn T. (Germany) The Design
of a Functional GUI Library Using Constructor Classes

14.50-15.20 Break

Logic Programming

15.20-15.45 Voronkov A. (Sweden) Database Technology Meets Constraint
Technology: a Case Study
15.45-16.10 Dekhtyar M.I., Dikovsky A.Ja. (Russia) On Homeostatic
Behavior of Dynamic Deductive Data Bases
16.10-16.45 Afrati F., Gergatsoulis M., Katzouraki M. (Greece)
On Transformations into Linear Database Logic Programs

16.45-17.00 Break

17.00-18.00 Concluding Discussion

19.00 Conference Dinner

POSTERS

Andreev R.D., Benevski K.M. (Bulgaria)
An Object-Oriented Approach to User Interface Analysis and Design
Anisimov N., Kovalenko A. (Russia)
Asynchronous Composition of Petri Nets via Places
Artemjeva I.L., Gavrilova T.L. (Russia)
Logical Relational Systems and Tasks for Them
Best E. (Germany), Virbitskaite I., Votintseva A. (Russia)
Comparing Logical and Behavioural Equivalences for Event
Structures
Biskup J., Kluck A. (Germany)
Theorem Proving for Database Constraints
Borshchev A.V., Karpov Yu.G., Roudakov V.V., Sintotskij A.Yu.,
Trukhmanov M.S., Filippov A.E. (Russia)
Real-Time Concurrent Systems Modeling Environment
Chen J.(Australia)
A Declarative Semantics for Typed Logic Programs
Ciobanu G. (Romania)
Domain Equations for Nondeterminism
Desharnais J., Frappier M. (Canada), Mili A., Mili R. (USA)
Measures of Distance Between Specifications: Applications to
Software Reuse
Desrocques G. (France), Laribi A. (Switzerland), Laribi S.A. (France),
Bassano J.C. (France)
Simulated Annealing and Neural Networks: Tools for a Natural
Language Processing System
Gaitanis N., Katzouraki M., Gergatsoulis M. (Greece)
Fast and Efficient Multilingual Alphanumeric Ordering Systems
Herath A., Ikeda T., Herath S. (Japan)
Generating Number in Japanese to Modern Sinhalese Machine
Translation
Kalinichenko B.O. (Russia)
Integrating Heterogeneous Equipment into a Single Network
Lamma E., Mello P., Milano M., Pokidine H. (Italy)
A Tool for Temporal Reasoning Based on Constraint Logic
Programming
Levin D. (Russia)
Active Diagrams and Other User Paradigms Based on Subdefinite
Calculations
Lomazova I.A. (Russia)
A Complete Axiomatics for Proving Safety Properties of Petri Nets
Mihaljevic M.J. (Yugoslavia)
Novel Sequence Comparison Approaches for Binary Information
Strings
Milosavljevic M.M., Teovanovich M. (Yugoslavia)
An Approach to Learning of Problem Solving Strategies by Pattern
Recognition
Myka A., Argenton H., Guentzer U. (Germany)
Towards Automatic Hypertextual Representation of Linear Texts
Pluemicke M., Hiti E., Klaeren H. (Germany)
Resolving of Overloading and Subtyping
Safonov V.O. (Russia)
Efficient and Reliable Compiler Development Methodology and its
Application to SUN Pascal Compiler Refurb
Wolfengagen V.E. (Russia)
Object-Oriented Appointment: Computational Solutions
Yamane S. (Japan)
Automatic Verification System by Language Inclusion Theory
Zagorulko Yu.A., Popov I.G. (Russia)
A Software Environment Based on an Integrated Knowledge
Representation Model

PSI'96 DOCUMENTS AND LANGUAGE
===============================
A book of extended abstracts of invited and accepted talks and
posters will be available at the Conference. The full versions of in-
vited and contributed talks presented at the Conference will be pub-
lished by Springer-Verlag in the Lecture Notes in Computer Science se-
ries.
The official language of the Conference is English, which will be
used for presentations and all the printed material. Simultaneous
translation will not be provided at all the conference sessions.

PSI'96 CONFERENCE SITE
======================
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.
All conference sessions will be held in the Conference Halls of
the House of Scientists which is located up along the street from the
Zolotaya Dolina hotel in about five minutes walk. The joint session
with INPRIM-96 will take place in the Big Hall of the House of Scien-
tists, all other sessions will take place in the Small Hall.

APPLICATION FOR RUSSIAN VISA
============================
To obtain a Business Visa submit the following paperwork to the
Russian Consulate in your country:
* Visa Application Form (please, request the Form from
the Russian Consulate);
* a copy of pages of the passport with personal data;
* three passport-size photographs;
* your letter of invitation which you will receive as a
participant of the PSI'96;
* money order or company check payable to the Russian
Embassy (the fee depends on the processing period).
Copy of the letter of invitation may be additionally faxed di-
rectly to the Russian Consulate upon special request.

TRAVEL
======
A direct Lufthansa flight will bring you from Frankfurt to Novo-
sibirsk and back. Participants travelling via Moscow will be met in
Moscow and helped to take a domestic flight by Aeroflot or TransAero
airlines. All participants will be met at the Novosibirsk airport and
brought to Academgorodok by a special transport.

WEATHER
=======
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.

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$20-US$60
(80000 - 200000 roubles for Russian citizens) per night, single and
double rooms available, no breakfast.

CONFERENCE REGISTRATION FEES
============================
Registration fee should be paid by cash on-site. Registration fee
includes: conference attendance, preliminary version of Conference
proceedings, final volume of Conference proceedings (will be published
at Springer and mailed after the Conference), welcome party, lunches
during the Conference days (at the restaurant of the House of Scien-
tists), coffee-breaks, transfer from and to the Tolmachevo airport,
transportation during the Conference (including excursions), delegate
pack, and additional services.

REGISTRATION FEE

Registration fee of the participants from the academic instituti-
ons of Russian Federation is partly covered by the Russian Fund for
Basic Research.

FURTHER INFORMATION
===================
Conference secretariat.
Before/after the Conference: all correspondence related to the
conference should be sent to:psi'96{psi96}@iis.nsk.su
During the conference: registration will take place on Monday,
June 24, at the hall of Golden Valley Hotel from 14.00 p.m.
On June, 25-28, the secretariat will be located in the reception
area of the House of Scientists. The secretariat will be opened for
registration and distribution of the conference materials from 9.00
till 18.00. Members of the secretariat will try to support partici-
pants with all kinds of information and organization help.

SOCIAL PROGRAMME
=================
Welcome Reception. Reception will start at 7 p.m., Monday, June,
24 in the restaurant of the House of Scientists. Please, use your con-
ference badge for identification.

Conference Dinner. Conference Dinner will be held at 7 p.m. on
Friday, June, 28 in the restaurant of the House of Scientists.

Photo. The group photo of the conference participants will be ta-
ken. We kindly ask everybody to be pictured.

Excursions. Special week-end program will be provided for "early
birds" arriving from Frankfurt on Saturday, June, 22.
Several alternative excursions will be announced later.

EXCHANGE
========
The best place to exchange money is banks and post-offices. The
nearest post-office is situated next door the Golden Valley Hotel and
open till 4 p.m. on Saturday. US dollars and German marks are the only
currencies being exchanged there. Banks are open from 10 a.m. until 4
p.m. except Saturday and Sunday. They accept VISA Cards.

Electrical equipment
Standart voltage in Russia is 220V, the frequency is 50Hz.

CAUTION: ticks.
You are not recommended to walk through bushes or along narrow
paths in the forest because of the danger of ticks. Ticks are small
insects (approx. 3 mm) whose bite can transmit serious disease. You
should examine your body after walking in the forest and call Emergen-
cy or apply to organizers immediately if a biting tick is discovered.
Do not try to remove the tick yourself. Walking along wide gravel
paths within living area is safe.

Time zone
Local time is +5 M.E.T. (+3 Moscow time).

For more information:
http://www.iis.nsk.su/PSI96

Please send by e-mail to the Secretariat (ch...@iis.nsk.su)

The PSI'96 Participant Registration Form can also be found and
filled in at URL: http://iis.nsk.su/PSI96

**********************************************************************
PSI'96 PARTICIPANT REGISTRATION FORM

PERSONAL INFORMATION:

First Name, Last Name ________________________________________________

Sex: male female

Academic Title________________________________________________________

Job Title_____________________________________________________________

Organization__________________________________________________________

CONTACT INFORMATION:

Business address_____________________________________________________

Business phone __(_____)__________________

Home address_________________________________________________________

Home phone __(_____)__________________

Fax: __(_____)__________________

E-mail (Internet):___________________________________________________

VISA INFORMATION:

Country in which you are applying for visa:__________________________

Citizenship:_________________________________________________________

Date of Birth:__________________ Place of Birth:_____________________

Passport Number:_______________________ Expiration date:_____________

PERIOD IN RUSSIA

Arrival: Time ______:______ "_____"_____________1996

Flight _______________ From:_________________

Departure: Time ______:______ "_____"_____________1996

Flight _______________ From:__________________

To:____________________

Note: If you do not know your flight information yet, please, in-
form us about it later. This will help us to schedule your transporta-
tion better.

----------------------------------------------------------------------
Alexandre Zamulin
Institute of Informatics Systems
Siberian Division of the Russian Academy of Sciences
Lavrentiva 6 fax: +7 3832 323494
Novosibirsk 630090 phone: +7 3832 396258
Russia e-mail: z...@iis.nsk.su
----------------------------------------------------------------------

0 new messages