01-06-09 13:24

Moscow-Vienna Workshop on Logic and Computation 2009

This workshop brings together eminent researchers in the area of Logic and Computation and continues a successful series of joint workshops organised by Steklov Institute Moscow and Vienna University of Technology.

June 29th - July 2nd 2009

Web page of the conference

The workshop will cover a variety of topics in theoretical and applied logic centered around the notions of proof and computation:

Topics include but are not restricted to proof theory, constructive logics, realizability, modal logic, Lambek calculus and linear logic, provability logics and algebras, formal arithmetic and fragments, methods of automated and interactive proof search, categorial grammars and other applications in linguistics, fuzzy logic and epistemic reasoning, proof complexity, computational complexity.