20 февраля 2021 г. исполняется 100 лет Борису Абрамовичу Трахтенброту. Его ученики и коллеги решили организовать коллоквиум по математической теории программирования в его честь и провести его именно в этот день - в субботу 20 февраля 2021 года.
Коллоквиум пройдет онлайн (в Zoom), данные для подключения будут высланы
участнкам, зарегистрировавшимся до 19 февраля 2021 г..
Запись коллоквиума будет доступна (не позже 28 февраля 2021 г.) на
официальном YouTube канале Высшей Школы Экономики.
(All time slots are shown according to Moscow time zone (UTC+3), please proceed to
| 12:00-12:30 |
Открытие семинара: Ирина Александровна Ломазова (Высшая школа экономики, Россия), Vladimir Sazonov (University of Liverpool, UK), Janis Barzdins (University of Latvia), Валерий Александрович Непомнящий (Институт Систем Информатики СО РАН, Новосибирск) |
| 12:30-13:00 |
Vladimir Sazonov (University of Liverpool, UK)
|
From Sequential Computability to Naturally Continuous Non-dcpo Domains - informal description
(Check abstract here.)
|
| 13:00-13:30 |
Alexander Rabinovich (Tel Aviv University, Israel)
|
Ambiguity Hierarchy of Regular Infinite Tree Languages
(Check abstract here.)
|
| 13:30-14:00 |
Alex Dekhtyar (California Polytechnic State University, USA)
|
Teaching Software Engineering for All Course (a joint talk with Bruno da Silva)
(Check abstract here.)
|
| 14:00-15:00 |
Перерыв |
| 15:00-15:30 |
Валерий Анатольевич Соколов (Ярославский Государственный Университет, Россия)
|
Об одной проблеме в алгебрах вычислимых функций
(Check abstract here.)
|
| 15:30-16:00 |
Сергей Михайлович Дудаков (Тверской государственный университет, Россия)
|
О неразрешимости теорий языков и их обобщений
(Check abstract here.)
|
| 16:00-16:30 |
Борис Николаевич Карлов (Тверской государственный университет, Россия)
|
(m,n)-жёсткие категориальные грамматики
(Check abstract here.)
|
| 16:30-17:00 |
Alexey Lisitsa (University of Liverpool, UK)
|
Finite countermodel finding for the infinite-state and parameterized verification
(Check abstract here.)
|
| 17:00-17:30 |
Sergei Artemov (Graduate Center CUNY, USA)
|
On aggregating probabilistic evidence (Check abstract here.)
|
| 17:30-18:30 |
Мемориальная сессия - Mark Trakhtenbrot (Holon Institute of Technology, Israel), Николай Вячеславович Шилов (Университет Иннополис, Россия) и все желающие выступить с воспоминаниями о Борисе Абрамовиче. |
