VIII рабочее совещание ИПС РАН и МГТУ 19 декабря в 16:00
Александр Коновалов a.v.konovalov87_AT_mail.ru
Доброе утро всем!
В следующую пятницу, 19 декабря в 16:00 состоится
Восьмое совместное рабочее совещание ИПС имени А.К. Айламазяна РАН
и
МГТУ имени Н.Э. Баумана
по функциональному языку программирования Рефал
Мероприятие пройдёт в смешанном очно-дистанционном формате.
Очно мероприятие будет проходить в одном из новых красивых корпусов МГТУ — Технологическом, аудитория 436т. Позже пришлю карту, как добраться. Дистанционно — через бауманский вебинар Big Blue Button, ссылка тоже позже.
Программа совещания уточняется.
У нас предполагается дистанционный докладчик — разработчик Рефала из Университета Иннополиса.
В начале следующей недели будет более подробное письмо с программой мероприятия.
Для очного участия в семинаре напишите мне за два-три дня до собрания, чтобы я успел оформить пропуска. На проходной нужно будет показать паспорт.
С уважением,
Александр Коновалов
Александр Коновалов a.v.konovalov87_AT_mail.ru
Добрый вечер, Дмитрий!
Инвайты не нужны, смотреть можно без регистрации — просто проходишь по ссылке, вводишь ник и слушаешь, можно задавать вопросы.
Аккаунты там только внутриуниверситетские у сотрудников.
Кстати, Вы нашли Бигблюбаттон какого-то другого университета, не нашего. Наши по адресам webinar[1…9].bmstu.ru
С уважением,
Александр Коновалов
From: Дмитрий Подкорытов podkorytov_AT_mail.ru <re...@botik.ru>
Sent: Friday, December 12, 2025 4:49 PM
To: re...@botik.ru
Subject: Re: VIII рабочее совещание ИПС РАН и МГТУ 19 декабря в 16:00
Доброго времени всем !
Можно ли получить инвайт на мгту bigbluebutton?
Пробовал зарегистрироваться в этой системе
по адресу
и получил ответ что нужен инвайт.
С уважением Д. А. Подкорытов
--
Sent from Mail app for Android
Thursday, 11 December 2025, 11:55PM -06:00 from Александр Коновалов a.v.konovalov87_AT_mail.ru re...@botik.ru:
Александр Коновалов a.v.konovalov87_AT_mail.ru
Добрый вечер всем!
Небольшое дополнение. Аудитория, которую дали, в новом корпусе, а мультимедийное оборудование там до конца не отлаженное, глючное. Поэтому трансляция в интернет может не работать или работать неудовлетворительно. Рекомендую приезжать очно, так надёжнее. Хотя я постараюсь всё настроить, на сколько это возможно.
В прошлые года мы проводили семинар в кафедральном компьютерном классе, где всё у нас работает отлично, но в этот раз в обоих наших компьютерных классах проходят занятия по расписанию, поэтому пришлось заказывать общеуниверситетскую аудиторию.
С уважением,
Александр Коновалов
Александр Коновалов a.v.konovalov87_AT_mail.ru
Добрый вечер всем!
Хорошая новость!
Мне удалось настроить трансляцию альтернативным путём. Трансляция будет! И дистанционные докладчики тоже будут!
Andrei Klimov andrei_AT_klimov.net
Александр Коновалов a.v.konovalov87_AT_mail.ru
Андрей Валентинович!
Будем очень рады, когда Вы подключитесь! И не только Вы — зовите Аркадия Валентиновича и Юрия Андреевича! И Вы, и Аркадий Валентинович на предыдущих семинарах всегда создавали ценную дискуссию!
Можно и очно приехать — вдвойне рады будем (и Аркадию Валентиновичу, и Юрию Андреевичу тоже)! У нас построили новые корпуса, один из них увидите изнутри, у нас красиво.
С уважением,
Александр Коновалов
P.S. Если очно поедете, напишите мне, чтобы я пропуск оформил.
From: Andrei Klimov andrei_AT_klimov.net <re...@botik.ru>
Sent: Saturday, December 13, 2025 6:11 PM
To: re...@botik.ru
Subject: Re: VIII рабочее совещание ИПС РАН и МГТУ 19 декабря в 16:00
Andrei Klimov andrei_AT_klimov.net
Arkady Klimov arkady.klimov_AT_gmail.com
Александр Коновалов a.v.konovalov87_AT_mail.ru
Доброе утро всем!
Небольшое уточнение. Для заказа пропусков очных участников присылайте мне, пожалуйста,
- фамилию,
- имя,
- отчество
- и номер телефона📞
В форме заказа пропусков есть поле номера телефона. Заказывать пропуска буду завтра днём.
Проезд в МГТУ: выходите из м. Бауманская, садитесь на трамвай, который идёт влево, выходите на остановке «МГТУ им. Н. Э. Баумана».
Дальше два варианта маршрута, оба пролегают через бюро пропусков:
Второй маршрут длиннее, но он проходит мимо наших новых красивых корпусов.
В корпусе «Т» нужно будет после входа повернуть направо, найти там большой лифт и подняться на нём до 4 этажа. Недалеко от лифта будет искомая 436т аудитория. Можно подняться и на маленьком стеклянном лифте.
С уважением,
Александр Коновалов
Александр Коновалов a.v.konovalov87_AT_mail.ru
Добрый вечер всем!
В пятницу будут следующие доклады (время ещё не определено, перечислены в случайном порядке):
- Аскар Деникеев «Система типов для статически типизированного функционального конкатенативного языка программирования с поддержкой функций первого класса»
- Андрей Немытых «Об актуальной версии-ПѮ системы программирования Рефал-5 и задачах развития и поддержки Рефала»
- Антонина Непейвода «О свойствах некоторых плоских образцов с повторными е-переменными»
- Александр Коновалов «Реализация длинной арифметики в Рефале-05»
- Кирилл Киселёв «Реализация Рефала-5 с древесным представлением данных»
- Никита Абрамов «Особенности проектирования диалекта Рефала, направленного на практическое использование»
Александр Коновалов a.v.konovalov87_AT_mail.ru
Доброе утро всем!
Программа мероприятия на завтра:
- 16:00–16:05 — открытие
- 16:05–16:35 — Аскар Деникеев «Система типов для статически типизированного функционального конкатенативного языка программирования с поддержкой функций первого класса»
- 16:35–17:05 — Никита Абрамов «Особенности проектирования диалекта Рефала, направленного на практическое использование»
- 17:05–17:35 — Антонина Непейвода «О свойствах некоторых плоских образцов с повторными е-переменными»
- 17:35–17:45 — (перерыв)
- 17:45–18:15 — Андрей Немытых «Об актуальной версии-ПѮ системы программирования Рефал-5 и задачах развития и поддержки Рефала»
- 18:15–18:45 — Кирилл Киселёв «Реализация Рефала-5 с древесным представлением данных»
- 18:45–19:15 — Александр Коновалов «Реализация длинной арифметики в Рефале-05»
- 19:15–19:20 — Закрытие
Онлайн трансляция пройдёт по ссылке: https://webinar6.bmstu.ru/b/43u-tgo-qti-bot Вебинар работает без регистрации, просто проходите по ссылке, вводите своё имя и слушаете. Вопросы можно задавать вслух или писать в чат.
Александр Коновалов a.v.konovalov87_AT_mail.ru
Добрый вечер всем!
Запись мероприятия появилась по ссылке: https://webinar6.bmstu.ru/b/43u-tgo-qti-bot
Слайды докладов немного позже Андрей Петрович опубликует на http://refal.botik.ru
Александр Коновалов a.v.konovalov87_AT_mail.ru
Добрый вечер всем!
Опубликованы программа мероприятия и слайды:
http://refal.botik.ru/events/events.htm
Программа с ссылками на слайды открывается по ссылке «подробнее…» на этой странице.