[Haskell] PSI 2006: 2nd CFP

Tue Nov 15 04:40:40 EST 2005

**************************************************
<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 at 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