2 ноября в Нью-Йорке скончался видный израильский ученый Амир Пнуэли. Профессор Пнуэли известен своими работами по темпоральной логике и ее приложением к спецификации и верификации реактивных систем. За свои пионерские исследования он удостоен премии им. Тьюринга, избран почетным профессором ряда зарубежных университетов. Профессор Пнуэли сотрудничал с ИСИ СО РАН, был сопредседателем Программного комитета PSI'09. Коллектив института выражает искренние соболезнования родным и коллегам покойного.