Научно-популярная лекция "A Logical Revolution"

Уважаемые коллеги!

Научно-образовательный математический центр Приволжского федерального округа (mathcenter.kpfu.ru) приглашает на научно-популярную лекцию «A Logical Revolution», с которой выступит Моше Яаков Варди (Moshe Y. Vardi  https://www.cs.rice.edu/~vardi/) - израильский математик и информатик, член Американской Национальной инженерной Академии, Национальной Академии наук США, Европейской Академии, почётный профессор информатики Университета Райса (Хьюстон, Техас, США).

Лекция состоится в четверг 10 марта 2022 г. в 610 ауд. II-высотного корпуса КФУ. Начало в 18:00 (мск). Параллельно для всех онлайн участников будет организована трансляция лекции в Zoom.

Подключиться к конференции Zoom можно по ссылке:

https://us02web.zoom.us/j/81360035424?pwd=KzljaGE3QndvbjVacEZKMGNBMFF3dz09

Идентификатор конференции: 813 6003 5424

Код доступа: 392551

Аннотация лекции: Mathematical logic was developed in an effort to provide formal foundations for mathematics. In this quest, which ultimately failed, logic begat computer science, yielding both computers and theoretical computer science. But then logic turned out to be a disappointment as foundations for computer science, as almost all decision problems in logic are either unsolvable or intractable. Starting from the mid 1970s, however, there has been a quiet revolution in logic in computer science, and problems that are theoretically undecidable or intractable were shown to be quite feasible in practice. This talk describes the rise, fall, and rise of logic in computer science, describing several modern applications of logic to computing, include databases, hardware design, and software engineering.

Для справки: 

Моше Яаков Варди (род. 4 июля 1954 года) - израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди.

Его исследования сосредоточены на применении логики в информатике, включая теорию баз данных, теорию конечных моделей, знания в мультиагентных системах, компьютерной верификации и рассуждениях, а также учебной логики учебного плана. Является экспертом по проверке моделей, удовлетворенности ограничений и теории баз данных, общеизвестности (логики) и теоретическим компьютерным наукам. Автор более 400 публикаций, редактор нескольких научных сборников.

Лауреат трёх Премий IBM Outstanding Innovation Awards; Премии Гёделя 2000 года за работу с временной логикой с конечными автоматами); Премии Канеллакиса 2005 года;

Премии LICS 2006 года; В 2008 году получил президентскую Премию ACM и был награждён Медалью Блёза Паскаля в области вычислительной науки Европейской академии наук; В 2010 году получил награды за выдающиеся заслуги от Ассоциации компьютерных исследований; В 2011 году получил Премию Гуда Компьютерного общества IEEE.

Почётный доктор Саарландского университета и Орлеанского университета. Является редактором нескольких журналов. Президент Международной федерации вычислительной логики. Обладатель гранта Гуггенхайма, действительный член Ассоциации вычислительной техники, Американской ассоциации содействия развитию науки и Американской ассоциации искусственного интеллекта.

Входит в список высокоцитируемых учёных Института научной информации. Является членом Американской Национальной инженерной Академии, Национальной Академии наук США, Европейской Академии (Academia Europaea). В 2010 году избран членом Американской академии искусств и наук.