Past activities

• European Association for Computer Science Logic, executive member, 2005-2009.
• Association for Symbolic Logic, Committee for Logic in Europe member, 2005-2010.
• Colloquium on Mathematical Logic, a biweekly seminar organized together with Jaap van Oosten (Dept. of Mathematics, Utrecht University) and Benedikt Löwe (ILLC, Amsterdam), 2000-2005.
• Bulletin of Symbolic Logic, reviews editor, 2003-2008.
• Association for Symbolic Logic, Translation Committee member, 2002-2006.
• Workshop Provability Logic: New Frontiers, Utrecht, 15.01.2004, organizer.
• CSL'03 (Vienna) Program Committee member, August 2003.
• Utrecht-Münster Seminar on Provability Algebras, Utrecht-Münster, October-February, 2002/2003. Organized jointly with W. Pohlers.
• ESSLLI, European Summer School on Logic, Language and Information, Standing Committee member, 1999-2003.
• Workshop Utrecht-Münster Contact, Utrecht, May 18-19, 2001. Organized jointly with J. van Oosten.
• International conference on Mathematical Logic, Algebra and Set Theory dedicated to the 100-th anniversary of P.S. Novikov
  Moscow, August 27-31, 2001. Program and Organizing Committee member.

• Dutch-Russian cooperation project, 2005-2008:
  Logical models of human and mechanical reasoning (NWO/RFBR 047.017.014).
• Applied Proof Theory (CNRS/RFBR 06-01-72554), 2006-2009.
• Logical Calculi and Algorithms (RFBR 08-01-00963_a), 2008-2010.
• ECO-NET cooperation project, 2007-2008:
  Computational interpretations of modal logic.

Invited talks

• Intl. conference Modal Logic, Moscow, Moscow State University, Sept. 5-9, 2005.
• British Logic Colloquium, Bristol, Sept 1-3, 2005.
• 9-th Asian Logic Conference, Novosibirsk, August 16-19, 2005. Plenary speaker.
• Seminar Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics, Oberwolfach, Germany, March 20-26, 2005.
• OzsL schoolweek, Nunspeet, November 2004.
• 6-th de Morgan Conference Logic in Law, London, November 2004.
• 3rd Moscow-Vienna Workshop on Logic and Computation, Steklov Math. Institute, Moscow, May 31 - June 2, 2004.
• ASL Annual Conference, Pittsburgh, May 2004. Plenary speaker.
• Lectures at Cornell, Berkeley, Stanford universities, and CUNY graduate center, May 2004.
• The fifth international symposium on Logic, Language and Computation, Tbilisi, Georgia, October 6-10, 2003.
• Int. Congress on Logic, Methodology and Philosophy of Science, Oviedo, Spain, August 7-14, 2003.
• Kolmogorov and Contemporary Mathematics, Moscow, June 16-21, 2003. Some pictures of participants in the section of Logic and Complexity Theory.
• Logic Colloquium 2002, Münster, Germany, August 4-11, 2002. Invited tutorial.
• 2nd Moscow-Vienna Workshop on Logic and Computation, Steklov Math. Institute, Moscow, April 26-27, 2002.
• Seminar Mathematical Logic, Oberwolfach, Germany, April 7-13, 2002.
• Seminar Proof Theory in Computer Science, Dagstuhl, Germany, October 7-10, 2001.
• International conference on Mathematical Logic, Algebra and Set Theory dedicated to the 100-th anniversary of P.S. Novikov. Moscow, August 27-31, 2001.
• Alfred Tarski Centennary Conference, Banach Center, Warsaw, May 28 - June 1, 2001.