Александр, спасибо!

Хорошая идея. Но такой расширенный доклад надо ещё подготовить. Спасибо,
ваше предложение подталкивает меня...

Всего наилучшего,
Андрей Климов

чт, 4 февр. 2021 г., 12:58 'Александр Коновалов' via Метавычисления и
специализация программ <metacomputation...@googlegroups.com>:

> Добрый день, Андрей!
>
> Ваш доклад оказался очень интересным, но по времени втиснуть его с трудом
> удалось. Планируете ли Вы когда-нибудь прочитать расширенную версию этого
> доклада, т.е. длиннее 15 минут? Я думаю, он был бы интересен не только мне
> одному.
>
>
>
> С уважением,
> Александр Коновалов
>
>
>
> *From:* Andrei Klimov andrei_AT_klimov.net [mailto:refal@botik.ru]
> *Sent:* Wednesday, December 30, 2020 8:54 AM
> *To:* metacomputation-ru <metacomputation...@googlegroups.com>;
> refal@botik.ru
> *Subject:* Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's
> Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis +
> ...
>
>
>
> Доброе утро!
>
>
>
> За 10 мин до доклада pdf-файл презентации был обновлен по тому же адресу:
>
>    - https://drive.google.com/file/d/169tJh6oMxIaZPMTpv-wMJuUNVRWbrFUt/
>
> Поправлена мелочь. Но можете взять снова, если вы его уже выгружали.
>
>
>
> Андрей Климов
>
>
>
>
>
> On Wed, Dec 30, 2020 at 12:24 AM Andrei Klimov <and...@klimov.net> wrote:
>
> Добрый вечер всем!
>
>
>
> Я делаю доклад на этом семинаре (информация внизу) с такой темой (приведу
> по-русски и по-английски):
>
>    - Андрей Климов, Институт прикладной математики им. М.В. Келдыша РАН,
>    Москва
>    - *Фундаментальные не(до)решенные проблемы Computer Science & Software
>    Engineering (субъективный взгляд)*
>    - Проблема осознается лишь после того, как найдены первые решения и...
>    понято, что это не есть решения. С этой точки зрения глянем на каждую из
>    следующих давно стоящих фундаментальных проблем CS&SE. Отбор проблем
>    субъективен, а порядок лишь для удобства презентации:
>
>
>    1. детерминированные параллельные вычисления;
>       2. семантика имен, ссылок;
>       3. метавычисления;
>       4. верификация программ;
>       5. математические основания вычислений и языков; 6) слияние
>       функциональных и объектно-ориентированных языков программирования.
>
>
>    - Andrei Klimov, Keldysh Institute of Applied Mathematics of Russian
>    Academy of Sciences, Moscow
>    - *Fundamental Un(der)resolved Problems of CS&SE (a subjective view)*
>    - A problem is recognized only after the first solutions have been
>    found and... it is understood that these are non-solutions. From this point
>    of view, let's take a quick look at each of the following long standing
>    fundamental problems of CS&SE. The selection of the problems is subjective,
>    and the order is only for the convenience of presentation:
>
>
>    1. deterministic parallel computation;
>       2. semantics of names and references;
>       3. metacomputation;
>       4. program verification;
>       5. mathematical foundations of computation and languages;
>       6. merging functional and object-oriented programming languages.
>
> По условиям организаторов презентация должна быть на английском, а
> говорить можно по-русски (что я и сделаю). Презентация лежит здесь:
>
>    - https://drive.google.com/file/d/169tJh6oMxIaZPMTpv-wMJuUNVRWbrFUt/
>
> Презентация получилась длинная – 10 емких слайдов. Если по минуте на
> слайд, то теоретически за 10 мин можно успеть. Но боюсь, это вряд ли
> получится, и придется что-то пропускать или обозначать скороговоркой.
>
>
>
> Enjoy!
>
>
>
> Всего наилучшего,
>
> Андрей Климов
>
>
>
>
>
> On Tue, Dec 29, 2020 at 9:51 PM Andrei Klimov <and...@klimov.net> wrote:
>
> Добрый вечер!
>
> Форвардирую письмо организатора семинаров CS&SE Николая Шилова с
> программой мероприятия в среду 30 декабря в 9:00 мск в Zoom'е.
>
>
>
> До виртуальной встречи!
>
>
>
> Андрей Климов
>
>
>
>
>
> ---------- Forwarded message ---------
> From: *Nikolay Shilov* <n.shi...@innopolis.ru>
> Date: Tue, Dec 29, 2020 at 7:14 PM
> Subject: Reminder: «Problems’ Day» - New Year's Eve meeting of the CS&SE
> Interlaboratory Seminar Novosibirsk + Innopolis + ...: Wednesday December
> 30, 2020 at 9:00 am (Moscow time)
> To: shilov...@mail.ru <shilov...@mail.ru>
>
>
>
> Итак, завтра *в среду 30 декабря* (*с 9:00 до 11:00*) у нас последняя в
> 2020 году встреча межлабораторного семинара по фундаментальным вопросам
> программной инженерии и теории программирования. Это встреча 7 по счету, но
> особенная - это День Проблем.
>
> Объявление о встрече было разослано 25 декабря 2020 (см. в конце письма).
>
>
>
> В результате *откликнулись 6 добровольцев*, пожелавших поделиться
> проблемами в SE/CS/CE/IT/Math/Sci, волновавшие их в 2020 г. (список в
> порядке поступления заявок на выступление):
>
> (1) Дмитрий А. Кондратьев (Институт систем информатики СО РАН, Новосибирск)
>
> (2) Александр В. Наумчев (Университет Иннополис)
>
> (3) Лидия В. Городняя (Институт систем информатики СО РАН, Новосибирск)
>
> (4) Андрей В. Климов (Институт прикладной математики им. М.В. Келдыша РАН,
> Москва)
>
> (5) Аркадий В. Климов (Институт проблем проектирования в микроэлектронике
> РАН, Москва)
>
> (6) Николай В. Шилов (Университет Иннополис)
>
>
>
> Поэтому я предлагаю *организовать выступления в этом же порядке* и буду
> следить за регламентом: *каждому докладчику 10 минут на выступление и 5
> минут на короткие вопросы ответы*.
>
>
>
> Кроме того, я прошу 10 минут в перед первым выступлением (с 9:00 до 9:10),
> что бы *почтить память Эдмунда Кларка*, скончавшегося 22 декабря 2020 г. (
> https://en.wikipedia.org/wiki/Edmund_M._Clarke), а в конце (если
> останется время до 11:00) - пустить "свободный микрофон" (что бы вернуться
> к обсуждению вопросов, оставшихся после выступлений, или для совсем
> коротких выступлений "из зала").
>
>
>
> *Конференция Zoom*:
> https://us02web.zoom.us/j/85087216747?pwd=VXB0cVNtQVNTT2xTZFFWRnd4TWcwQT09,
> conf. id 850 8721 6747, password: 063350.
>
>
>
> *Вниманию сотрудников Университета Иннополис*, которые собираются принять
> очное участие: *семинар пройдет в аудитории 301* (а не 304 как обычно)!
>
>
>
> =============
>
> *Topic*: Problems’ Day
>
> *Short description*: Volunteers are invited to present in 10 minutes the
> most challenging/fascinating/interesting/exciting
> problem/result/research/topics in SE/CS/CE/IT/Math/Sci that they
> encountered/learnt/read/heard/studied in 2020. Each short presentation will
> be followed by a short Q/A & discussion. Language of presentations, Q/A &
> discussion sessions — *English *(preferable for slides) and *Russian*
> (preferable for discussion).
>
> *If you would like to contribute* — please send me back (*just as reply*)
> a short message with a title and a short (3 sentences at most) annotation
> by *Monday December 28* and be ready to present your stuff on *Wednesday
> December 30* in 10 minutes using 3-6 slides (at most).
>
> --
> Вы получили это сообщение, поскольку подписаны на группу "Метавычисления и
> специализация программ".
> Чтобы отменить подписку на эту группу и больше не получать от нее
> сообщения, отправьте письмо на электронный адрес
> metacomputation-ru+unsubscr...@googlegroups.com.
> Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке
> https://groups.google.com/d/msgid/metacomputation-ru/093401d6fadc%2445553710%24cfffa530%24%40mail.ru
> <https://groups.google.com/d/msgid/metacomputation-ru/093401d6fadc%2445553710%24cfffa530%24%40mail.ru?utm_medium=email&utm_source=footer>
> .
>
  • «Pr... Andrei Klimov andrei_AT_klimov . net
    • ... Arkady Klimov arkady . klimov_AT_gmail . com
    • ... Andrei Klimov andrei_AT_klimov . net
      • ... Andrei Klimov andrei_AT_klimov . net
        • ... Andrei Klimov andrei_AT_klimov . net
          • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
            • ... Andrei Klimov andrei_AT_klimov . net
              • ... Александр Коновалов a . v . konovalov87_AT_mail . ru
                • ... Andrei Klimov klimov_AT_keldysh . ru

Ответить