[DL] CfP: PSI'2014 Conference

[Denis Ponomaryov]

CALL FOR PAPERS

THE ERSHOV INFORMATICS CONFERENCE - PSI'2014

----------------------------------------------------------------
Peterhof, St. Petersburg, Russia, June 24 - 27, 2014
----------------------------------------------------------------

http://psi.nsc.ru
----------------------------------------------------------------

January 13, 2014: abstract submission
January 20, 2014: submission deadline
----------------------------------------------------------------

Programme Committee Chairs
----------------------------------------------------------------
Andrei Voronkov
The University of Manchester, UK

Irina Virbitskaite
A.P. Ershov Institute of Informatics Systems & Novosibirsk State University, Russia
----------------------------------------------------------------

The Institute of Informatics Systems (Russian Academy of Sciences) and the Saint Petersburg State University are jointly organizing the Ershov Informatics Conference (the PSI Conference Series, the 9th edition) to be held in St. Petersburg, Russia, on June 24 - 27, 2014.

The PSI Conference is the premier international forum for research and its applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to present and discuss the most recent trends, experiences and concerns in the conference area.

----------------------------------------------------------------
Conference Topics:
----------------------------------------------------------------

** Information Technologies

data models,
database and information systems,
knowledge-based systems and knowledge engineering,
bioinformatics engineering,
ontologies and semantic Web,
digital libraries, collections and archives, Web publishing,
peer-to-peer data management.

** 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,
modeling and analysis of real-time and hybrid systems,
computer models and algorithms for bioinformatics.

** Programming Methodology and Software Engineering

object-oriented, aspect-oriented, component-based and generic programming,
programming by contract,
program and system construction for parallel and distributed computing,
constraint programming,
multi-agent technology,
system re-engineering and reuse,
integrated programming environments,
software architectures,
software development and testing,
model-driven system/software development,
agile software development,
software engineering methods and tools,
program understanding and visualization

----------------------------------------------------------------
Program Committee
----------------------------------------------------------------
Samson Abramsky, Oxford Univ., UK
Frédéric Benhamou, Univ. Nantes, France
Eike Best, Univ. Oldenburg, Germany
Nikolaj Bjørner, Microsoft Research, Redmond, USA
Kim Bruce, Pomona College, California, USA
Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania
Dieter Fensel, STI Innsbruck, Austria
Jan Friso Groote, Eindhoven Univ. Technology, The Netherlands
Joost-Pieter Katoen, RWTH Aachen Univ., Germany
Laura Kovacs, Chalmers Univ. Technology, Gothenburg, Sweden
Gregory Kucherov, CNRS/LIGM, Marne-la-Vallee, France
Kim Guldstrand Larsen, Aalborg University, Denmark
Leonid Libkin, Univ. Edinburgh, UK
Johan Lilius, Ǻbo Akademi Univ., Turku, Finland
Pericles Loucopoulos, Loughborough Univ., UK
Andrea Maggiolo-Schettini, Univ. Pisa, Italy
Rupak Majumdar, MPI, Kaiserslautern, Germany
Torben Mogensen, Univ. Copenhagen, Denmark
Peter Mosses, Swansea Univ., Wales, UK
Peter Müller, ETH, Zürich, Switzerland
José R. Paramá, Univ. A Coruña, Spain
Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland
Peter Pepper, Tech. Univ. Berlin, Germany
Alexander Petrenko, ISP RAS, Moscow, Russia
Andrey Rybalchenko, TUM, Munchen, Germany
Wolfgang Reisig Humboldt Univ., Berlin, Germany
Andrei Sabelfeld, Chalmers Univ. Technology, Gothenburg, Sweden
Donald Sannella, Univ. Edinburgh, UK
Klaus-Dieter Schewe, Software Competence Centre Hagenberg, Austria
David Schmidt, Kansas State Univ., Manhattan, USA
Natasha Sharygina, Univ. Lugano, Switzerland
Val Tannen, Univ. Pennsylvania, USA
Lothar Thiele, ETH Zurich, Switzerland
Mark Trakhtenbrot, Holon Inst. of Technology, Israel
Alexander L. Wolf, Imperial College London, UK