Доброе утро! Через час состоится семинар, о котором речь ниже.
Я не догадался сделать рассылку раньше, но одна из причин такая: у этого семинара своя система подписки, куда включаются все желающие. Подписывайтесь! Сюда могут пересылиться не все объявления. Андрей ---------- 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 — закрытие заседания семинара *Ведет заседание* Александр В. Наумчев (Университет Иннополис)
