Приглашение на онлайн семинар ru-STEP 15 января (и далее...)

[Andrei Klimov]

Форвардирую письмо Николая Шилова, расширяя пункт (1) и выполняя пункт (10).🤓

Присоединяйтесь! 

Андрей Климов

---------- Forwarded message ---------

From: Shilov Nikolay <shil...@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 и его странице среди коллег!

 

Николай Вячеславович Шилов