************************************************** <our apologies for cross-posting> ************************************************** SECOND CALL FOR PAPERS Sixth International Andrei Ershov Memorial Conference PERSPECTIVES OF SYSTEM INFORMATICS 27-30 June 2006, Novosibirsk, Akademgorodok, Russia http://www.iis.nsk.su/PSI06 [AIMS AND SCOPE] The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events. Andrei Ershov was one of the early Russian pioneers in the field of the theory of programming and systems programming, a founder of the Siberian Computer Science School. 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 another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals. [CONFERENCE CHAIR] Alexander Marchuk A. P. Ershov Institute of Informatics Systems Novosibirsk, Russia [STEERING COMMITTEE] Dines Bjorner Institute of Informatics and Mathematical Modelling Denmark Manfred Broy Institut fur Informatik Technische Universitat Munchen Germany Alexandre Zamulin A. P. Ershov Institute of Informatics Systems Novosibirsk, Russia [PROGRAM COMMITTEE CO-CHAIRS] Irina Virbitskaite A. P. Ershov Institute of Informatics Systems Novosibirsk, Russia Andrey Voronkov Microsoft Research Redmond, USA [CONFERENCE SECRETARY] Natalia Cheremnykh A. P. Ershov Institute of Informatics Systems 6, Acad. Lavrentjev pr. 630090 Novosibirsk, Russia tel.: +7-383-3307352 fax: +7-383-3323494 e-mail: psi06@iis.nsk.su [CONFERENCE TOPICS] Conference topics include: 1. Foundations of Program and System Development and Analysis - specification, validation, and verification techniques, - program analysis, transformation and synthesis, - semantics, logic and formal models of programs, - partial evaluation, mixed computation, abstract interpretation, compiler construction, - theorem proving and model checking, - concurrency theory, - modeling and analysis of real-time and hybrid systems, - computer models and algorithms for bioinformatics. 2. Programming Methodology and Software Engineering - object-oriented, aspect-oriented, component-based and generic programming, - programming by contract, - program and system construction for parallel and distributed computing, - constraint programming, - multi-agent technology, - system re-engineering and reuse, - integrated programming environments, - software architectures, - software development and testing, - model-driven system/software development, - agile software development, - tools for software engineering, - program understanding and visualization. 3. Information Technologies - data models, - database and information systems, - knowledge-based systems and knowledge engineering, - ontologies and semantic Web, - digital libraries, collections and archives, Web publishing, - peer-to-peer data management. In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers are welcome. Papers defining the general prospects in Computer Science are also encouraged. [PROGRAM COMMITTEE MEMBERS] Scott W. Ambler, Ambysoft Inc., Toronto, Canada Egidio Astesiano, Univ. Genova, Italy Janis Barzdins, Univ. Latvia, Riga, Latvia Frederic Benhamou, Univ. Nantes, France Stefan Brass, Univ. Halle, Germany Ed Brinksma, Univ. Twente, The Netherlands Kim Bruce, Pomona College, California, USA Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia Albertas Caplinskas, IMI, Vilnius, Lithuania Sung-Deok Cha, KAIST, Taejon, South Korea Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania Paul C. Clements, Carnegie-Mellon Univ., USA Miklos Csuroes, Univ. Montreal, Canada Serge Demeyer, Univ. of Antwerp, Belgium Alexander Dikovsky, Univ. Nantes, France Javier Esparza, Univ. Stuttgart, Germany Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France Chris George, UNU/ IIST, Macau Ivan Golosov, Intel, Novosibirsk, Russia Jan Friso Groote, Eindhoven Univ. of Technology, The Netherlands Alan Hartman, IBM Haifa Research Lab., Israel Victor Ivannikov, IPS RAS, Moscow, Russia Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia Joost-Pieter Katoen, RWTH Aachen Univ., Germany Alexander Kleschev, IACP RAS, Vladivostok, Russia Nikolay Kolchanov, ICiG, Novosibirsk,, Russia Gregory Kucherov, INRIA/LORIA, Nancy, France Johan Lilius, Abo Akademi Iniv. Turku, Finland Dominique Mery, Univ. Henri Poincare, Nancy, France Torben Mogensen, Univ. Copenhagen, Denmark Bernhard Moeller, Univ. Augsburg, Germany Hanspeter Moessenboeck, JK Univ. Linz, Austria Peter Mosses, Univ. Wales, Swansea, UK Ron Morrison, St Andrews Univ., UK Peter Mueller, ETH Zurich, Switzerland Fedor Murzin, IIS SB RAS, Novosibirsk, Russia Valery Nepomniaschy, IIS SB RAS, Russia Nikolaj Nikitchenko, Nat. Univ. Kiev, Ukraine Jose R. Parama, Univ. A Coruna, Spain Francesco Parisi-Presicce, GM Univ., Virginia, USA Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland Jaan Penjam, Tallinn Tech. Univ., Estonia Peter Pepper, Tech. Univ. Berlin, Germany Alexander Petrenko, IPS RAS, Moscow, Russia Jaroslav Pokorny, Charles U., Prague, Czech Republic Wolfgang Reisig, Tech. Univ. Berlin, Germany Viktor Sabelfeld, Univ. Karlsruhe, Germany Timos Sellis, Nation. Tech. Univ. Athens, Greece Alexander Semenov, Intel, Novosibirsk, Russia Klaus-Dieter Schewe, Massey Univ, PN, New Zealand David Schmidt, Kansas State Univ., Manhattan, USA Sibylle Schupp, Chalmers Univ. Tech., Sweden Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia Alexander Tomilin, IPS RAS, Moscow, Russia Enn Tyugu, Inst. Cybernetics, Tallinn, Estonia Alexander L. Wolf, Univ. Colorado at Boulder, USA Tatyana Yakhno, Dokuz Eylul Univ., Izmir, Turkey Wang Yi, Uppsala Univ., Sweden [INVITED SPEAKERS] 1. Amir Pnueli (Weizmann Inst. Science, Rehovot, Israel) 2. Eike Best (Univ. Oldenburg, Germany) 3. Robert Harper (Carnegie Mellon Univ., Pittsburgh, USA) 4. Rustan Leino (Microsoft Research, Redmond, USA) 5. Alexander Letichevsky (Inst. Cybernetics, Kiev, Ukraine) 6. Gordon Plotkin (Univ. Edinburgh, UK (unconfirmed)) [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. [SUBMISSIONS] Submissions for extended abstracts must: - Contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference. - Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. - Be in PS or PDF and formatted according to Springer LNCS Information for Authors: http://www.springeronline.com - Have a length that does not exceed 10 pages for a regular talk and 5 pages for a short talk. - Be in English and in a form that can be immediately included in the proceedings without major revision. - Be sent electronically (as a PostScript or PDF file) using website http://www.easychair.org/PSI2006/submit/ not later than January 23, 2006 [CONFERENCE PROCEEDINGS] A book of extended abstracts of invited and accepted talks will be available at the conference. The full versions of the papers presented at the conference (roughly, 14 pages long for a regular talk and 7 pages long for a short talk) will be published by Springer-Verlag in the Lecture Notes in Computer Science series after the conference. One can find the proceedings of the previous four conferences in LNCS, Vol. 1181, 1755, 2244 and 2890, respectively. A report on the previous conference can be found in EATCS Bulletin, No 81 (2003) 267-271, and also at the conference site: www.iis.nsk.su/PSI03/ [TRAVELLING] You can fly to Novosibirsk via Moscow by Aeroflot, Transaero or S7. Direct S7 flights will bring you from Frankfurt, Hannover, Tel-Aviv or Beijing to Novosibirsk and back. All participants will be met at the Novosibirsk airport and brought to Akademgorodok 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. [SATELLITE WORKSHOPS] Additionally the following workshops will be satellite events of PSI06: - Educational Informatics (the workshop page is http://www.iis.nsk.su/psi06/education/index_e.shtml), - Program Understanding which will be held in Altai mountains (the workshop page is http://www.iis.nsk.su/psi06/p_understanding/index_e.shtml), [IMPORTANT DATES] January 23, 2006: submission deadline of extended abstracts April 7, 2006: notification of acceptance June 27-30, 2006: the conference dates September 1, 2006: final papers due