News

PSSV 2010 Call for Papers

27.01.2010

The Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010) affiliated with 5th International Computer Science Symposium in Russia (CSR-2010, http://csr2010.antat.ru, June 16-20, 2010) will be held on June 14-15, 2010 in Kazan, Russia. Extended abstract submission: March 10, 2010

Details (PDF)

Amir Pnueli passed away

05.11.2009

A prominent Israeli scientist Amir Pnueli passed away in New York on November, 2.

Professor Pnueli is internationally recognized for his works in the application of formal methods to specification, verification, systematic development, and automatic synthesis of reactive, real-time, and hybrid computerized systems. Amir Pnueli was the 1996 recipient of the ACM Turing Award "for his seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification". He also received the honorary doctorate from several European Universities.

Professor Pnueli cooperated with our Institute and was a PSI'09 PC co-chair. We express our deep condolences to Professor Pnueli's family and his colleagues.

PSI'09

15.07.2009

In the 19th of June the PSI'09 conference finished its sessions; so did the Program Understanding working seminar held as part of the conference in the Altai Mountains on June 19-23. During the conference the participants and organizers took hundreds of pictures. We have compiled a gallery of pictures showing PSI'09 sessions, events, partcipants, and the beautiful nature of the Altai Mountains.

Dear participants of the Conference! If you wish to place your photographs in the gallery, please contact the PSI'09 site webmaster at webmaster@iis.nsk.su, and we will gladly provide you with the necessary instructions.

Andrei Voronkov's Jubilee

14.05.2009

May 14, 2009 is the day of 50th anniversary of Andrei Voronkov, professor of the University of Manchester, widely recognized for his scientific achievements in various domains of computer science.

It's a particular pleasure for us to congratulate Andrei, because he is in close relations with our Institute for a long time and was an active participant of many International A.P. Ershov Conferences. Last years he is one of the Program Committee Chairs of PSI and a member of its Steering Committee.

We sincerely wish Andrei good health, many returns of this day and, of course, future success in his many-sided scientific and educational work.

Knowledge and Ontology *ELSEWHERE*

03.03.2009

One-day workshop Knowledge and Ontology *ELSEWHERE* (*ELSEWHERE*2009) will take place between Saturday, July 25, and Saturday, August 1, 2009 in affiliation with 17th International Conference on Conceptual Structures (ICCS'09), Moscow, Russia. It will be the second edition of the workshop. The first inaugural workshop took place October 03, 2008 in affiliation with 11th Russian National Conference on Artificial Intelligence (CAI-08) in Dubna near Moscow. This year the workshop will be open for international participation. Talks and papers in English are welcome!

Details

Jacob Schwartz passed away

03.03.2009

A prominent American scientist, professor of the Courant Institute Jack Schwartz passed away on March, 2nd, at the age of 79. Prof. Schwartz is well known for his works in the area of programming languages, parallel programming, artificial intelligence, and as a creator of SETL. He was a friend of Andrei Ershov and visited Akademgorodok several times. In particular, close collaboration between the Programming department and NYU within the SETL project was possible due to his efforts. The Computing center veterans remember him very well as a noted scientist and charming person. We feel deep sorrow at his death and express our condolence to his family and colleagues.

Obituary

PSI'09: Submissions Deadline Extended

18.02.2009

Submissions deadline of "Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS»" is extended to February, 28.