среда, июня 10, 2009

Лекции Динеса Бьорнера в Москве 11 июня

11 июня 2009 года ИСП РАН посетит с дружеским визитом Динес Бьорнер – основоположник и евангелист формальных методов.

Он предположительно прочитает две лекции, с содержанием которых можно ознакомиться заранее:

Rôle of Domain Engineering in Software Development: and Why Current Requirements Engineering is Flawed !
Paper and Slides. PSI'09, Akademgorodok, Siberia, 15-19 June 2009.

Mereologies in Computing Science: paper and slides
Paper for Sir Tony Hoare's 75th Festschrift, April 16-17, 2009, Cambridge, UK. Presented at Cambridge 16 April, 2009.

Впрочем, возможно, будет рассказывать про другое, классики непредсказуемы :)

Предварительный план такой:

Лекция № 1 – с 11:00 до 12:30
Лекция № 2 – с 14:00 до 15:30

Вход свободный, если кто хочет послушать – добро пожаловать!

четверг, июня 04, 2009

А не послать ли себе виртуальный подарок?

Сегодня мне от ЖЖ пришло замечательное письмо, в котором содержался явный намёк на шизофрению, то есть раздвоение личности.

Вот, судите сами:

lj

Ладно если бы мне просто пришло напоминание о том, что у меня скоро день рождения – я бы понял, заботу проявляют, вдруг забуду.

Но предлагать мне поздравить себя с этим замечательным праздником и отправить себе виртуальный подарок – это уже, мне кажется, перебор!

Тестировщики ЖЖ, где вы???!!!