[mercury-users] PSI03

Alexandre Zamulin zam at iis.nsk.su
Tue Nov 19 15:15:31 AEDT 2002


Sorry if you receive this message more than once.


                        SECOND CALL FOR PAPERS
            Andrei Ershov Fifth International Conference
                  PERSPECTIVES OF SYSTEM INFORMATICS

        9 - 12 July 2003, Novosibirsk, Akademgorodok, Russia

AIMS AND SCOPE

The conference is held to honor the 70th anniversary of A.P. 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 at iis.nsk.su

PROGRAMME COMMITTEE CO-CHAIRS:

Manfred Broy
Institut fuer Informatik
Technische  Universitaet Muenchen
D-80290 Munich, GERMANY
Phone:         +49-89-21058161
Fax:           +49-89-21058183
E-mail:        broy at informatik.tu-muenchen.de

Alexandre Zamulin
Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
Phone: +7-3832-396258
Fax:   +7-3832-323494
E-mail: zam at iis.nsk.su

PROGRAMME COMMITTEE MEMBERS

Egidio Astesiano (University of Genova, Italy)
Janis Barzdins (University of Latvia, Riga, Latvia)
Frederic Benhamou (University of Nantes, France)
Nieves Brisaboa (University of Coruna, Spain)
Mikhail Bulyonkov (Institute of Informatics Systems, Novosibirsk, Russia)
Albertas Caplinskas (Inst. of Mathematics and Informatics, Vilnius, Lithuania)
Gabriel Ciobanu (Romanian Academy 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, Netherlands) 
Victor Ivannikov (Institute of System Programming, Moscow, Russia)
Victor Kasyanov (Institute of Informatics Systems, Novosibirsk, Russia)
Alexander Kleschev (Vladivostok, Russia)
Gregory Kucherov (INRIA/LORIA, Nancy, France)
Reino Kurki-Suonio (Tampere University of Technology, Finland) 
Giorgio Levi (University of Pisa, Italy) 
Dominique Mery (Universite' Henri Poincare', Nancy, France)
Jose Meseguer (University of Illinois at Urbana-Champaign, USA)
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 (Institute of Informatics Systems, Novosibirsk, Russia)
Peter Pepper (Technical University Berlin, Germany)
Francesco Parisi-Presicce (University Roma La Sapienza, Rome, Italy)
Ted Pedersen (University of Minnesota, Rochester, USA)
Jaan Penjam (Tallinn Technical University, Estonia)
Alexander Petrenko (Institute of System Programming, Moscow, Russia)
Jaroslav Pokorny (Charles University, Prague, Czech Republick)
Wolfgang Reisig (Technical University Berlin, Germany)
Fuji Ren (University of Tokushima, Japan)
Viktor Sabelfeld (University of Karlsruhe, Germany)
Don Sannella (University of Edinburg, UK)
Vladimir Sazonov (University of Liverpool, UK)
Timos Sellis (National Technical University of Athens, Greece)
Alexander Semenov (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)
Andrei Voronkov (University of Manchester, UK)
Jim Woodcock (University of Kent, UK)
Tatyana Yakhno (Dokuz Eylul University, Izmir, Turkey)
Wang Yi (Uppsala University, Sweden) 

CONFERENCE SECRETARY

Natalia Cheremnykh
Institute of Informatics Systems
6, Acad. Lavrentjev pr. 
630090 Novosibirsk, RUSSIA
tel.: +7-3832-342352
fax: +7-3832-323494
e-mail: {cher, 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, USA)
2. David Harel (The Weizmann Institute of Science, Israel)
3. Tony Hoare (Microsoft Research, Cambridge, UK)
4. Bertrand Meyer (ETH Zurich, Switzerland)
5. Joachim Schmidt (Technical University Hamburg-Harburg, Germany)

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) are expected to be 
published by Springer-Verlag in the Lecture Notes in Computer Science 
series (one can find the Proceedings of the previous three
conferences in LNCS, vol. 1181, 1755, 2244; a report of the previous 
conference can be found in EATCS Bulletin, No 75, (October 2001), 
pp. 241-243) and also at the conference site: www.iis.nsk.su/PSI01.

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. Electronic submissions are encouraged.
They should be received in Novosibirsk by February 2, 2003.
A PostScript file of an extended abstract (up to 10 pages for a 
regular talk and up to 5 pages for a short talk) should be
e-mailed to the following address: PSI03 at iis.nsk.su. Authors who feel that 
more details are necessary may include a clearly marked appendix which 
will be read at the discretion of the Programme Committee and 
not published in the preliminary proceedings. 
Please use LaTeX2e or LaTeX. When preparing your submission please 
follow instructions for authors of papers to be published at
Springer Lecture Notes in Computer Science series, which are available 
at www.springer.de/comp/lncs/authors.html.

The abstract should indicate complete authors' addresses (including
e-mail addresses and fax numbers if any), affiliation and a clear
statement of the kind of the submission (regular or short talk).
Papers arriving late or exceeding size limits may be rejected
immediately without refereeing. The receipt of all submitted papers
will be acknowledged by e-mail within 2 days.

Authors will be notified of acceptance by April 7, 2003.
Material submitted to the Conference should be unpublished and not
submitted for publication elsewhere, including journals or other 
conferences.

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

IMPORTANT DATES

February 2, 2003: submission deadline of extended abstracts

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)

For more information see http://www.iis.nsk.su/PSI03

N.B. The conference will be followed by a workshop on Program Understanding held in a 
picturesque place of Altay mountains. The workshop will be announced separately.


--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list