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

What: | Lecture |

When: | Sunday, 29 September 2013, 11:15–12:50 |

Where: | ПОМИ РАН |

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).