Форвардирую письмо Николая Шилова, расширяя пункт (1) и выполняя пункт (10).🤓 Присоединяйтесь! <https://www.youtube.com/watch?v=XEj0a1NADc0> Андрей Климов
---------- Forwarded message --------- From: Shilov Nikolay <shilov...@mail.ru> Date: Thu, Jan 14, 2021 at 11:20 AM Subject: Приглашение на онлайн семинар ru-STEP 15 января (и далее...) Уважаемые коллеги, (1) Вы получили это письмо так как ранее (в октябре-декабре 2020 г) вы участвовали (или я приглашал вас к участию) в межлабораторном семинаре по фундаментальным вопросам программной инженерии и теории программирования. (2) Начиная с 2021 г. мы преобразуем наш семинар в «Российского онлайн-семинар по фундаментальным вопросам программной инженерии, по теории и экспериментальному программированию» ru-STEP (= russian seminar on Software Engineering, Theory and Experimental Programming)! (3) С тестовой версией страницы нашего обновленного семинара ru-STEP можно познакомиться по адресу https://persons.iis.nsk.su/ru/ruSTEP. Там вы можете найти состав учредителей семинара (и их электронные адреса), список прошедших заседаний (со ссылками на записи) и объявления о предстоящих заседаниях. (4) Желающие выступить на семинаре ru-STEP приглашаются написать по электронной почте любому/нескольким/всем из учредителей семинара (с темой письма "Заявка на ru-STEP"). (5) Желающие регулярно получать напоминание (оповещение) о ближайшем заседании накануне этого заседания (тему, докладчика, техническую среду проведения, дату и время) могут заполнить Google-форму https://forms.gle/earZy3hFJKmHQLoZ7. (6) Инаугурационное заседание семинара ru-STEP назначены на 15 января 2021 в 10:00 мск (14:00 нск) в Zoom (https://us02web.zoom.us/j/83175939824, идентификатор конференции 831 7593 9824) и посвящено Всемирному Дню Логики, отмечаемому сегодня 14 января (https://en.wikipedia.org/wiki/World_Logic_Day). (7) Всемирный День Логики отмечается в Университете Иннополис с 2018 г. (то есть с самого начала этой традиции еще до объявления UNESCO), для координации подготовки встреч у нас есть Telegram-группа и чат ( https://t.me/joinchat/FIbIVfsonWm-CKx5). Исходно цель встреч, посвященных WLD в Университете Иннополис — популяризация логики (математической прежде всего) среди будущих программистов (студентов Университета в частности). (8) Наше заседание, посвященное WLD-2021 пройдет 15 января, так как (согласно официальному сайту WLD-2021 http://wld.cipsh.international/wld.html) на 14 января запланировано слишком много виртуальных мероприятий. (9) Программа нашего-WLD-2021 на данный момент (время — московское): 10: 00-10: 10 - Открытие 10: 10-10: 40 - Захар Ягудин (II-курс Университета Иннополис): Краткое введение в 0-1-законы для графов и логик 10: 40-10: 55 - Вопросы / ответы и обсуждение 0-1-законов и связанных тем 11: 55-11: 05 - перерыв 11: 05-11: 35 - Дмитрий Кондратьев (ИСИС, младший научный сотрудник): Обзор ACL2 доказательства, что sqrt(2) не является «числом» 11: 35-11: 50 - Вопросы / ответы и обсуждение sqrt (2), ACL2 и связанных тем 11: 50-12: 00 - перерыв 12: 00-12: 30 - Борис Файфель (A / Prof, Саратовский ТУ): Уголок головоломок - Как реализовать логические головоломки на императивных языках. 12:30 -... - Заключительная дискуссия. (10) Прошу распространить информацию о семинаре ru-STEP и его странице среди коллег! Николай Вячеславович Шилов