Доброе утро!

Через час состоится семинар, о котором речь ниже.

Я не догадался сделать рассылку раньше, но одна из причин такая: у этого
семинара своя система подписки, куда включаются все желающие.
Подписывайтесь! Сюда могут пересылиться не все объявления.

Андрей

---------- Forwarded message ---------
От: Shilov Nikolay <shilov...@mail.ru>
Date: вт, 2 февр. 2021 г., 9:39
Subject: Ближайший семинар ruSTEP - пятница 5 февраля в 12:00 (мск)
To: <n.shi...@innopolis.ru>


*В весеннем семестре 2021 г. заседания семинара ru-STEP* (russian seminar
on Software Engineering, Theory and Experimental Programming,
https://persons.iis.nsk.su/ru/ruSTEP) *будут проходить по пятницам* (раз в
две недели) *с 12:00 до 13:00* московского времени (16:00-17:30 в
Новосибирске) в 320 адитории Университета Иннополис и *в Zoom* (
https://us02web.zoom.us/j/89755115776?pwd=VDVwSnhFTENPbTYyOGphK0QwRnFkQT09,
идентификатор
897 5511 5776, пароль 709926).

*Очередное заседание семинара* состоится в пятницу 5 февраля (в
указанных выше время, месте и онлайн-среде).

*Выступает*: Николай Вячеславович Шилов (Университет Иннополис,
https://innopolis.university/professor/nikolay-shilov/).

*Тема выступления*: Устранение рекурсии в задачах на динамическое
программирование.

*Аннотация*: Трансформационный подход к верификации программ был очень
популярной темой исследований в первые десятилетия теории программирования.
Многие выдающиеся пионеры теории программирования внесли свой вклад в
разработку данного направления исследований: Джон Маккарти, Амир Пнуэли,
Дональд Кнут... Много интересных примеров трансформационного подхода было
тщательно изучено, что привело к методам устранения рекурсии, известным как
хвостовая рекурсия и как ко-рекурсия. В данной работе мы подробно исследуем
(мы надеемся) новые примеры паттернов устранимой рекурсии, причем,
устранение рекурсии основано на трансформациях программ и анализе задач,
решаемых этими программами.

*Регламен семинара*:
12:00-12:05 — открытие заседания семинара
12:05-12:12:45 — первая (основная) часть доклада
12:45-12:55 — перерыв
12:55-13:20 — вторая часть доклада (результаты, заключение, ответы на
вопросы)
13:20-13:30 — обсуждение доклада
13:30-13:35 — закрытие заседания семинара

*Ведет заседание* Александр В. Наумчев (Университет Иннополис)

Ответить