posted by organizer: ngaranina || 4033 views || tracked by 5 users: [display]

PSI 2019 : The Ershov Informatics Conference

FacebookTwitterLinkedInGoogle

Link: https://psi.nsc.ru/
 
When Jul 2, 2019 - Jul 5, 2019
Where Novosibirsk, Russia
Submission Deadline Feb 17, 2019
Notification Due Apr 1, 2019
Final Version Due Apr 27, 2019
Categories    computer science   foundations of program   software engineering   information technologies
 

Call For Papers

PSI 2019

The Ershov Informatics Conference (the PSI Conference Series, 12th 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 Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

PSI 2019 will be a part of the Computer Science Summer in Russia (http://cssr.nsu.ru), which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.

Conference Chair
Alexander Marchuk, Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia

Keynote Speakers
Moshe Vardi, Rice University, USA
Sören Auer, Leibniz Information Centre for Science and Technology and University Library, Germany
Joost-Pieter Katoen, Aachen University, Germany
Marta Kwiatkowska, Oxford University, UK
Margus Veanes, Microsoft Research, Redmond, USA

Steering Committee
Kim Guldstrand Larsen, Aalborg University, Denmark
Bertrand Meyer, ETH, Zurich, Switzerland & Innopolis University, Kazan, Russia
Vladimiro Sassone, University of Southampton, UK
Michael Gerard Hinchey, Limerick, Ireland
Sriram Rajamani, Microsoft Research India

Program Committee Chairs
Nikolaj Bjørner, Microsoft Research, Redmond, USA
Irina Virbitskaite, Ershov Institute of Informatics Systems & Novosibirsk State University, Novosibirsk, Russia
Andrei Voronkov, University of Manchester, UK

Publicity Chairs
Natalia Garanina,
Denis Ponomaryov
Ershov Institute of Informatics Systems, Novosibirsk, Russia

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

2. 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 architecture
- Software development and testing
- 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
- Database and information systems
- Data models
- Distributed data storage and processing
- Data science and data analytics: machine learning, data mining, knowledge discovery
- Knowledge-based systems and knowledge engineering
- Integration of data and knowledge
- Computer models and algorithms for bioinformatics
- Digital libraries, collections and archives, Web publishing

More generally, the conference welcomes novel contributions in the areas of computer, software and information sciences, and application papers showing practical use of research results.

Important Dates
- January 27, 2019: abstract submission
- February 17, 2019: submission deadline
- April 1, 2019: notification of acceptance
- April 27, 2019: camera ready papers for pre-proceedings
- July 2–5, 2019: the conference dates
- September 1, 2019: camera ready papers due

Submissions

There are three categories of submissions:
- Regular papers describing fully developed work and complete results (15 pages / 30 minutes talks).
- Short papers reporting on interesting work in progress and/or preliminary results (9 pages / 15 minutes talks).
- System and experimental papers describing implementation or evaluation of experimental systems and containing a link to a working system (7 pages / 10 minutes presentations).

Submission Webpage:
https://easychair.org/conferences/?conf=psi2019


Program Committee Members

- Farhad Arbab, CWI and Leiden University, Netherlands
- David Aspinall, Edinburgh University, UK
- Marcello M. Bersani, Politecnico di Milano, Italy
- Leopoldo Bertossi, Carleton University, Canada
- Andrea Calì, London University, UK
- Marsha Chechik, Toronto University, Canada
- Volker Diekert, Stuttgart University, Germany
- Salvatore Distefano, Messina University, Italy
- Hans van Ditmarsch, LORIA, France
- Nicola Dragoni, Technical University of Denmark, Denmark
- Schahram Dustdar, TU Wien, Austria
- Dieter Fensel, STI Innsbruck, Austria
- Carlo A. Furia, Università della Svizzera Italiana, Italy
- Valentin Goranko, Stockholm University, Sweden
- Sergei Gorlatch, Muenster University, Germany
- Damas Gruska, Comenius University, Slovakia
- Arie Gurfinkel, Carnegie Mellon University, USA
- Konstantin Korovin, Manchester University, UK
- Maciej Koutny, Newcastle University, UK
- Laura Kovács, Vienna University of Technology, Austria
- Manuel Mazzara, Innopolis University, Russia
- Klaus Meer, Brandenburg University of Technology Cottbus-Senftenberg, Germany
- Torben Ægidius Mogensen, DIKU, Denmark
- Peter D. Mosses, Swansea University, UK
- José Ramón Paramá Gabía, University of A Coruña, Spain
- Gennady Pekhimenko, University of Toronto, Canada
- Wojciech Penczek, Institute of Computer Science PAS, Poland
- Alexander Petrenko, Institute for System Programming, Russia
- Alberto Pettorossi, University of Rome Tor Vergata, Italy
- Qiang Qu, SIAT, China
- Wolfgang Reisig, Humboldt-University of Berlin, Germany
- Andrei Sabelfeld, Chalmers University of Technology, Sweden
- Davide Sangiorgi, Bologna University, Italy
- Cristina Seceleanu, Mälardalen University, Sweden
- Natalia Sidorova, Technical University Eindhoven, Netherlands
- Giancarlo Succi, Innopolis University, Russia
- Mark Trakhtenbrot, Holon Institute of Technology, Israel
- Enrique Herrera Viedma, University of Granada, Spain
- Matthias Weidlich, Humboldt-Universitat zu Berlin, Germany

Related Resources

ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
6th ICRLSH Berlin 2020   2020 – 6th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 15-16 May, Berlin
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
13th ICRLSH July, Bali 2020   2020 – 13th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 24-25 July, Bali
CVPR 2020   Computer Vision and Pattern Recognition
9th ICRLSH June, Prague 2020   2020 – 9th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 05-06 June, Prague
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
ICAIBD--IEEE, Ei and Scopus 2020   IEEE--2020 3rd International Conference on Artificial Intelligence and Big Data (ICAIBD 2020)--Ei Compendex, Scopus
10th ICRLSH June, Singapore 2020   2020 – 10th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 12-13 June, Singapore
CMLA 2019   International Conference on Machine Learning & Applications