posted by user: ponom || 7986 views || tracked by 14 users: [display]

PSI 2014 : Ershov Informatics Conference

FacebookTwitterLinkedInGoogle

Link: http://psi.nsc.ru
 
When Jun 24, 2014 - Jun 27, 2014
Where Peterhof, St. Petersburg, Russia
Abstract Registration Due Jan 27, 2014
Submission Deadline Feb 3, 2014
Notification Due Apr 1, 2014
Final Version Due Sep 1, 2014
Categories    computer science   software engineering   verification   knowledge representation
 

Call For Papers

The Ershov Informatics Conference (the PSI Conference Series, 9th edition) is the premier international forum in Russia 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 innovations, trends, experiences and concerns in the conference area. In doing so, the forum provides a venue for building up research collaborations between the rapidly growing Russian Informatics Community and its international counterparts. Also, the conference welcomes both young researchers looking for international cooperation in computer science and established scientists willing to attract new colleagues to their research.

Programme Committee Chairs

Irina Virbitskaite
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russua

Andrei Voronkov
The University of Manchester, UK

Confirmed Keynote Speakers

Edmund M. Clarke, Carnegie Mellon University, Pittsburgh, USA
Tony Hoare, Microsoft Research in Cambridge, Cambridge, UK
Bertrand Meyer, ETH, Zurich, Switzerland Vladimiro Sassone, University of Southampton,
Southampton, UK
Vadim E. Kotov, Silicon Valley, California, USA

Conference Topics

1. Foundations of Program and System Development and Analysis
o specification, validation, and verification techniques,
o program analysis, transformation and synthesis,
o semantics, logic and formal models of programs,
o partial evaluation, mixed computation, abstract interpretation, compiler construction,
o theorem proving and model checking,
o concurrency theory,
o modeling and analysis of real-time and hybrid systems,
o computer models and algorithms for bioinformatics.

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

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

In addition to papers on topics from the list above, papers both bridging the gap between different directions and promoting mutual understanding of researchers are welcome. Papers defining the general prospects in computer, software and information sciences are also encouraged.

Organizers
 A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
 Saint Petersburg State University

Conference Chairs
Alexander Marchuk
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russua

Andrey Terekhov
Saint Petersburg State University, Saint Petersburg, Russia

Steering Committee

Dines Bjorner
Technical University of Denmark, Lyngby, Denmark

Manfred Broy,
Technische Universität München, Germany

Victor Ivannikov
Institute for System Programming RAS, Moscow, Russia

Ugo Montanari
University of Pisa, Italy

Related Resources

AIME 2024   22nd International Conference of Artificial Intelligence in Medicine
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
SOFT 2024   10th International Conference on Software Engineering
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
IEEE-JBHI (SI) 2024   Special Issue on Revolutionizing Healthcare Informatics with Generative AI: Innovations and Implications
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
CCCI 2024   2024 International Conference on Communications, Computing, Cybersecurity, and Informatics
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
AIMLNET 2024   4th International conference on AI, Machine Learning in Communications and Networks
SMM4H 2024   The 9th Social Media Mining for Health Research and Applications Workshop and Shared Tasks — Large Language Models (LLMs) and Generalizability for Social Media NLP