Second Moskow-Vienna Workshop on Logic and Computation 2002
This workshop was held in Moscow in April 2002.