Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf

0
29

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download. This volume contains the final proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akademgorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between different communities whose research areas are covered by but not limited to foundations of program and system development and analysis, programming methodology and software engineering, and information technologies.

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988), and to a significant date in the history of computer science in the country, namely, the 50th anniversary of the Programming Department founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities.

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

The first significant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet computer M-20. Later, the researchers of the department created the Algibr, Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the first Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in artificial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

The scope of problems facing the Programming Department was widening in time, its organizational structure changed and new research directions appeared, including school informatics and mixed computation. Founded in 1990, the Institute of Informatics Systems is justly considered to be the successor of the Programming Department, preserving its main research directions and maintaining its best traditions. The first six conferences were held in 1991, 1996, 1999, 2001, 2003 and 2006, and proved to be significant international events. The seventh conference followed the traditions of the previous ones and preserved the style of the PSI conferences: the program of PSI 2009 included invited papers in addition to contributed regular and short papers.

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

This time 67 papers were submitted by researchers from 26 countries. Each paper was reviewed by four experts, at least three of them from the same or closely related discipline as the authors. The reviewers generally provided a high-quality assessment of the papers and often gave extensive comments to the authors for the possible improvement of the presentation. The Program Committee selected 26 regular and 4 short papers for presentation at the conference. A range of hot topics in system informatics was covered by five invited talks given by prominent computer scientists.

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

We are glad to express our gratitude to all the persons and organizations who contributed to the conference – to the authors of all the papers for their effort in producing the materials included here, to the sponsors for their moral, financial and organizational support, to the Steering Committee members for their coordination of the conference, to the Program Committee members and the reviewers who did their best to review and select the papers, and to the members of the Organizing Committee for their contribution to the success of this event and its great cultural program.

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

Finally, we would like to mention the fruitful cooperation with Springer during the preparation of this volume. The Program Committee work and the volume preparation were done using the EasyChair conference management system. During the last stages of preparation of this volume, we received the sad news that Amir Pnueli has passed away. We offer our condolences to his friends and family.

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf free download

Perspectives of Systems Informatics by Amir Pnueli, Irina Virbitskaite and Andrei Voronkov pdf


Please make a comment if link is not working for you.
I appreciate your valuable comments and suggestions. For more books please visit or site.

LEAVE A REPLY

Please enter your comment!
Please enter your name here