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