Email Gateway (Aug 18 2022 at 12:26): Email Gateway (Aug 18 2022 at 12:26):From: Perspectives of System Informatics <psi09@iis.nsk.su>
CALL FOR PAPERS & TUTORIAL PROPOSALS
Seventh International Andrei Ershov Memorial Conference
PERSPECTIVES OF SYSTEM INFORMATICS
15--19 June, 2009, Novosibirsk, Akademgorodok, Russia
http://psi.nsc.ru/psi09/index.shtml
[AIMS AND SCOPE]
PSI is a forum for academic and industrial researchers, developers and users
working on topics relating to computer, software and information sciences.
The conference serves to bridge the gaps between different communities whose
research areas are covered by but not limited to foundations of program and
system development and analysis, programming methodology and software
engineering, and information technologies. The PSI forum provides a venue
for such communities at which common problems, methods and methodologies can be
discussed and explored. In doing so, PSI aims to support researchers in their
quest to improve the reliability, flexibility and efficiency of methods,
algorithms and tools for developing computer, software and information systems.
The first six conferences were held in 1991, 1996, 1999, 2001, 2003 and 2006,
respectively, and proved to be significant international events.
The PSI 2009 Conference is dedicated to the memory of a prominent scientist
academician A.P. Ershov and to a significant date in the history of computer
science in the country, namely, to the 50th anniversary of the Programming
Department founded by him. Initially, the Department was a part of the Institute
of Mathematics and later, in 1964, it joined the newly established Computing
Center of the Siberian Branch of the USSR Academy of Sciences. A.P. Ershov,
who was responsible for forming the Department, gathered a team of young
graduates from the leading Soviet universities. The first significant project
of the Department was aimed at the development of ALPHA system, an optimizing
compiler for an extension of Algol 60 implemented on a Soviet computer M-20.
Later the researchers of the Department created the Algibr, Epsilon, Sigma,
and Alpha-6 programming systems for the BESM-6 computers. The list of their
achievements also includes the first Soviet time-sharing system AIST-0,
the multi-language system BETA, research projects in artificial intelligence
and parallel programming, the integrated tools for text processing and publishing,
and many others. The scope of problems facing the Programming Department was
widening in time, its organizational structure changed and there appeared new
research directions, school informatics and mixed computation among them.
Founded in 1990, the Institute of Informatics Systems is justly considered
to be a successor of the Programming Department keeping its main research
directions and maintaining its best traditions.
[CONFERENCE CHAIR]
Alexander Marchuk
A. P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
[STEERING COMMITTEE]
Manfred Broy
Institut fuer Informatik, Technische Universitaet Muenchen, Germany
Bertrand Meyer
ETH Zurich, Switzerland,
and Eiffel Software, USA
Andrei Voronkov
The University of Manchester, UK
[HONORARY MEMBERS]
Tony Hoare
Microsoft Research, Cambridge, UK
Niklaus Wirth
Departement Informatik, ETH Zurich, Switzerland
[PROGRAMME COMMITTEE CO-CHAIRS]
Amir Pnueli
New York University, USA & The Weizmann Institute of Science, Israel
Irina Virbitskaite
Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia
Andrei Voronkov
The University of Manchester, UK
[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: cher@iis.nsk.su
psi09@iis.nsk.su
[CONFERENCE TOPICS]
Conference topics include:
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.
[PROGRAMME COMMITTEE MEMBERS]
Janis Barzdins, Univ. of Latvia, Riga, Latvia
Frederic Benhamou, Univ. Nantes, France
Eike Best, Univ. Oldenburg, Germany
Stefan Brass, Univ. Halle, Germany
Kim Bruce, Pomona College, California, USA
Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia
Albertas Caplinskas, IMI, Vilnius, Lithuania
Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania
Javier Esparza, TUM, Muenchen, Germany
Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France
Chris George, UNU/IIST, Macau
Jan Friso Groote, Eindhoven Univ. of Tech., The Netherlands
Heinrich Herre, University of Leipzig, Germany
Victor Ivannikov, IPS RAS, Moscow, Russia
Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia
Joost-Pieter Katoen, RWTH Aachen Univ., Germany
Alexander Kleshchev, IACP RAS, Vladivostok, Russia
Nikolay Kolchanov, IC&G, Novosibirsk, Russia
Gregory Kucherov, CNRS/LIFL/INRIA, Lille, France
Rustan Leino, Microsoft Research, Redmond, USA
Johan Lilius, Abo Akademi Univ., Turku, Finland
Pericles Loucopoulos, Loughborough Univ., UK
Audrone Lupeikiene, IMI, Vilnius, Lithuania
Klaus Meer, Cottbus, Germany
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, Swansea Univ., Wales, UK
Peter Mueller, Microsoft Research, Redmond, USA
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, Univ. "La Sapienza", Rome, Italy
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, Humboldt Univ., Berlin, Germany
Viktor Sabelfeld, Esciris GmbH, Holzgerlingen, Germany
Donald Sannella, University of Edinburgh, UK
Timos Sellis, Nat. Tech. Univ. Athens, Greece
Alexander Semenov, Intel, Novosibirsk, Russia
Klaus-Dieter Schewe, Massey Univ, PN, New Zealand
David Schmidt, Kansas State Univ., Manhattan, USA
Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia
Alexander Tomilin, IPS RAS, Moscow, Russia
Mark Trakhtenbrot, Holon Inst. of Technology, Israel
Alexander L. Wolf, Imperial College, London, UK
Tatyana Yakhno, Dokuz Eylul Univ., Izmir, Turkey
Wang Yi, Uppsala Univ., Sweden
[INVITED SPEAKERS]
Samson Abramsky (Oxford University, UK)
Dines Bjorner (Technical University of Denmark, Denmark)
Bruno Buchberger (Johannes Kepler University, Austria)
John McCarthy (Stanford University, USA)
Wolfram Schulte (Microsoft Research, USA)
Lothar Thiele (ETH Zurich, Switzerland)
[SUBMISSIONS]
Paper submissions 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 works.
Be in PS or PDF and formatted according to Springer LNCS Instructions for
Authors: http://www.springeronline.com
Have a length that does not exceed 12 pages for a regular paper and 7 pages
for a short paper.
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/PSI2009/submit/ not later than January 23, 2009.
[CONFERENCE PROCEEDINGS]
A preliminary book of tutorial, invited and accepted contributions will be
available at the conference. The final versions of the papers presented
at the conference 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 five conferences in LNCS,
Vol. 1181, 1755, 2244, 2890 and 4378, respectively.
Information on the previous conference and some pictures can be
found at the conference web site:
http://psi.nsc.ru/psi06/index_e.shtml
[CALL FOR TUTORIAL PROPOSALS]
Tutorial proposals on PSI related topics are solicited. Proposals that
promise to bring new topics into PSI of either practical or theoretical
importance, or provide a forum for more detailed discussion on central topics
of continuing importance are highly welcome. Proposals must contain information
sufficient for the Program Committee to judge the importanc
[message truncated]
Last updated: Nov 21 2024 at 12:39 UTC