Call for PSI 2015 Satellite Workshops
The 10th Ershov Informatics Conference
PSI 2015
25 - 27 August 2015,
Innopolis University, Kazan, Russia
The Ershov Informatics Conference (the PSI Conference Series, 10th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. Conference Topics include:
and Salvatore Distefano
.
To help planning, workshop proposals should contain the following data:
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;
- Computer models and algorithms for bioinformatics.
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 architecture;
- Software development and testing;
- Model-driven system/software development;
- 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.
Information Technologies
- Data models;
- Database and information systems;
- Data mining, analytics;
- Knowledge-based systems and knowledge engineering;
- Bioinformatics engineering;
- Ontologies and semantic Web;
- Digital libraries, collections and archives, Web publishing;
- Peer-to-peer data management.
- Name of the workshop;
- Brief description of the workshop, including workshop topics;
- Web address of the workshop;
- Contact information of the workshop organizers;
- An estimate of the audience size;
- Proposed format of the workshop (for example, regular talks, tool demos, poster presentations, etc.);
- Duration of the workshop (one-day or half-day);
- Potential invited speakers (if any);
- Procedures for selecting papers and participants;
- Special technical or AV needs;
- Proceedings information (publication of workshop proceedings are up to the workshop organizers);
- Language (Ru vs Eng).