PSI 2015 CfP
Manuel Mazzara <[email protected]> Sun, 7 Dec 2014 10:32:44 +0000
| Newsgroups | gmane.comp.science.types.announce,gmane.comp.web.services.ws-arch |
|---|---|
| Message-ID | <[email protected]> |
--===============7400467682984941465==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--===============7400467682984941465==
Content-Language: en-US
Content-Type: multipart/alternative;
boundary="_000_913ac950dead443e99765127c486b726exmb05uclocal_"
--_000_913ac950dead443e99765127c486b726exmb05uclocal_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
CALL FOR PAPERS
PSI: 10th Ershov Informatics Conference
25 - 27 August 2015, Innopolis, 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. The conference brings toge=
ther academic and industrial researchers, developers and users to discuss t=
he 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 establish=
ed scientists and younger researchers.
Local Organizers
Tanya Stanko
Innopolis University
Inna Baskakova
Innopolis University
Publicity Chairs
Timur Tsiunchuk
Innopolis University
Salvatore Distefano
Politecnico di Milano
Conference Chairs
Bertrand Meyer
ETH, Zurich
Irina Virbitskaite
A.P. Ershov Institute, Novosibirsk
Steering Committee
Dines Bjorner
Technical University of Denmark
Manfred Broy
Technische Universit=E4t M=FCnchen
Victor Ivannikov
Institute for System Programming, Russian Academy of Sciences
Ugo Montanari
University of Pisa
Programme Committee Chairs
Manuel Mazzara
Innopolis University
Andrei Voronkov
The University of Manchester
Conference Topics
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.
* Computer models and algorithms for bioinformatics.
2. Programming Methodology and Software Engineering
* Object-oriented, aspect-oriented, component-based and generic progr=
amming.
* 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.
3. 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.
More generally, the conference welcomes novel scientific contributions in s=
oftware-related areas, and application papers showing practical application=
s of research results.
Important Dates
* April 16, 2015: abstract submission
* April 23, 2015: submission deadline
* May 31, 2015: notification of acceptance
* August 25-27, 2015: the conference dates
* November 1, 2014: camera ready papers due
Programme Committee Members
Farhad Arbab, CWI and Leiden University, Netherlands
Marcello Maria Bersani, Politecnico di Milano, Italy
Nikolaj Bjrner, Microsoft Research, Redmond, USA
Andrea Cal=EC, Birbeck College, UK
Mauro Caporuscio, Linnaeus University, Sweden
Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania
Volker Diekert, Univ. Stuttgart, Germany
Salvatore Distefano, Politecnico di Milano, Italy
Nicola Dragoni, DTU Copenhagen, Denmark
Schahram Dustdar, Vienna Univ. Technology, Austria
Dieter Fensel, STI Innsbruck, Austria
Carlo Furia, ETH, Switzerland
Carlo Ghezzi, Politecnico di Milano, Italy
Sergei Gorlatch, Univ. Muenster, Germany
Jan Friso Groote, Eindhoven Univ. Tech., The Netherlands
Arie Gurfinkel, Carnegie Mellon Univ., US
Cliff Jones, Newcastle Univ., UK
Joost-Pieter Katoen, RWTH Aachen Univ., Germany
Konstantin Korovin, Univ. Manchester, UK
Maciej Koutny, Newcastle Univ., UK
Laura Kovacs, Chalmers Univ. Tech., Gothenburg, Sweden
Gregory Kucherov, CNRS/LIGM, Marne-la-Vallee, France
Johan Lilius, Abo Akademi Univ., Turku, Finland
Anthony Widjaja Lin, Yale-NUS College, Singapore
Zhiming Liu, Birmingham City University
Jan Madsen, DTU Copenhagen, Denmark
Rupak Majumdar, MPI, Kaiserslautern, Germany
Klaus Meer, Tech. Univ. Cottbus, Germany
Hernn Melgratti, Univ. de Buenos Aires, Argentina
Torben Mogensen, Univ. Copenhagen, Denmark
Peter Mosses, Swansea Univ., UK
Jos=E9 R. Param=E1, Univ. A Coru=F1a, Spain
Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland
Alexander Petrenko, ISP RAS, Moscow, Russia
Paul Pettersson, M=E4lardalen Univ., Sweden
Nadia Polikarpova, MIT, USA
Andrey Rybalchenko, TUM, Munchen, Germany
Wolfgang Reisig, Humboldt Univ., Berlin, Germany
Davide Sangiorgi, Univ. of Bologna, Italy
Giancarlo Succi, University of Bolzano, Italy
Klaus-Dieter Schewe, SW Competence C., Hagenberg, Austria
Mark Trakhtenbrot, Holon Inst. of Technology, Israel
Kishor S. Trivedi, Duke University, USA
Domagoj Vrgoc, Center for Semantic Web Research, Chile
Conference Secretary
Inna Baskakova
Innopolis University
42 Profsoyuznaya str., 420100, Kazan, Russia
Tel: +7 (843) 203-92-53 (Kazan)
Submissions
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 prel=
iminary results (9 pages / 15 minute talks).
* System and experimental papers describing implementation or evalu=
ation of experimental systems and
containing a link to a working system (7 pages / 10 minute presentations).
Submissions should:
* Present original contributions that have not been previously =
published and are not being submitted to another publication.
* Clearly state the problem being addressed, the goal of the work, the resu=
lts achieved, and the relation to other work.
* Be in good-quality English, in a form that can be immediately published w=
ithout revision.
* Be sent electronically, as a PDF file formatted according to Springer LNC=
S Instructions for Authors: http://www.springeronline.com) through the subm=
issions link to the conference website
https://easychair.org/conferences/?conf=3Dpsi2015
no later than April 23, 2015.
It is permissible to include or link to an appendix listing detailed result=
s or supporting data that do not fit within the page limits, as long as the=
paper can be evaluated without reading this appendix.
At least one author of each accepted paper must register, attend t=
he conference and present the paper.
Conference Proceedings
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 o=
f LNCS.
Location
PSI 2015 will take place in the Korston conference hall in Kazan, one of th=
e oldest, largest and most beautiful cities in Russia, with a rich multicul=
tural heritage and architectural treasures recognized as a UNESCO World Her=
itage Site. Kazan was recently noted by TripAdvisor as one of the destinati=
on 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.
Travelling
You can fly directly to Kazan through Moscow or directly from a number of i=
nternational destinations such as Helsinki. Trains are also available from =
Moscow.
--_000_913ac950dead443e99765127c486b726exmb05uclocal_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html xmlns:v=3D"urn:schemas-microsoft-com:vml" xmlns:o=3D"urn:schemas-micr=
osoft-com:office:office" xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" xmlns=3D"http:=
//www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<meta name=3D"Generator" content=3D"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-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@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=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext=3D"edit">
<o:idmap v:ext=3D"edit" data=3D"1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=3D"IT" link=3D"#0563C1" vlink=3D"#954F72">
<div class=3D"WordSection1">
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">CALL FOR PAPERS<o:p></o:p></sp=
an></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">PSI: 10th Ershov Informatics C=
onference<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">25 - 27 August 2015, Innopolis=
, Kazan, Russia<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">The Ershov Informatics Confere=
nce (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 recen=
t 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=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Local Organizers<o:p></o:p></s=
pan></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Tanya Stanko<o:p></o:p></span>=
</p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Innopolis University<o:p></o:p=
></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Inna Baskakova<o:p></o:p></spa=
n></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Innopolis University<o:p></o:p=
></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Publicity Chairs<o:p></o:p></s=
pan></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Timur Tsiunchuk<o:p></o:p></sp=
an></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Innopolis University<o:p></o:p=
></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Salvatore Distefano<o:p></o:p>=
</span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Politecnico di Milano<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Conference Chairs
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Bertrand Meyer<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">ETH, Zurich<o:p></o:p></span><=
/p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Irina Virbitskaite<o:p></o:p><=
/span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">A.P. Ershov Institute, Novosib=
irsk<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Steering Committee
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Dines Bjorner
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Technical University of Denmar=
k
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Manfred Broy<o:p></o:p></span>=
</p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Technische Universit=E4t M=FCn=
chen
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Victor Ivannikov<o:p></o:p></s=
pan></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Institute for System Programmi=
ng, Russian Academy of Sciences
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Ugo Montanari
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">University of Pisa<o:p></o:p><=
/span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Programme Committee Chairs
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Manuel Mazzara<o:p></o:p></spa=
n></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Innopolis University<o:p></o:p=
></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Andrei Voronkov<o:p></o:p></sp=
an></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">The University of Manchester<o=
:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Conference Topics<o:p></o:p></=
span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">1. Foundations of Program and =
System Development and Analysis<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Specification, validation, a=
nd verification techniques.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Program analysis, transforma=
tion and synthesis.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Semantics, logic and formal =
models of programs.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Partial evaluation, mixed co=
mputation, abstract interpretation, compiler construction.<o:p></o:p></span=
></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Theorem proving and model ch=
ecking.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Concurrency theory.<o:p></o:=
p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Static program analysis.<o:p=
></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Modeling and analysis of rea=
l-time and hybrid systems.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Computer models and algorith=
ms for bioinformatics.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">2. Programming Methodology and=
Software Engineering<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Object-oriented, =
aspect-oriented, component-based and generic progr=
amming.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Programming by contract.<o:p=
></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Program and system construct=
ion for parallel and distributed computing.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Constraint programming.<o:p>=
</o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Multi-agent technology.<o:p>=
</o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* System re-engineering and re=
use.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Integrated programming envir=
onments.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Software architecture.<o:p><=
/o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Software development and tes=
ting.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Model-driven system/software=
development.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Agile software development.<=
o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Software engineering methods=
and tools.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Service engineering, service=
oriented architecture.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Reverse engineering.<o:p></o=
:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Reflection techniques.<o:p><=
/o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Software bugs, aging and rel=
iability models and countermeasures.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Program understanding and vi=
sualization.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">3. Information Technologies<o:=
p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Data models.
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Database and information sys=
tems.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Data mining, analytics.<o:p>=
</o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Knowledge-based systems and =
knowledge engineering.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Bioinformatics engineering.<=
o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Ontologies and semantic Web.=
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Digital libraries, collectio=
ns and archives, Web publishing.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Peer-to-peer data management=
.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">More generally, the conference=
welcomes novel scientific contributions in software-related areas, and app=
lication papers showing practical applications of
research results.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Important Dates<o:p></o:p></sp=
an></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* April 16, 2015: abstract sub=
mission<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* April 23, 2015: submission d=
eadline<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* May 31, 2015: notification o=
f acceptance<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* August 25-27, 2015: the conf=
erence dates<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* November 1, 2014: camera rea=
dy papers due<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Programme Committee Members<o:=
p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Farhad Arbab, CWI and Leiden U=
niversity, Netherlands<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Marcello Maria Bersani, Politecnico di Milano=
, Italy
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Nikolaj Bjrner, Microsoft Rese=
arch, Redmond, USA<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Andrea Cal=EC, Birbeck College=
, UK<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Mauro Caporuscio, Linnaeus Uni=
versity, Sweden<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Gabriel Ciobanu, Inst. Comp. S=
c. RA, Iasi, Romania<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Volker Diekert, Univ. Stuttgart, Germany<o:p>=
</o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Salvatore Distefano, Politecnico di Milano, I=
taly<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Nicola Dragoni, DTU Copenhagen, Denmark<o:p><=
/o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Schahram Dustdar, Vienna Univ. Technology, Au=
stria<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Dieter Fensel, STI Innsbruck, Austria
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Carlo Furia, ETH, Switzerland<o:p></o:p></spa=
n></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Carlo Ghezzi, Politecnico di Milano, Italy
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Sergei Gorlatch, Univ. Muenste=
r, Germany
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Jan Friso Groote, Eindhoven Un=
iv. Tech., The Netherlands
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Arie Gurfinkel, Carnegie Mello=
n Univ., US
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Cliff Jones, Newcastle Univ., =
UK<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Joost-Pieter Katoen, RWTH Aach=
en Univ., Germany
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Konstantin Korovin, Univ. Manc=
hester, UK
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Maciej Koutny, Newcastle Univ.=
, UK
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Laura Kovacs, Chalmers Univ. T=
ech., Gothenburg, Sweden
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Gregory Kucherov, CNRS/LIGM, M=
arne-la-Vallee, France<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Johan Lilius, Abo Akademi Univ=
., Turku, Finland<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Anthony Widjaja Lin, Yale-NUS =
College, Singapore<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Zhiming Liu, Birmingham City U=
niversity
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Jan Madsen, DTU Copenhagen, De=
nmark<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Rupak Majumdar, MPI, Kaisersla=
utern, Germany
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Klaus Meer, Tech. Univ. Cottbu=
s, Germany<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Hernn Melgratti, Univ. de Buen=
os Aires, Argentina<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Torben Mogensen, Univ. Copenha=
gen, Denmark<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Peter Mosses, Swansea Univ., U=
K<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Jos=E9 R. Param=E1, Univ. A Co=
ru=F1a, Spain<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Wojciech Penczek, Inst. Comp. =
Sci., Warsaw, Poland<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Alexander Petrenko, ISP RAS, M=
oscow, Russia
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Paul Pettersson, M=E4lardalen Univ., Sweden<o=
:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Nadia Polikarpova, MIT, USA <o:p></o:p>=
</span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Andrey Rybalchenko, TUM, Munch=
en, Germany<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Wolfgang Reisig, Humboldt Univ=
., Berlin, Germany<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Davide Sangiorgi, Univ. of Bologna, Italy<o:p=
></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span style=3D"font-fa=
mily:"Courier New"">Giancarlo Succi, University of Bolzano, Italy=
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Klaus-Dieter Schewe, SW Compet=
ence C., Hagenberg, Austria<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Mark Trakhtenbrot, Holon Inst.=
of Technology, Israel<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Kishor S. Trivedi, Duke Univer=
sity, USA<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Domagoj Vrgoc, Center for Sema=
ntic Web Research, Chile<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Conference Secretary<o:p></o:p=
></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Inna Baskakova<o:p></o:p></spa=
n></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Innopolis University
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">42 Profsoyuznaya str., 420100,=
Kazan, Russia
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Tel: +7 (843) 203-92-53 (K=
azan)<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Submissions<o:p></o:p></span><=
/p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">There are three categories of =
submissions:<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Regular papers d=
escribing fully developed work and complete results=
(15 pages / 30 minute talks).<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Short papers rep=
orting on interesting work in progress and/or=
preliminary results (9 pages / 15 minute talks).<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* System and exper=
imental papers describing implementatio=
n or evaluation of experimental systems and<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">containing a link to a working=
system (7 pages / 10 minute presentations).
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Submissions should:<o:p></o:p>=
</span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Present original=
contributions that have no=
t been previously published and are not being submitted to anot=
her publication.
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Clearly state the problem be=
ing addressed, the goal of the work, the results achieved, and the relation=
to other work.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Be in good-quality English, =
in a form that can be immediately published without revision.<o:p></o:p></s=
pan></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">* Be sent electronically, as a=
PDF file formatted according to Springer LNCS Instructions for Authors: ht=
tp://www.springeronline.com) through the submissions
link to the conference website <o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">https://easychair.org/conferen=
ces/?conf=3Dpsi2015<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">no later than April 23, 2015.<=
o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">It is permissible to include o=
r link to an appendix listing detailed results or supporting data that do n=
ot 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=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">At least one =
author of each accepted paper must reg=
ister, attend the conference and present the paper.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Conference Proceedings<o:p></o=
:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Preliminary proceedings will b=
e available at the conference. Final versions of invited and accepted paper=
s will be published by Springer-Verlag after the conference
in the Lecture Notes in Computer Science series. Proceedings of previous P=
SIs are volumes 1181, 1755, 2244, 2890, 4378, 5947 and 7162 of LNCS.<o:p></=
o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Location<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">PSI 2015 will take place in th=
e Korston conference hall in Kazan, one of the oldest, largest and most bea=
utiful 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 compa=
nions to discover the beauty of
Kazan. Pre- and post-conference tours are available upon request.<o:p></o:=
p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">Travelling<o:p></o:p></span></=
p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New""><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"text-autospace:none"><span lang=3D"EN-US" s=
tyle=3D"font-family:"Courier New"">You can fly directly to Kazan =
through Moscow or directly from a number of international destinations such=
as Helsinki.
</span><span style=3D"font-family:"Courier New"">Trains are also =
available from Moscow.<o:p></o:p></span></p>
</div>
</body>
</html>
--_000_913ac950dead443e99765127c486b726exmb05uclocal_--
--===============7400467682984941465==--