City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Decidable problems in logic and algebra
A survey of automated theorem proving

What: Lecture
When: Sunday, 29 September 2013, 11:15–12:50
Where: ПОМИ РАН

Description

There are many non-trivial problems of logic that are, at least in principle, decidable. I will discuss some of these, emphasizing decision procedures in interesting theories that often generalize traditional mathematical methods (quantifier elimination, Groebner bases, SMT solvers).

Video