CALL FOR PAPERS PSI: 10th Ershov Informatics Conference

25 – 27 August 2015, Innopolis, Kazan, Russia

http://easychair.org/smart-program/PSI2015/ 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.

Conference Chairs Conference Topics

Bertrand Meyer 1. Foundations of Program and System Development and ETH, Zurich Analysis Irina Virbitskaite  Specification, validation, and verification techniques. A.P. Ershov Institute, Novosibirsk  Program analysis, transformation and synthesis.  Semantics, logic and formal models of programs. Programme Committee Chairs  Partial evaluation, mixed computation, abstract interpretation, compiler construction. Manuel Mazzara  Theorem proving and model checking. Innopolis  Concurrency theory. Andrei Voronkov  Static program analysis. The University of Manchester  Modeling and analysis of real-time and hybrid systems.  Computer models and algorithms for bioinformatics. Steering Committee 2. Programming Methodology and Software Engineering Dines Bjorner  Object-oriented, aspect-oriented, component-based and Technical University of Denmark generic programming. Manfred Broy  Programming by contract. Technische Universität München  Program and system construction for parallel and distributed Victor Ivannikov computing. Russian Academy of Sciences  Constraint programming. Ugo Montanari  Multi-agent technology. University of Pisa  System re-engineering and reuse.  Integrated programming environments. Publicity Chairs  Software architecture.  Software development and testing. Timur Tsiunchuk  Model-driven system/software development. Innopolis University  Agile software development. Salvatore Distefano  Software engineering methods and tools. Politecnico di Milano  Service engineering, service oriented architecture.  Reverse engineering. Workshop Chairs  Reflection techniques.  Software bugs, aging and reliability models and countermeasures. Shilov Nikolay  Program understanding and visualization. Nazarbayev U. and Ershov Inst. of Informatics Systems 3. Information Technologies Salvatore Distefano Politecnico di Milano  Data models.  Database and information systems. Keynote speakers  Data mining, analytics.  Knowledge-based systems and knowledge engineering. Hans-Ulrich Heiss  Bioinformatics engineering. TUB, Germany  Ontologies and semantic Web. Jane Hillston  Digital libraries, collections and archives, Web publishing. University of Edinburgh, UK  Peer-to-peer data management.

David Parnas Middle Road Software More generally, the conference welcomes novel scientific contributions in Helmut Veith software-related areas, and application papers showing practical Vienna University of Technology, Austria applications of research results.

1

Local Organizers Important Dates Tanya Stanko  April 16, 2015: abstract submission Innopolis University Inna Baskakova  April 23, 2015: submission deadline Innopolis University  May 31, 2015: notification of acceptance  August 25 – 27, 2015: the conference dates Programme Committee Members  November 1, 2015: camera ready papers due

Farhad Arbab, CWI and Leiden University, Netherlands David Aspinall, Univ. of Edinburgh, UK Submissions Marcello Maria Bersani, Politecnico di Milano, Italy There are three categories of submissions: Eike Best,Univ. of Oldenburg, Germany  Regular papers describing fully developed work and Nikolaj Bjørner, Microsoft Research, Redmond, USA complete results (15 pages / 30 minute talks). Naille Boukharaev, , Russia Andrea Calì, Birkbeck College, UK  Short papers reporting on interesting work in progress Mauro Caporuscio, , and/or preliminary results (9 pages / 15 minute talks). Néstor Cataño, Madeira Univ., Portugal  System and experimental papers describing Gabriel Ciobanu, Romanian Academy, Iasi, Romania implementation or evaluation of experimental systems and Volker Diekert, Univ. Stuttgart, Germany containing a link to a working system (7 pages / 10 minute Salvatore Distefano, Politecnico di Milano, Italy presentations). Nicola Dragoni, DTU, Denmark and Örebro Univ., Sweden Submissions should: Schahram Dustdar, Vienna Univ. Technology, Austria Dieter Fensel, STI Innsbruck, Austria  Present original contributions that have not been Carlo Furia, ETH, Switzerland previously published and are not being submitted to another Carlo Ghezzi, Politecnico di Milano, Italy publication. Sergei Gorlatch, Univ. Muenster, Germany  Clearly state the problem being addressed, the goal of the Jan Friso Groote, Eindhoven Univ. Tech., The Netherlands work, the results achieved, and the relation to other work. Arie Gurfinkel, Carnegie Mellon Univ., US  Be in good-quality English, in a form that can be Cliff Jones, Newcastle Univ., UK immediately published without revision. Joost-Pieter Katoen, RWTH Aachen Univ., Germany Konstantin Korovin, Univ. Manchester, UK  Be sent electronically, as a PDF file formatted according to Maciej Koutny, Newcastle Univ., UK Springer LNCS Instructions for Authors: Laura Kovacs, Chalmers Univ. Tech., Gothenburg, Sweden http://www.springeronline.com) through the submissions link Gregory Kucherov, CNRS/LIGM, Marne-la-Vallee, France to the conference website Johan Lilius, Ǻbo Akademi Univ., Turku, Finland https://easychair.org/conferences/?conf=psi2015 Anthony Widjaja Lin, Yale-NUS College, Singapore no later than April 23, 2015. Zhiming Liu, Birmingham City University Jan Madsen, DTU Copenhagen, Denmark It is permissible to include or link to an appendix listing detailed Rupak Majumdar, MPI, Kaiserslautern, Germany results or supporting data that do not fit within the page limits, as Klaus Meer, Tech. Univ. Cottbus, Germany long as the paper can be evaluated without reading this appendix. Hernán Melgratti, Univ. de Buenos Aires, Argentina Torben Mogensen, Univ. Copenhagen, Denmark Peter Mosses, Swansea Univ., UK At least one author of each accepted paper must register, attend Martin Nordio, ETH, Switzerland the conference and present the paper. José R. Paramá, Univ. A Coruña, Spain Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland Conference Proceedings Peter Pepper, TU Berlin, Germany Preliminary proceedings will be available at the conference. Final Alexander Petrenko, ISP RAS, Moscow, Russia versions of invited and accepted papers will be published by Paul Pettersson, Mälardalen Univ., Sweden Springer-Verlag after the conference in the Lecture Notes in Nadia Polikarpova, MIT, USA Computer Science series. P roceedings of previous PSIs are Qiang Qu, Innopolis University, Russia volumes 1181, 1755, 2244, 2890, 4378, 5947 and 7162 of LNCS. Andrey Rybalchenko, TUM, Munchen, Germany Wolfgang Reisig, Humboldt Univ., Berlin, Germany Location Davide Sangiorgi, Univ. of Bologna, Italy PSI 2015 will take place in the Korston conference hall in Kazan, one , Natalia Sidorova Technische Univ. Eindhoven, Netherlands of the oldest, largest and most beautiful cities in Russia, with a rich Giancarlo Succi, University of Bolzano, Italy Klaus-Dieter Schewe, SW Competence C., Hagenberg, Austria multicultural heritage and architectural treasures recognized as a Max Talanov, Kazan Federal University, Russia UNESCO World Heritage Site. Kazan was recently noted by Mark Trakhtenbrot, Holon Inst. of Technology, Israel TripAdvisor as one of the destination on the rise. A social and cultural Kishor S. Trivedi, , USA program will enable participants and companions to discover the Domagoj Vrgoc, Center for Semantic Web Research, Chile beauty of Kazan. Pre- and post-conference tours are available upon Sergey Zykov, Higher School of Economics, Russia request.

Conference Secretary Travelling You can fly directly to Kazan through Moscow or directly from a Inna Baskakova number of international destinations such as Helsinki. Trains are also Innopolis University available from Moscow. 42 Profsoyuznaya str., 420100, Kazan, Russia Tel: +7 (843) 203-92-53 (Kazan) [email protected]

2