Newsgroups: comp.constraints
Path: cantaloupe.srv.cs.cmu.edu!europa.chnt.gtegsc.com!howland.reston.ans.net!tank.news.pipex.net!pipex!soap.news.pipex.net!pipex!dish.news.pipex.net!pipex!sunic!sunic.sunet.se!news.funet.fi!news.eunet.fi!KremlSun!tsiren!dvm
From: slava@iis.nsk.su (Zilberfaine Vyatcheslav)
Subject: PSI 96 CALL FOR PAPERS!
X-Newsreader: News Xpress Version 1.0 Beta #3
Sender: usenet@itfs.nsk.su
Organization: AI LAB
Message-ID: <41afur$a9o_001@iis.nsk.su>
X-Nntp-Posting-Host: dvm.iis.nsk.su
Date: Mon, 21 Aug 1995 06:36:08 GMT
Lines: 488



                         FIRST CALL FOR PAPERS

           Andrei Ershov Second International Memorial Conference
                  PERSPECTIVES OF SYSTEM INFORMATICS

              25-28 June 1996, Novosibirsk, Academgorodok, Russia

AIMS AND SCOPE

The conference is held to honour the 65th anniversary of Academician
Andrei Ershov (1931-1988) and his outstanding contributions 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 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 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 is another goal.

CONFERENCE TOPICS

Conference topics include:

1. Theoretical Computer Science:
     a) program specification, synthesis, transformation, and
        verification,
     b) semantics and logic of programs,
     c) partial evaluation, mixed computation, and abstract
        interpretation.
2. Programming Methodology:
     a) functional programming,
     b) object-oriented programming,
     c) logic and constraint programming,
     d) parallel and distributed computing.
3. Artificial Intelligence:
     a) knowledge acquisition and presentation,
     b) natural language processing,
     c) AI tools and applications.
4. New Information Technologies:
     a) user interfaces,
     b) new trends and applications of database systems,
     c) new approaches to information system design.

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 are
also encouraged.

LOCATION

The conference will be held in Academgorodok (Academy town),
30 km South from Novosibirsk, the largest city of Siberia.
Academgorodok 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

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

PROGRAMME COMMITTEE CO-CHAIRS:

Manfred Broy
Institut fur Informatik
Technische  Universitat Munchen
D-80290 Munchen, GERMANY
Phone:         +49-89-21058161
Fax:           +49-89-21058183
e-mail:        broy@informatik.tu-muenchen.de

Igor Pottosin
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
phone: +7-3832-355256
fax:   +7-3832-323494
e-mail: ivp@iis.nsk.su


PROGRAMME COMMITTEE MEMBERS

Janis Barzdins (Riga, Latvia)
Frederic Benhamou (Orleans, France)
Mikhail Bulyonkov (Novosibirsk, Russia)
Piotr Dembinski (Warsaw, Poland)
Victor Ivannikov (Moscow, Russia)
Phillippe Jorrand (Grenoble, France)
Leonid Kalinichenko (Moscow, 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)
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)

The Program Committee is likely to be extended.

PROGRAMME COMMITTEE  SECRETARY

Tatyana Yakhno
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
tel.: +7-3832-358359
fax: +7-3832-323494
e-mail: yakhno@iis.nsk.su

PUBLICATION CHAIR

Victor Sabelfeld

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

CONFERENCE STRUCTURE

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, contributed talks, and posters --
are
proposed.

CONFERENCE PROCEEDINGS

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

SUBMISSIONS

All submissions  must  be in English, clearly written and in
sufficient detail to allow the Programme Committee to assess  the
merits of the work. For a contributed talk or poster, the following
should be received in Novosibirsk by January 15, 1996 to be reviewed
by the Programme Committee:

1) LaTex file (or plain ASCII file in the exceptional case) of an
extended abstract (maximum 8 pages for a contributed talk and maximum
4 pages for a poster),

2) Three camera-ready hard copies.

LaTex file (style llncs.sty) should be e-mailed to the following
address: PSI'96@iis.nsk.su

Hard copies should be sent to the Programme Committee secretary at
the address indicated above.

The abstract should indicate complete authors' addresses (including e-
mail addresses and fax numbers if any) and a clear statement of the
kind of the submission (contributed talk or poster). Papers arriving
late or exceeding size limits may be rejected immediately without
refereeing. The receipt of all submitted papers will be acknowledged.
Authors will be notified of acceptance by March 25, 1996.

Material submitted to the Conference should be unpublished
and not submitted for publication elsewhere, including journals
or other conferences.

TRAVELLING

A direct Lufthansa flight will bring you from Frankfurt to
Novosibirsk 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. Night
swimming in the Ob lake is guaranteed.

IMPORTANT DATES

January 15, 1996: submission deadline of extended abstracts
             (8 pages,  by  e-mail: PSI'96@iis.nsk.su
             and airmail)

March 25, 1996:  notification of acceptance (by e-mail)

June 24, 1996: arrival date

June 25 - 28, 1996: the Conference dates

September 1, 1996:  final papers due

======================================================================



\documentstyle{article}
\oddsidemargin 20pt \evensidemargin 20pt
\marginparwidth 90pt
\marginparsep 10pt
\topmargin -33pt \headheight 12pt \headsep 25pt \footheight 12pt
\footskip 30pt
\textheight 680pt \textwidth 455pt
\addtolength{\oddsidemargin}{-2.cm}
\setlength{\textwidth}{19cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}

\begin{document}

%\begin{center}
     {\Huge\sc PSI'96} \hspace*{1cm}\parbox[c]{16cm}{
{\large\sc FIRST CALL FOR PAPERS\\[2pt]}
{\large\sc Andrei  Ershov  Second  International  Memorial
Conference\\[3pt]}
 {\large\sc PERSPECTIVES OF SYSTEM INFORMATICS\\[2pt] }
{\sc June 25--28, 1996, Novosibirsk,
Academgorodok, Russia\\[16pt]}}
%\end{center}

\begin{center}\small\bf AIMS AND SCOPE\end{center}

The conference is held to honour the 65th anniversary of Academician
Andrei Ershov (1931---1988) and his outstanding contributions 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 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 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 is another goal.

\noindent\parbox[t]{6.6cm}{
\small\vspace*{1cm}

\subsection*{\small\bf CONFERENCE CHAIR}

Alexandre Zamulin (Novosibirsk, Russia)\\

\subsection*{\small\bf PROGRAMME COMMITTEE\\ CO-CHAIRS:}

Manfred Broy (M\"unchen, Germany)

Igor Pottosin (Novosibirsk, Russia)\\

\subsection*{\small\bf PROGRAMME COMMITTEE\\SECRETARY}
     Tatyana Yakhno (Novosibirsk, Russia)

\subsection*{\small\bf PUBLICATION CHAIR}
    Victor Sabelfeld (Novosibirsk, Russia)
}
\parbox[t]{5mm}{
\rule[-11cm]{0.2mm}{10.5cm}
}
\begin{minipage}[t]{11.7cm}\vspace*{5mm}
\subsection*{\small\bf CONFERENCE TOPICS}

Conference topics include:

     \begin{tabular}{ll}
$\bullet$  & $\!\!\!\!\!\!$Theoretical Computer Science: \\
&-- program specification, synthesis, transformation, and
        verification,\\
&-- semantics and logic of programs,\\
&-- partial evaluation, mixed computation, and abstract
        interpretation.\\
$\bullet$ &$\!\!\!\!\!\!$Programming Methodology:\\
&-- functional programming,\\
&-- object-oriented programming,\\
&-- logic and constraint programming,\\
     &-- parallel and distributed computing.\\
$\bullet$ &$\!\!\!\!\!\!$Artificial Intelligence: \\
&-- knowledge acquisition and presentation,\\
&-- natural language processing,\\
&-- AI tools and applications.\\
$\bullet$ &$\!\!\!\!\!\!$New Information Technologies: \\
&-- user interfaces,\\
&-- new trends and applications of database systems,\\
&-- new approaches to information system design.\\[6pt]
     \end{tabular}

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 are
also encouraged.

\end{minipage}

     \vspace*{5mm}
\begin{center}{\small\bf IMPORTANT DATES}\end{center}
\begin{center}
\begin{tabular}{ll}
  submission deadline of extended abstracts &January 15, 1996\\
  notification of acceptance (by e-mail) &   March 25, 1996 \\
  arrival date                   &           June 24, 1996 \\
 the Conference dates           &              June 25--28, 1996\\
final papers due              &              September 1, 1996
     \end{tabular}
\end{center}

\noindent\parbox[t]{6.6cm}{
\small\addtolength{\baselineskip}{2.5pt}\vspace*{2cm}

\subsubsection*{\small\bf PROGRAMME COMMITTEE\\ MEMBERS}

Janis Barzdins (Riga, Latvia)\\
Frederic Benhamou (Orleans, France) \\
Mikhail Bulyonkov (Novosibirsk, Russia)\\
Piotr Dembinski (Warsaw, Poland)\\
Victor Ivannikov (Moscow, Russia)\\
Phillippe Jorrand (Grenoble, France)\\
Leonid Kalinichenko (Moscow, 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)\\
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)\\
\\
The Programme Committee is likely to be extended.

\subsubsection*{\small\bf ADDRESS FOR SUBMISSIONS\\ AND INFORMATION}
{\it by e-mail}: PSI'96@iis.nsk.su\\
{\it surface mail}:\\
     PSI'96\\
     Institute of Informatics Systems\\
     6, Acad. Lavrentjev pr.\\
     630090, Novosibirsk, Russia\\
     {\it Phone}: +7 3832 35 83 59\\
     {\it Fax}: +7 3832 32 34 94
}
\parbox[t]{5mm}{
\rule[-23.5cm]{0.2mm}{23cm}
}
\begin{minipage}[t]{11.5cm} \vspace*{4mm}
%\addtolength{\baselineskip}{-1pt}
\subsection*{\small\bf LOCATION}

The conference will be held in Academgorodok (Academy town),
30 km south from Novosibirsk, the largest city of Siberia.
Academgorodok 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.


\subsection*{\small\bf CONFERENCE STRUCTURE}

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, contributed talks, and posters ---
are
proposed.

\subsection*{\small\bf CONFERENCE PROCEEDINGS}

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

\subsection*{\small\bf SUBMISSIONS}

All submissions  must  be in English, clearly written and in
sufficient detail to allow the Programme Committee to assess  the
merits of the work. For a contributed talk or poster, the following
should be received in Novosibirsk by January 15, 1996 to be reviewed
by the Programme Committee:

1) \LaTeX~ file (or plain ASCII file in the exceptional case) of an
extended abstract (maximum 8 pages for a contributed talk and maximum
4 pages for a poster);

2) three camera-ready hard copies.

\LaTeX~ file (style llncs.sty) should be e-mailed to the following
address: PSI'96@iis.nsk.su

Hard copies should be sent to the Programme Committee secretary at
the address mentioned to the left.

The abstract should indicate complete authors' addresses
(including e-mail addresses and fax numbers if any)
and a clear statement of the
kind of the submission (contributed talk or poster). Papers arriving
late or exceeding size limits may be rejected immediately without
refereeing. The receipt of all submitted papers will be acknowledged.
Authors will be notified of acceptance by March 25, 1996.

Material submitted to the Conference should be unpublished
and not submitted for publication elsewhere, including journals
or other conferences.

\subsection*{\small\bf TRAVELLING}

A direct Lufthansa flight will bring you from Frankfurt to
Novosibirsk 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.

\subsection*{\small\bf 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. Night
swimming in the Ob lake is guaranteed.

\end{minipage}
\end{document}


