Лекции Динеса Бьорнера в Москве 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

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