<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:#1F497D;}
span.EmailStyle21
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="IT" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">CALL FOR PAPERS<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">PSI: 10th Ershov Informatics Conference<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">25 - 27 August 2015, Innopolis, Kazan, Russia<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><a href="http://easychair.org/smart-program/PSI2015/">http://easychair.org/smart-program/PSI2015/</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">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. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations
between the rapidly growing Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Conference Chairs
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Bertrand Meyer<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">ETH, Zurich<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Irina Virbitskaite<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">A.P. Ershov Institute, Novosibirsk<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Programme Committee Chairs
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Manuel Mazzara<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Innopolis University<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Andrei Voronkov<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">The University of Manchester<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Steering Committee
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Dines Bjorner
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Technical University of Denmark
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Manfred Broy<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Technische Universität München
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Victor Ivannikov<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Institute for System Programming, Russian Academy of Sciences
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Ugo Montanari
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">University of Pisa<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Publicity Chairs<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Timur Tsiunchuk<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Innopolis University<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Salvatore Distefano<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Politecnico di Milano<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Workshop Chairs<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Shilov Nikolay<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Nazarbayev U. and Ershov Inst. of Informatics Systems Salvatore Distefano<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Politecnico di Milano<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Keynote speakers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Hans-Ulrich Heiss, TUB, Germany <o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Jane Hillston, University of Edinburgh, UK<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">David Parnas, Middle Road Software<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Helmut Veith, Vienna University of Technology, Austria <o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Conference Topics<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">1. Foundations of Program and System Development and Analysis<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Specification, validation, and verification techniques.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Program analysis, transformation and synthesis.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Semantics, logic and formal models of programs.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Partial evaluation, mixed computation, abstract interpretation, compiler construction.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Theorem proving and model checking.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Concurrency theory.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Static program analysis.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Modeling and analysis of real-time and hybrid systems.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Computer models and algorithms for bioinformatics.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">2. Programming Methodology and Software Engineering<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Object-oriented, aspect-oriented, component-based and generic programming.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Programming by contract.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Program and system construction for parallel and distributed computing.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Constraint programming.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Multi-agent technology.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* System re-engineering and reuse.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Integrated programming environments.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Software architecture.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Software development and testing.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Model-driven system/software development.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Agile software development.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Software engineering methods and tools.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Service engineering, service oriented architecture.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Reverse engineering.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Reflection techniques.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Software bugs, aging and reliability models and countermeasures.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Program understanding and visualization.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">3. Information Technologies<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Data models.
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Database and information systems.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Data mining, analytics.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Knowledge-based systems and knowledge engineering.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Bioinformatics engineering.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Ontologies and semantic Web.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Digital libraries, collections and archives, Web publishing.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Peer-to-peer data management.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">More generally, the conference welcomes novel scientific contributions in software-related areas, and application papers showing practical
applications of research results.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Local Organizers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Tanya Stanko<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Innopolis University<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Inna Baskakova<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Innopolis University<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Programme Committee Members<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Farhad Arbab, CWI and Leiden University, Netherlands<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">David Aspinall, Univ. of Edinburgh, UK<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Marcello Maria Bersani, Politecnico di Milano, Italy
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Eike Best, Univ. of Oldenburg, Germany<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Nikolaj Bjorner, Microsoft Research, Redmond, USA<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Naille Boukharaev, Kazan Federal University, Russia<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Andrea Calì, Birbeck College, UK<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Mauro Caporuscio, Linnaeus University, Sweden<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Néstor Cataño, Madeira Univ., Portugal<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Gabriel Ciobanu, Romanian Academy, Iasi, Romania<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Volker Diekert, Univ. Stuttgart, Germany<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Salvatore Distefano, Politecnico di Milano, Italy<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Nicola Dragoni, DTU, Denmark and Örebro Univ., Sweden<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Schahram Dustdar, Vienna Univ. Technology, Austria<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Dieter Fensel, STI Innsbruck, Austria
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Carlo Furia, ETH, Switzerland<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Carlo Ghezzi, Politecnico di Milano, Italy
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Sergei Gorlatch, Univ. Muenster, Germany
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Jan Friso Groote, Eindhoven Univ. Tech., The Netherlands
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Arie Gurfinkel, Carnegie Mellon Univ., US
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Cliff Jones, Newcastle Univ., UK<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Joost-Pieter Katoen, RWTH Aachen Univ., Germany<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Konstantin Korovin, Univ. Manchester, UK
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Maciej Koutny, Newcastle Univ., UK
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Laura Kovacs, Chalmers Univ. Tech., Gothenburg, Sweden
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Gregory Kucherov, CNRS/LIGM, Marne-la-Vallee, France<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Johan Lilius, Abo Akademi Univ., Turku, Finland<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Anthony Widjaja Lin, Yale-NUS College, Singapore<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Zhiming Liu, Birmingham City University
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Jan Madsen, DTU Copenhagen, Denmark<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Rupak Majumdar, MPI, Kaiserslautern, Germany
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Klaus Meer, Tech. Univ. Cottbus, Germany<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Hernán Melgratti, Univ. de Buenos Aires, Argentina<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Torben Mogensen, Univ. Copenhagen, Denmark<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Peter Mosses, Swansea Univ., UK<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Martin Nordio, ETH, Switzerland<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="ES-AR" style="font-family:"Courier New";mso-fareast-language:IT">José R. Paramá, Univ. A Coruña, Spain<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Peter Pepper, TU Berlin, Germany<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Alexander Petrenko, ISP RAS, Moscow, Russia
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Paul Pettersson, Mälardalen Univ., Sweden<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Nadia Polikarpova, MIT, USA <o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Qiang Qu, Innopolis University, Russia<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Andrey Rybalchenko, TUM, Munchen, Germany<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Wolfgang Reisig, Humboldt Univ., Berlin, Germany<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Davide Sangiorgi, Univ. of Bologna, Italy<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Natalia Sidorova, Technische Univ. Eindhoven, Netherlands<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Giancarlo Succi, University of Bolzano, Italy<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Klaus-Dieter Schewe, SW Competence C., Hagenberg, Austria<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Max Talanov, Kazan Federal Universty, Russia<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Mark Trakhtenbrot, Holon Inst. of Technology, Israel<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Kishor S. Trivedi, Duke University, USA<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Domagoj Vrgoc, Center for Semantic Web Research, Chile<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Sergey Zykov, Higher School of Economics, Russia<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Conference Secretary<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Inna Baskakova<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Innopolis University
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">42 Profsoyuznaya str., 420100, Kazan, Russia
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Tel: +7 (843) 203-92-53 (Kazan)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><a href="mailto:i.baskakova@innopolis.ru">i.baskakova@innopolis.ru</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Important Dates<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* April 23, 2015: abstract submission<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* April 30, 2015: submission deadline<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* June 3, 2015: notification of acceptance<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* August 25-27, 2015: the conference dates<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* November 1, 2015: camera ready papers due<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Submissions<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">There are three categories of submissions:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Regular papers describing fully developed work and complete results (15 pages / 30 minute talks).<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Short papers reporting on interesting work in progress and/or preliminary results (9 pages / 15 minute talks).<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* System and experimental papers describing implementation or evaluation of experimental systems and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">containing a link to a working system (7 pages / 10 minute presentations).
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Submissions should:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Present original contributions that have not been previously published and are not being submitted to another publication.
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Be in good-quality English, in a form that can be immediately published without revision.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">* Be sent electronically, as a PDF file formatted according to Springer LNCS Instructions for Authors:
<a href="http://www.springeronline.com">http://www.springeronline.com</a>) through the submissions link to the conference website
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><a href="https://easychair.org/conferences/?conf=psi2015">https://easychair.org/conferences/?conf=psi2015</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">no later than April 23, 2015.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">It is permissible to include or link to an appendix listing detailed results or supporting data that do not fit within the page limits,
as long as the paper can be evaluated without reading this appendix.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">At least one author of each accepted paper must register, attend the conference and present the paper.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT">Conference Proceedings<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Preliminary proceedings will be available at the conference. Final versions of invited and accepted papers will be published by Springer-Verlag
after the conference in the Lecture Notes in Computer Science series. Proceedings of previous PSIs are volumes 1181, 1755, 2244, 2890, 4378, 5947 and 7162 of LNCS.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Location<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">PSI 2015 will take place in the Korston conference hall in Kazan, one of the oldest, largest and most beautiful cities in Russia, with
a rich multicultural heritage and architectural treasures recognized as a UNESCO World Heritage Site. Kazan was recently noted by TripAdvisor as one of the destination on the rise. A social and cultural program will enable participants and companions to discover
the beauty of Kazan. Pre- and post-conference tours are available upon request.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">Travelling<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:"Courier New";mso-fareast-language:IT">You can fly directly to Kazan through Moscow or directly from a number of international destinations such as Helsinki.
</span><span style="font-family:"Courier New";mso-fareast-language:IT">Trains are also available from Moscow.<o:p></o:p></span></p>
</div>
</body>
</html>