17 декабря семинар "Технологии разработки и анализа программ"

[Eugene Kornykhin]

Доброго времени суток!

17 декабря состоится заседание Городского научно-практического
семинара "Технологии разработки и анализа программ". Речь пойдет о
применении символьной верификации моделей для повышения надежности
смарт-контрактов. Основной докладчик - Шишкин Евгений Сергеевич,
активно и плодотворно занимающийся этой темой. Аннотацию доклада и
краткую информацию о докладчике вы можете прочитать на сайте нашего
семинара: http://sdat.ispras.ru. Летом 2018 года Евгений Сергеевич уже
делал доклад на нашем семинаре: http://sdat.ispras.ru/?p=793.

Семинар пройдет вживую, в Институте системного программирования.
Начнется в четверг 17 декабря в 17:00. Аудитория 111. Попробуем
организовать дистанционный доступ, информация будет на сайте семинара:
http://sdat.ispras.ru.

С уважением,
Евгений Корныхин

[Eugene Kornykhin]

Здравствуйте! В этот четверг к нашему семинару можно подключиться
через интернет. 17 декабря 17:00. Конференция Zoom:
https://ispras.zoom.us/j/96224196373?pwd=Sk5vZThjTVF3M1FYNHVXU2tIWXc1dz09
Идентификатор конференции: 962 2419 6373
Код доступа: 852153

С уважением,
Евгений Корныхин