Александр, спасибо! Хорошая идея. Но такой расширенный доклад надо ещё подготовить. Спасибо, ваше предложение подталкивает меня...
Всего наилучшего, Андрей Климов чт, 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> > . >
