June 29th - July 2nd 2009

kgs.logic.at/logic-computation09

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. 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, categorical grammars and other applications in linguistics, fuzzy logic and epistemic reasoning, proof complexity, computational complexity.