16 марта - семинар "Технологии разработки и анализа программ"

[Eugene Kornykhin]

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

Приглашаем Вас на очередную встречу научно-практического семинара
"Технологии разработки и анализа программ".

После серии докладов об устройстве программных систем в этот раз будем
говорить о более математических вещах. Гречаник Сергей Александрович
из Института прикладной математики работает с множествами программ как
с единой сущностью и тем самым ему удается доказывать эквивалентность
программ друг другу. Сергей Александрович выпустил препринт на эту
тему: http://library.keldysh.ru/preprint.asp?id=2017-5 . Страница
доклада на сайте семинара: http://sdat.ispras.ru/?p=726 .

Приходите в Институт системного программирования имени В.П. Иванникова
(ул. Александра Солженицына, дом 25) 16 марта в 17:00, аудитория 110.
Вход в институт - из дворика.

Будем рады, если Вы расскажете о нашем семинаре своим коллегам,
поделитесь с ними или даже распечатаете постер семинара - он
прикреплен к этому письму.

До встречи!

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