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.
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.
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).
- 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: email@example.com