Андрей! По-моему, можно с теми же слайдами рассказывать то же самое без спешки как минимум 20-30 минут. Вы, по-моему, один или два слайда не успели тогда рассказать.
С уважением, Александр Коновалов From: Andrei Klimov andrei_AT_klimov.net [mailto:refal@botik.ru] Sent: Thursday, February 4, 2021 1:05 PM To: metacomputation-ru <metacomputation...@googlegroups.com> Cc: 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 + ... Александр, спасибо! Хорошая идея. Но такой расширенный доклад надо ещё подготовить. Спасибо, ваше предложение подталкивает меня... Всего наилучшего, Андрей Климов чт, 4 февр. 2021 г., 12:58 'Александр Коновалов' via Метавычисления и специализация программ <metacomputation...@googlegroups.com <mailto:metacomputation...@googlegroups.com> >: Добрый день, Андрей! Ваш доклад оказался очень интересным, но по времени втиснуть его с трудом удалось. Планируете ли Вы когда-нибудь прочитать расширенную версию этого доклада, т.е. длиннее 15 минут? Я думаю, он был бы интересен не только мне одному. С уважением, Александр Коновалов From: Andrei Klimov andrei_AT_klimov.net [mailto:refal@botik.ru <mailto:refal@botik.ru> ] Sent: Wednesday, December 30, 2020 8:54 AM To: metacomputation-ru <metacomputation...@googlegroups.com <mailto:metacomputation...@googlegroups.com> >; refal@botik.ru <mailto: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 <mailto: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 <mailto:and...@klimov.net> > wrote: Добрый вечер! Форвардирую письмо организатора семинаров CS&SE Николая Шилова с программой мероприятия в среду 30 декабря в 9:00 мск в Zoom'е. До виртуальной встречи! Андрей Климов ---------- Forwarded message --------- From: Nikolay Shilov <n.shi...@innopolis.ru <mailto: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 <mailto:shilov...@mail.ru> <shilov...@mail.ru <mailto: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> 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 <mailto: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> .
