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