Current or recent activities

Program Committee Work

• Logic Colloquium 2012 (Manchester, July 12-18, 2012)
• Logic in Computer Science (LICS 2012, Dubrovnik, June 25-28, 2012)
• Proof Theory and Modal Logic (Barcelona, April 16-19, 2012)
• Logical Models of Reasoning and Computation 2012 (Moscow, February 1-3, 2012, PC Chair).
• Workshop on Logic, Language, Information and Computation 2011 (Philadelphia, May 18-24, 2011, PC Chair)

  L. Beklemishev, R. de Queiroz, eds. (2011). Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings. Lecture Notes in Computer Science, LNCS 6642, Springer, 2011, x+311 p.

• Advances in Modal Logic 2010 (Moscow, August 24-27, 2010)

  L. Beklemishev, V. Goranko, V. Shehtman, eds. (2010): Advances in Modal Logic, vol. 8, College Publications, London, UK, 2010, ix + 505 p.

• Computer Science in Russia conferences: CSR2010, CSR2009, CSR2008, CSR2007
• Structures and Deduction 2009, Mal'tsev Meeting 2009, LMRC08 (PC Co-chair), WOLLIC'08, CiE 2008, LFCS'07, CSL'07, LAC2006 (PC Chair)

Conference organization

• Logical Models of Reasoning and Computation 2012 (Moscow, February 1-3, 2012).
• Advances in Modal Logic 2010 (Moscow, August 24-27, 2010).
• Traditional Christmas Session MIAN/POMI 2009, Logic and Theoretical Computer Science (Steklov Mathematical Institute, Moscow, December 16-18, 2009).
• Moscow-Vienna Workshop series on Logic and Computation,
  co-organizer jointly with S.I.Adian (Moscow) and M. Baaz (Vienna).

  6th: Moscow, Steklov Mathematical Institute, February 1-3, 2012 (jointly with LMRC2012)

  5th: Vienna University of Technology, June 29-July 1, 2009.

  4th: Vienna University of Technology, July 2-3, 2007.

  3rd: Moscow, Steklov Mathematical Institute, May 31 - June 2, 2004.

     Proceedings volume: S.I. Adian, M. Baaz, L. Beklemishev, eds.
     Third Moscow-Vienna Workshop on Logic and Computation. Selected papers.
     Journal of Logic and Computation, Volume 15, Number 4, August 2005.

  2nd: Moscow, Steklov Mathematical Institute, April 26-27, 2002.

  1st: Moscow, Steklov Mathematical Institute, December 28-29, 2001.

• Logical Models of Reasoning and Computation, LMRC08 (Steklov Mathematical Institute, Moscow, May 5-8, 2008)
• Logical Models of Reasoning and Computation, II (Utrecht University, November 25-26, 2008)
• Moscow Symposium on Logic, Algebra and Computation, LAC2006 (Steklov Mathematical Institute, Moscow, February 8-10, 2006)

• Izvestiya: Mathematics, editor
• Archive for Mathematical Logic, editor
• Bulletin of Symbolic Logic, reviews editor, 2003-2008.

• DKAL: a distributed knowledge authorization language, Microsoft Research, 2010-2011. See Yuri Gurevich's DKAL page.
• Swiss-Russian cooperation project (STCP-CH-RU), 2010-2012:
  Computational Proof Theory.
• Applications of methods of mathematical logic to fundamental problems of algebra and computer science, (RFBR 11-01-12111-ofi-m-2011), 2011-2012.
• Logical Calculi and Algorithms (RFBR 11-01-00947_a), 2011-2013.
  

• Association for Symbolic Logic, Executive Committee member.
• Kurt Gödel Centenary Research Prize Fellowship, jury member (2006, 2007, 2011).
• Folli E.W. Beth Dissertation Prize, intl. jury member.