«Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ...

[Andrei Klimov]

Доброе утро!

Форвардирую объявление организатора семинаров CS&SE Николая Шилова о мероприятии в среду 30 декабря в 9:00 мск по Zoom'у.

До завтра (понедельника 28.12.20) приглашаются желающие подать заявку на 10-минутный доклад о волнующих ее/его проблемах CS&SE.

Андрей Климов

---------- Forwarded message ---------
From: Shilov Nikolay <shil...@mail.ru>
Date: Fri, Dec 25, 2020 at 10:22 AM
Subject: «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)

Dear All,

Next Wednesday December 30, 2020, from 9:00 to 11:00+ (Moscow time zone) we will have 7th session of our Inter-Lab seminar on CS&SE. - Please feel free to forward this invitation to colleagues who may be interested.

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).

 

Venue: 

(*) Innopolis University room 304 
OR (*) Zoom (https://us02web.zoom.us/j/85087216747?pwd=VXB0cVNtQVNTT2xTZFFWRnd4TWcwQT09, conf. id 850 8721 6747, password: 063350).

Nikolay V. Shilov

===============================

Regarding materials of the previous (6th) meeting (on Wednesday December 16): video of the talk The four PEGS of requirements engineering by Bertrand Meyer is available at https://drive.google.com/file/d/1AsWlL45xLDj4wLVOEbeCcFmXySeDMsU-/view?usp=sharing.

Abstarct: Bad software requirements can jeopardize projects., but requirements as commonly practiced remain a weak link in software engineering. What passes for requirements in industry usually consists of a few use cases or user stories, which fail to capture many essential aspects of systems. There is a considerable literature on requirements, including some excellent textbooks, but their lessons are rarely heeded; many projects, in particular, fail to take into account the Jackson-Zave distinction between system and environment. The standard IEEE plan for requirements dates back to 1998 and does not meet the demands of today’s ambitious developments. I will present ongoing work intended to help industry produce more useful requirements. It includes precise definitions of requirements concepts and a standard plan for requirements specifications. The plan contains four books covering the four “PEGS” of requirements engineering: Project, Environment, Goals and System. The talk does not attempt to introduce radical new concepts but rather builds on existing knowledge to define a solid basis for requirements engineering and provide projects with precise and helpful guidelines.

[Arkady Klimov]

Форвардирую для информации

---------- Forwarded message ---------
От: Arkady Klimov <arkady...@gmail.com>
Date: пн, 28 дек. 2020 г. в 21:05
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 + ...
To: <shil...@mail.ru>

Hello, Nikolai.

I wish to contribute the Problems' Day with a problem I encountered (within my current work) not in 2020, but in the last three years (i.e. in 2018).

If it is ok, the problem is the following.

Abstract.

Alice is going to send Bob through Carl a box with p coins, where 1 ⩽ p ⩽ P. However, Bob will not know their exact number p in advance, but only its lower and upper bounds 1 and P. Alice can mark each coin with one of K colors: 1 , 2, ..., K. We need to propose a way (which Bob will know about) to choose the number of coins of each color for each number of transferred coins p from 1 thru P so that Bob can understand that Carl did not steal anything. For example, if K⩾P, then Alice can mark all coins with the color p.
It is necessary for a given number of colors K to determine the maximum P, depending on K, at which this is possible. Or, given P, determine the smallest sufficient number of colors K.

It turns out that P(K) is described by a well-known (among SE-CS specialists) function. More precisely, for such a P(K) it is possible, and I am sure that it cannot be increased, although this has not yet been rigorously proven (and this is the problem)..

Аннотация

Алиса собирается  послать  Бобу через Карла коробку с p монетами, где  1 ⩽ p ⩽ P. Но Бобу не будет заранее известно их точное число p, но только его нижняя и верхняя грани 1 и P. Алиса каждую монету может пометит одной из K красок: 1,2,...,К. Требуется предложить способ (о котором Боб будет знать) выбрать число монет каждого цвета для каждого числа передаваемых монет p от 1 до P так, чтобы Боб смог понять, что Карл ничего не украл. Например, если К⩾Р, то Алиса может все монеты пометить цветом номер р.
Нужно при данном числе красок К определить максимальное P,  зависящее от K, при котором такое возможно. Или при данном P определить наименьшее достаточное число красок K.

Оказывается, P(K) описывается хорошо известной (среди SE-CS-специалистов) функцией. Точнее, для такого P(K) это возможно, и я уверен, что увеличить его нельзя, хотя строго это еще не доказано (и в этом проблема).

Arkady Klimov

Если будет принято, то было бы неплохо, если бы слушатели получили данную аннотацию заранее и могли чуток подумать сами - тогда будет лучше восприниматься результат.

вс, 27 дек. 2020 г. в 06:19, Andrei Klimov <and...@klimov.net>:

--
Вы получили это сообщение, поскольку подписаны на группу "Метавычисления и специализация программ".
Чтобы отменить подписку на эту группу и больше не получать от нее сообщения, отправьте письмо на электронный адрес metacomputation...@googlegroups.com.
Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке https://groups.google.com/d/msgid/metacomputation-ru/CAM7HiMnecFTHhG7zKAKm1kT0ihig5XMVrhLWGkVxOMtjab9xqg%40mail.gmail.com.

[Shilov Nikolay]

 

Спасибо, ждем Вас завтра на семинаре. — Программу вышлю сегодня попозже.

 

Н.В. Шилов

 

Вторник, 29 декабря 2020, 10:10 +03:00 от Arkady Klimov <arkady...@gmail.com>:

[Andrei Klimov]

Добрый вечер!

Форвардирую письмо организатора семинаров CS&SE Николая Шилова с программой мероприятия в среду 30 декабря в 9:00 мск в Zoom'е.

До виртуальной встречи!

Андрей Климов

---------- Forwarded message ---------
From: Nikolay Shilov <n.sh...@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: shil...@mail.ru <shil...@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 как обычно)!

=============

[Andrei Klimov]

Добрый вечер всем!

Я делаю доклад на этом семинаре (информация внизу) с такой темой (приведу по-русски и по-английски):

• Андрей Климов, Институт прикладной математики им. М.В. Келдыша РАН, Москва
• Фундаментальные не(до)решенные проблемы 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!

Всего наилучшего,

Андрей Климов

[Andrei Klimov]

Доброе утро!

За 10 мин до доклада pdf-файл презентации был обновлен по тому же адресу:

• https://drive.google.com/file/d/169tJh6oMxIaZPMTpv-wMJuUNVRWbrFUt/

Поправлена мелочь. Но можете взять снова, если вы его уже выгружали.

Андрей Климов

[Александр Коновалов]

Добрый день, Андрей!

Ваш доклад оказался очень интересным, но по времени втиснуть его с трудом удалось. Планируете ли Вы когда-нибудь прочитать расширенную версию этого доклада, т.е. длиннее 15 минут? Я думаю, он был бы интересен не только мне одному.

 

С уважением,
Александр Коновалов

[Andrei Klimov]

Александр, спасибо! 

Хорошая идея. Но такой расширенный доклад надо ещё подготовить. Спасибо, ваше предложение подталкивает меня...

Всего наилучшего, 

Андрей Климов 

чт, 4 февр. 2021 г., 12:58 'Александр Коновалов' via Метавычисления и специализация программ <metacompu...@googlegroups.com>:

--

Вы получили это сообщение, поскольку подписаны на группу "Метавычисления и специализация программ".
Чтобы отменить подписку на эту группу и больше не получать от нее сообщения, отправьте письмо на электронный адрес metacomputation...@googlegroups.com.

Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке https://groups.google.com/d/msgid/metacomputation-ru/093401d6fadc%2445553710%24cfffa530%24%40mail.ru.

[Александр Коновалов]

Андрей!

По-моему, можно с теми же слайдами рассказывать то же самое без спешки как минимум 20-30 минут. Вы, по-моему, один или два слайда не успели тогда рассказать.

[Andrei Klimov]

Александр,

Как заправка для дискуссии на рабочем семинаре в узком кругу - так можно. Тогда ожидается, что другие тоже подготовятся по теме и выступят со своими позициями. Но для полноценного выступления надо собрать на слайдах обосновывающий материал с соответствующими ссылками. А то останется как "рукомахательство".

Андрей Климов 

чт, 4 февр. 2021 г., 13:11 Александр Коновалов a.v.konovalov87_AT_mail.ru <re...@botik.ru>: