PSI'19 Preliminary Call for Papers

[Andrei Klimov]

---------- Forwarded message ----------

From: PSI Conference <psi...@iis.nsk.su>
Date: Mon, Jun 25, 2018 at 3:49 PM
Subject: PSI'19 Preliminary Call for Papers


**************************************************************************
                            Preliminary Call for Papers
                 12th ERSHOV INFORMATICS CONFERENCE (PSI'19)
        02 July - 05 July, 2019, Akademgorodok, Novosibirsk, Russia
                           http://psi.nsc.ru

**************************************************************************

[IMPORTANT DATES]

January 27, 2019: abstract submission
Febuary 3, 2019: submission deadline
April 1, 2019: notification of acceptance
July 2 - 5, 2019: the conference dates
September 1, 2019: LNCS camera ready papers due

[AIMS AND SCOPE]

A.P. Ershov Informatics Conference (the PSI Conference Series, the 12th
edition) is the premier international forum in Russia for research and
its applications in computer, software and information sciences. The
conference brings together academic and industrial researchers, developers
and users to present and discuss the most recent innovations, trends,
experiences and concerns in the conference area.

PSI'19 will be held in the scope of Computer Science Summer in Russia, which
will take place at Novosibirsk State University on June, 24 - July, 5, 2019.


[ORGANIZERS]

- A.P. Ershov Institute of Informatics Systems, Siberian Branch of RAS
- Novosibirsk State University

[CONFERENCE CHAIR]

Alexander Marchuk
 A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

[STEERING COMMITTEE]

- Kim Guldstrand Larsen
Aalborg University, Denmark

- Bertrand Meyer
ETH, Zurich, Switzerland & Innopolis University, Kazan, Russia

- Vladimiro Sassone
University of Southampton, Great Britain

- Michael Gerard Hinchey
Limerick, Ireland

- Sriram Rajamani
Microsoft Research India

[PROGRAMME COMMITTEE CHAIRS]

- Nikolaj Bjorner
Microsoft Research, Redmond, USA

- Irina Virbitskaite
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

- Andrei Voronkov
The University of Manchester, UK

[CONFERENCE SECRETARY]

- Irina Adrianova
- Natalya Cheremnykh

A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
6, Acad. Lavrentiev av.
630090 Novosibirsk, Russia
tel.: +7 383 3307352
fax:  +7 383 3323494
e-mails: psico...@gmail.com, iadri...@iis.nsk.su,
cherg...@gmail.com

[PUBLICITY CHAIRS]

- Natalia Garanina
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

- Denis Ponomaryov
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

[CONFERENCE TOPICS]

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,
- agile software development,
- software engineering methods and tools,
- service engineering, service oriented architecture,
- reverse engineering,
- reflection techniques,
- software bugs, aging and reliability models and countermeasures,
- program understanding and visualization.

3. Information Technologies

- data models,
- database and information systems,
- distributed data storage and processing,
- data science and data analytics: machine learning, data mining,
  knowledge discovery,
- knowledge-based systems and knowledge engineering,
- integration of data and knowledge,
- computer models and algorithms for bioinformatics,
- digital libraries, collections and archives, Web publishing.

More generally, the conference welcomes novel contributions in the areas
of computer, software and information sciences, and application papers
showing practical uses of research results.

[CONFIRMED KEYNOTE SPEAKERS]

- Moshe Vardi
Rice University, USA

- Soeren Auer
TIB Leibniz Information Centre for Science and Technology, Hannover,
Germany

- Margus Veanes
Microsoft Research, Redmond, USA

[SUBMISSIONS]

There are three categories of submissions:

- regular papers describing fully developed work and complete results
  (12 pages / 30 minute talks);

- short papers reporting on interesting work in progress and/or
  preliminary results (7 pages / 15 minute talks);

- system and experimental papers describing implementation or evaluation
  of experimental systems and containing a link to a working system
  (4 pages / 10 minute presentation).

Submissions should

- 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:
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines;

- be in English and in a form that can be immediately included in the
  proceedings  without major revision;

- be attached (if necessary) by an appendix that contains proofs, etc.
  However, the paper must be self-contained without the appendix as long as the
  paper can be evaluated without reading this appendix;

- be sent electronically (as a PostScript or PDF file) through the
  submissions link to the conference website:
  http://www.easychair.org/conferences/?conf=psi19 not later than
  February 03, 2019.

Submitted regular papers that are judged to have limited merit may be
accepted as short papers, with up to seven pages in the proceedings. At
the time of submission, authors should indicate if they wish to have their
submission considered as a short paper in the case it is not accepted as a
regular one.

At least one author of each accepted paper must register and attend the
conference to present the paper.

[CONFERENCE PROCEEDINGS]

A preliminary book of tutorial, invited and accepted contributions will be
handed out at the conference. The final versions of the invited, regular
and short 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 seven conferences
in LNCS, Vol. 1181, 1755, 2244, 2890, 4378, 5947, 7162, 8974, 9609, and
10742, respectively.

[LOCATION]

The conference will be held in Akademgorodok, a picturesque town near Ob' Lake,
30 km south from Novosibirsk, which is the largest city of Siberia. This quiet
place with its beautiful nature and pure air is sure to foster scientific
activity and creativity of the conference participants.

[SATELLITE WORKSHOPS]

N.B. Three satellite workshops will be held in conjunction with PSI'19.

See for more information  http://psi.nsc.ru/

[Andrei Klimov]

Dear colleagues,

The submission deadline to the PSI Conference to be held in Akademgorodok, Novosibirsk, Russia is extended to February 17, 2019.

https://psi.nsc.ru 

Abstract submission is not closed yet. The PC asks to submit an abstract ASAP if you plan to submit a paper.

Best regards,

Andrei Klimov

Important Dates

• February 3, 2019: abstract submission
  
• February 17, 2019: submission deadline
  

• April 1, 2019: notification of acceptance
  

• April 27, 2019: camera ready papers for pre-proceedings
  
• July 2–5, 2019: the conference dates
  
• September 1, 2019: camera ready papers due