FINAL 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 representation, 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 Dines Bjorner UNU/IIST P.O. Box 3058, MACAU Phone: 853-719-930 fax: 853-712-940 e-mail: db@iist.unu.edu 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) 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) Bernd Neumann (Hamburg, Germany) Maurice Nivat (Paris, France) 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) 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. INVITED SPEAKERS 1. F. L. Bauer (Technische Universitaet Muenchen, Germany). Genesis of Algorithmic Languages. 2. L. Czaja (Warsaw University, Poland). Processes in Cause-Effect Structures. 3. W. Dosch (Augsburg University, Germany). Calculating Digital Circuits. 4. J. McCarthy (Stanford University, USA). How far off is Human-Level Artificial Intelligence? 5. B. Mayoh (Aarhus University, Denmark). Artificial Life and Pollution Control: explorations of a genetic algorithm system on the highly parallel connection machine. 6. W. O'Riordan (ICL, UK). Biocomputing. 7. P. Seuren (Nijmengen University, The Netherlands). Semantic Syntax. 8. A. Stepanov (Silicon Graphics, USA). Generic Programming. 9. V. Turchin. (City University of New York, USA). Supercompilation: a review of Techniques and Results. 10. N. Wirth (ETH Zurich, Switzerland). The language Lola and digital circuit design in the CS curriculum. 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 (up to 8 pages), 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 ---------------------------------------------------------------------- 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: zam@iis.nsk.su ----------------------------------------------------------------------