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