21 июня - семинар "Технологии разработки и анализа программ"
7 views
Skip to first unread message
Eugene Kornykhin
May 30, 2018, 9:30:03 AM5/30/18
to Семинар <<Технологии разработки и анализа программ>>
Доброго времени суток!
Приглашаем Вас на семинар "Технологии разработки и анализа программ" в
Институт системного программирования РАН имени В.П. Иванникова. 21
июня доклад будет делать Шишкин Евгений Сергеевич из компании
ИнфоТеКС. Его научные интересы лежат в области применения современных
методов формальной спецификации и верификации распределенных и
реактивных систем. В первую очередь это системы, построенные на основе
технологии блокчейн. Он назвал свое выступление так: "К вопросу
построения инструмента формальной верификации смарт-контрактов". Речь
пойдет о верификации смарт-контрактов. Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=793 .
Ждем Вас на семинаре в четверг, 21 июня, в 17:00. Адрес ИСП РАН:
Москва, ул. Александра Солженицына, дом 25. Во вложении письма Вы
можете посмотреть постер семинара.
С уважением,
Евгений Корныхин
Приглашаем Вас на семинар "Технологии разработки и анализа программ" в
Институт системного программирования РАН имени В.П. Иванникова. 21
июня доклад будет делать Шишкин Евгений Сергеевич из компании
ИнфоТеКС. Его научные интересы лежат в области применения современных
методов формальной спецификации и верификации распределенных и
реактивных систем. В первую очередь это системы, построенные на основе
технологии блокчейн. Он назвал свое выступление так: "К вопросу
построения инструмента формальной верификации смарт-контрактов". Речь
пойдет о верификации смарт-контрактов. Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=793 .
Ждем Вас на семинаре в четверг, 21 июня, в 17:00. Адрес ИСП РАН:
Москва, ул. Александра Солженицына, дом 25. Во вложении письма Вы
можете посмотреть постер семинара.
С уважением,
Евгений Корныхин
Reply all
Reply to author
Forward
0 new messages