Доброе утро! За 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). >> >>