[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The 10th Ershov Informatics Conference
PSI 2015 (http://easychair.org/smart-program/PSI2015/index.html)
25 - 27 August 2015,
Innopolis (http://university.innopolis.ru/en/), Kazan, Russia
CALL FOR WORKSHOPS
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 <shilov...@mail.ru> and Salvatore Distefano
<salvatore.distef...@polimi.it>.
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
