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

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

Координатор - Ломазова Ирина Александровна