PSI'2015 Workshops

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:

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.

PSI 2015 solicits workshop proposals on topics related to the topics listed

above. Workshops shall be held either as one-day or half-day events before

or after the conference. If you would like to propose a workshop for PSI

2015, please contact the workshop chair via email by the proposal deadline

to Nikolay Shilov and Salvatore Distefano

.

To help planning, workshop proposals should contain the following data:

  • 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).

Important dates

---------------

Workshop proposals submission deadline: April 1, 2015

Notification of acceptance: April 8, 2015

Workshops: August 25-27, 2015




You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.