Moscow, Russia
June 27-29, 2017

Vinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.x



Higher School of Economics

A.P. Ershov Institute of Informatics Systems

Novosibirsk State University

With the support of

Russian Academy of Sciences

The Federal Agency for Scientific Organizations

Media partners


Открытые системы

Экспертный центр электронного государства

PC Week

All media partners



Science-Intensive Software – SIS-PSI 2017 Satellite Workshop

SIS-PSI Satellite Workshop brings together academic and industrial researchers, developers and users to discuss the most recent topics of Computer Science and Software Engineering.

Programme Committee of SIS-PSI is a part of PSI PC. Accepted papers will be published in Kalpa Publications and indexed in several international indices.

Workshop 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;
  • Static program analysis;
  • Modeling and analysis of real-time and hybrid systems;
  • High performance computing.

2. Information Technologies

  • Data models;
  • Database and information systems;
  • Data mining, analytics;
  • Knowledge-based systems and knowledge engineering;
  • Ontologies and semantic Web;
  • Digital libraries, collections and archives, Web publishing.

3. Programming Methodology and 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;
  • Reuse and Product lines;
  • Integrated programming environments;
  • Software architecture;
  • Software development and testing;
  • Model-driven system/software development;
  • Software engineering methods and tools;
  • Service engineering, service oriented architecture;
  • Cloud computing;
  • Reverse engineering;
  • Software metrics, aging and reliability models and countermeasures;
  • Program understanding.

Programme Committee Chairs

Alexander K. Petrenko, Institute for System Programming of RAS, Moscow, Russia.
Andrei Voronkov, The University of Manchester, UK.

Submission Guidelines

There are three categories of submissions:

  • regular papers describing fully developed work and complete results (15 pages / 30 minute talks);
  • short papers reporting on interesting work in progress and/or preliminary results (9 pages / 15 minute talks);
  • system and experimental papers describing implementation or evaluation of experimental systems and containing a link to a working system (7 pages / 10 minute presentations).

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 PDF and formatted according to Springer LNCS Instructions for Authors;
  • be in English and in a form that can be immediately included in the proceedings without major revision;
  • be sent electronically (as a PDF file) through the submissions link to the Easychair not later than May 31st, 2017.

Questions and further information: