21 июня - семинар "Технологии разработки и анализа программ"
7 просмотров
Перейти к первому непрочитанному сообщению
Eugene Kornykhin
30 мая 2018 г., 09:30:0330.05.2018
– Семинар <<Технологии разработки и анализа программ>>
Доброго времени суток!
Приглашаем Вас на семинар "Технологии разработки и анализа программ" в
Институт системного программирования РАН имени В.П. Иванникова. 21
июня доклад будет делать Шишкин Евгений Сергеевич из компании
ИнфоТеКС. Его научные интересы лежат в области применения современных
методов формальной спецификации и верификации распределенных и
реактивных систем. В первую очередь это системы, построенные на основе
технологии блокчейн. Он назвал свое выступление так: "К вопросу
построения инструмента формальной верификации смарт-контрактов". Речь
пойдет о верификации смарт-контрактов. Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=793 .
Ждем Вас на семинаре в четверг, 21 июня, в 17:00. Адрес ИСП РАН:
Москва, ул. Александра Солженицына, дом 25. Во вложении письма Вы
можете посмотреть постер семинара.
С уважением,
Евгений Корныхин
Приглашаем Вас на семинар "Технологии разработки и анализа программ" в
Институт системного программирования РАН имени В.П. Иванникова. 21
июня доклад будет делать Шишкин Евгений Сергеевич из компании
ИнфоТеКС. Его научные интересы лежат в области применения современных
методов формальной спецификации и верификации распределенных и
реактивных систем. В первую очередь это системы, построенные на основе
технологии блокчейн. Он назвал свое выступление так: "К вопросу
построения инструмента формальной верификации смарт-контрактов". Речь
пойдет о верификации смарт-контрактов. Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=793 .
Ждем Вас на семинаре в четверг, 21 июня, в 17:00. Адрес ИСП РАН:
Москва, ул. Александра Солженицына, дом 25. Во вложении письма Вы
можете посмотреть постер семинара.
С уважением,
Евгений Корныхин
Ответить всем
Отправить сообщение автору
Переслать
0 новых сообщений