Доброго времени суток!
31 октября состоится заседание городского научно-практического семинара
"Технологии разработки и анализа программ" в ИСП РАН. Выступит Шелехов
Владимир Иванович, к.т.н., зав.лаб. Системного Программирования,
Институт Систем Информатики им. А.П. Ершова СО РАН, Новосибирск. Его
доклад называется "Технология предикатного и автоматного
программирования". Авторская аннотация доклада прикреплена к письму.
Мероприятие пройдет в ИСП РАН по адресу г. Москва, ул.
Александра Солженицына, дом 25. Четверг, 31 октбря, начало в 17:00.
Аудитория 111.
Будем рады, если Вы расскажете о докладе потенциальным
заинтересованным коллегам, не получающим рассылку, к письму приложен
постер семинара.
С уважением,
Евгений Корныхин, семинар "Технологии разработки и анализа программ"
(руководитель -
Петренко Александр Константинович)
http://sdat.ispras.ru