• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Семинар по математическим основам информатики, посвященный столетию со дня рождения Бориса Абрамовича Трахтенброта

20 февраля 2021 г. исполняется 100 лет Борису Абрамовичу Трахтенброту. Его ученики и коллеги решили организовать семинар по математическим основам информатики в его честь и провести его именно в этот день - в субботу 20 февраля 2021 года.

Подробную информацию смотрите на официальном сайте Семинара - https://pais.hse.ru/centenary 

Регистрация по ссылке 

 

Программа семинара

(All time slots are shown according to Moscow time zone (UTC+3), please proceed to Time Zone Converter.)

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), Николай Вячеславович Шилов (Университет Иннополис, Россия) и все желающие выступить с воспоминаниями о Борисе Абрамовиче.