Математическая логика в компьютерных науках

21 июля 2015
Москва
Материалы опубликованы

21 июля в Яндексе выступили выдающиеся специалисты по использованию математической логики в компьютерных науках Моше Варди (Moshe Y. Vardi) и Сэмюэл Басс (Samuel R. Buss).

Сэмюэл Басс — профессор математики Калифорнийского университета в Сан-Диего. Занимается исследованиями в области сложности вычислений и сложности доказательств. Является одним из создателей Bounded Arithmetic — направления, которое объединяет теории сложности вычислений и доказательств с формальной арифметикой. Также известен своими работами по численным методам и компьютерной графике. В докладе «The power of diagonalization for separating of complexity classes» Басс рассказал о старых и новых результатах применения метода диагонализации в задачах о разделении сложностных классов.

Моше Варди — профессор компьютерных наук университета Райса, лауреат премии Гёделя. Автор более 500 научных статей, а также соавтор двух книг: «Reasoning about Knowledge» и «Finite Model Theory and Its Applications». Является одним из ведущих специалистов в области многоагентных систем, а также в теориях баз данных, конечных моделей и верификации. В докладе «A Logical Revolution» Варди рассказал о том, как практическое приложение логики в компьютерных науках привело к смене парадигм и «тихой революции» в этих областях.

Опубликованные материалы

18:00Регистрация
18:30The power of diagonalization for separating of complexity classesСмотреть
19:30Кофе-брейк
19:50A Logical Revolution
Moshe Vardi
the Ken Kennedy Institute for Information Technology Institute at Rice University
Смотреть