PSI'03
A.P. Ershov Institute of Informatics Systems
Andrei Ershov Fifth International Conference «PERSPECTIVES OF SYSTEM INFORMATICS»
 

9-12 July 2003, Novosibirsk, Akademgorodok, Russia


PSI'03

Aims and Scope
Conference Topics
Location
Conference Chair
Programme Committee Co-chairs
Programme Committee Members
Conference Secretary
Invited Speakers
Travelling
Weather
Important Dates
Workshop
Acknowledgements

Aims and Scope

The conference is held to honor the 70th anniversary of Ershov's closest colleague, the late professor Igor Pottosin, (1933-2001) and his outstanding contributions towards advancing informatics. The first four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001 and proved to be significant international events.

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. His closest colleague, Igor Pottosin, worked for the Siberian Branch of Russian Academy of Sciences since 1958, step by step filling positions from junior researcher to director of A.P.Ershov Institute of Informatics Systems. In recent years he headed the Laboratory of Systems Programming in this Institute and the Department of Programming at Novosibirsk State University.

I. V. Pottosin took a leading position among Russian specialists in computer science. It is hardly possible to overestimate his contribution to the formation and development of this research direction in this country. He obtained fundamental results in the theory of program optimization, formulated main principles and typical schemes of optimizing compilers, and suggested efficient algorithms of optimizing program transformations. One of the world's first optimizing compilers ALPHA, the ALPHA-6 programming system, and the multi-language compiling system BETA were designed and developed on the basis of these results and with direct participation of Igor Pottosin. In recent years he mainly concentrated on the problems of designing programming environments for efficient and reliable program construction and headed the SOKRAT project aimed at producing software for embedded computers. Research in program analysis and programming methodology was essentially inspired by this practical work, which greatly influenced its results. Prof. Pottosin was actively involved in the training of computer professionals. There is a professor, eleven Ph.D. holders, and hundreds of graduates among his disciples.

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 are further goals.

Conference Topics

Conference topics include:

Semantics-Based Program Processing

  • program specification, transformation and verification,
  • semantics, logic and formal models of programs,
  • partial evaluation, mixed computation, and abstract interpretation,
  • program analysis and synthesis,
  • model checking.

Programming Methodology and Automated Software Engineering

  • object-oriented, aspect-oriented, component-based and generic programming,
  • 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,
  • tools for software engineering,
  • Web services in software engineering,
  • program understanding and visualization.

Information Technologies

  • database and information systems,
  • knowledge-based systems and knowledge engineering,
  • electronic commerce,
  • digital libraries and Web publishing,
  • natural language processing.

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
A.P. Ershov 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

Prof. Dr. Manfred Broy
Fakultaet fuer Informatik
Technische Universitaet Muenchen
Boltzmannstr. 3
D-85748 Garching
GERMANY
Phone: +49-89-28917304
Fax: +49-89-28917307
E-mail: broy@informatik.tu-muenchen.de

Alexandre Zamulin
A.P. Ershov 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

  • Egidio Astesiano (University of Genova, Italy)
  • Janis Barzdins (University of Latvia, Riga, Latvia)
  • Frédéric Benhamou (University of Nantes, France)
  • Nieves Brisaboa (University of A Koruña, Spain)
  • Mikhail Bulyonkov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia)
  • Albertas Caplinskas (Institute of Mathematics and Informatics, Vilnius, Lithuania)
  • Gabriel Ciobanu (Institute of Computer Science, Iasi, Romania)
  • Alexander Dikovsky (University of Nantes, France)
  • Alexander Gelbukh (National Polytechnic Institute, Mexico, Mexico)
  • Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
  • Victor Ivannikov (Institute of System Programming, Moscow, Russia)
  • Victor Kasianov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia)
  • Alexander Kleschev (Institute of Automation and Control Processes, Vladivostok, Russia)
  • Gregory Kucherov (INRIA/LORIA, Nancy, France)
  • Reino Kurki-Suonio (Tampere University of Technology, Finland)
  • Sergei Kuznetsov (Institute of System Programming, Moscow, Russia)
  • Giorgio Levi (University of Pisa, Italy)
  • Dominique Méry (Univercité Henri Poincaré, Nancy, France)
  • Ruslan Mitkov (University of Wolverhampton, UK)
  • Bernhard Moeller (University of Augsburg, Germany)
  • Hanspeter Moessenboeck (University of Linz, Austria)
  • Peter Mosses (BRICS&University of Aarhus, Denmark)
  • J Strother Moore (University of Texas at Austin, USA)
  • Ron Morrison (University of St Andrews, UK)
  • Valery Nepomniaschy (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia)
  • Peter Pepper (Technical University Berlin, Germany)
  • Francesco Parisi-Presicce (University Roma La Sapienza, Rome, Italy)
  • Jaan Penjam (Tallinn Technical University, Estonia)
  • Alexander Petrenko (Institute of System Programming, Moscow, Russia)
  • Jaroslav Pokorny (Charles University, Prague, Czech Republic)
  • Wolfgang Reisig (Technical University Berlin, Germany)
  • Fuji Ren (University of Tokushima, Japan)
  • Viktor Sabelfeld (University of Karlsruhe, Germany)
  • Don Sannella (University of Edinburgh, UK)
  • Vladimir Sazonov (University of Liverpool, UK)
  • Timos Sellis (National Technical University of Athens, Greece)
  • Alexander Semenov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia)
  • Klaus-Dieter Schewe (Massey University, Palmerston North, New Zealand)
  • David Schmidt (Kansas State University, Manhattan, USA)
  • Sibylle Schupp (Rensselaer Polytechnic Institute, Troy, USA)
  • Lothar Thiele (ETH, Zurich, Switzerland)
  • Alexander Tomilin (Institute of System Programming, Moscow, Russia)
  • Enn Tyugu (Institute of Cybernetics, Tallinn, Estonia)
  • Frits Vaandrager (University of Nijmegen, Netherlands)
  • Karin Verspoor (Los Alamos National Laboratory, USA)
  • Andrei Voronkov (University of Manchester, UK)
  • Tatyana Yakhno (Dokuz Eylul University, Izmir, Turkey)
  • Wang Yi (Uppsala University, Sweden)

Conference Secretary

Natalia Cheremnykh
A.P. Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
tel.: +7-3832-342352
fax: +7-3832-323494
e-mail: cher@iis.nsk.su, psi03@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. Kim Bruce (Williams College, Williams town, USA). "Bending without Breaking: Making Software More Flexible".
  2. David Harel (The Weizmann Institute of Science, Rehovot, Israel). "On the Visualization and Aesthetics of Large Graphs".
  3. Tony Hoare (Microsoft Research, Cambridge, UK). "The Verifying Compiler: a Grand Challenge for Computing Research".
  4. Max Kanovich (University of Pennsilvania, Philadelphia, USA) and Jacqueline Vauzeilles (University Paris 13, Paris, France). "Applications of Linear Logic Formalisms to AI Planning Problems".
  5. Bertrand Meyer (ETH Zurich, Switzerland, and Eiffel Software, USA). "How I Teach Programming".
  6. Joachim Schmidt (Technical University Hamburg-Harburg, Germany). "Content Management: Application Feedback into Models and Technology".

Travelling

A direct Siberia Airlines flight will bring you from Frankfurt, Hannover, Tel Aviv or Beijing to Novosibirsk and back. One can buy an interline Lufthansa-Siberia Airlines ticket. Participants travelling via Moscow will be helped to take a domestic flight by Aeroflot. See official site of Siberia Airlines for booking tickets online. You can find timetable of international flights in aeroport Tolmachevo near Novosibirsk at the aeroport website.

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. Night swimming in the Ob lake is guaranteed. You can see weather datails at http://www.cnn.com/WEATHER/ or, in Russian, at http://www.gismeteo.ru/weather/towns/29634.htm.

Important Dates

  • April 7, 2003: notification of acceptance (by e-mail)
  • July 8, 2003: arrival date
  • July 9-12, 2003: the conference dates
  • July 13, 2003: departure date
  • September 1, 2003: final papers due (camera-ready, LaTeX, llncs style)

Workshop

The conference will be followed by a workshop on Program Understanding held in a picturesque place of Altai mountains. The workshop page is http://psi.nsc.ru/psi03/workshop/index.

Acknowledgements

We wish to thank the following for their contribution to the success of this conference:

Microsoft Research,
U.S. Air Force European Office of Aerospace Research and Development,
U.S. Navy Office of Naval Research, International Field Office,
U.S. Army Research Laboratory, European Research Office,
U.S. Army Communications-Electronics Command (CECOM).

 

Design & development:
xTech

© 2008-2017 IIS SB RAS

WebmasterWebmaster