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» Варди рассказал о том, как практическое приложение логики в компьютерных науках привело к смене парадигм и «тихой революции» в этих областях.