Добрый вечер всем! Я делаю доклад на этом семинаре (информация внизу) с такой темой (приведу по-русски и по-английски):
- Андрей Климов, Институт прикладной математики им. М.В. Келдыша РАН, Москва - *Фундаментальные не(до)решенные проблемы 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). > >