1. 26th International Joint Conference on Artificial Intelligence  (IJCAI), Melbourne, Australia, August 24, 2017
     
  2. 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK), Liverpool, UK, July 15th, 2017 (rump session)
     
  3. 16th International Conference  on  Autonomous  Agents  and  Multiagent  Systems  (AAMAS), Sao Paulo, Brazil, May 2017
     
  4. Workshop in Games, Networks and Social Epistemology, New York, April 20-21, 2017 (invited)
     
  5. 15th  European Conference On Logics In Artificial Intelligence (JELIA), Larnaca, Cyprus, November 2016
     
  6. 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Maastricht, Netherlands, July 2016 (two talks)
     
  7. Computer Science Colloquium at the CUNY Graduate Center, November 19th, 2015
     
  8.  21st Workshop on Logic, Language, Information and Computation (WoLLIC), September 2014, Valparaiso, Chile
     
  9. Information Dynamics in Artificial Societies Workshop, The 26th European Summer School in Logic, Language and Information, Tübingen, Germany, August 11-22, 2014
     
  10. 11th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Bergen, Norway, July 2014
     
  11. 4th International Workshop on Logic, Rationality, and Interaction (LORI), Hangzhou, China, October 9-12, 2013
     
  12. 14th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA), Coruna, Spain, September 16-18, 2013
     
  13. International Workshop on Game Theory, Epistemic Logic, and Related Topics, August 27-30, 2012, Tsukuba, Japan (invited)
     
  14. International Workshop on Strategic Reasoning (SR), Rome, Italy, March 16-17, 2013
     
  15. 5th Indian Conference on Logic and its Applications, January 10–12, 2013, Chennai, India
     
  16. 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Chennai, India, January 2013
     
  17. 13th European Conference on Logics in Artificial Intelligence (JELIA), September 26-28, 2012, Toulouse, France
     
  18. 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), June 18-20, 2012, University of Sevilla, Spain (two talks)
     
  19. The Constructive in Logic and Applications - A Conference in Honor of the 60th Birthday of Sergei Artemov, May 23-25, 2012, New York, United States
     
  20. Third International Workshop on Logic, Rationality and Interaction (LORI III), Guangzhou (Canton), China, October 2011
     
  21. 20th Conference on Computer Science Logic (CSL), Bergen, Norway, September 2011
     
  22. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Barcelona, Spain, July 2011
     
  23. 13th conference on Theoretical Aspects of Rationality and Knowledge (TARK), Groningen, the Netherlands, July 2011
     
  24. Computer Science Colloquium at the CUNY Graduate Center, March 10th, 2011
     
  25. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Lisbon, Portugal, August 16-17, 2010
     
  26. 16th Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan, June 21-24, 2009
     
  27. Computational Logic Seminar, CUNY Graduate Center, October 27th, 2007
     
  28. New Directions in Proof Complexity workshop, Isaac Newton Institute for Mathematical Sciences, April 10-13, 2006, Cambridge University, Cambridge, United Kingdom
     
  29. Logic Colloquium 2004, ASL European Summer Meeting, Turin, Italy, July 2004
     
  30. Annual Meeting of the Association for Symbolic Logic, Pittsburgh, May 2004
     
  31. Computer Science Colloquium at the CUNY Graduate Center, October 16th, 2003
     
  32. The 18th Annual IEEE Symposium on Logic in Computer Science (LICS), Ottawa, Canada, June 2003
     
  33. Winter Meeting of the Association for Symbolic Logic, Baltimore, Maryland, January 2003
     
  34. Interdisciplinary Logic Seminar, Penn State University, University Park, Pennsylvania, February 12th, 2002
     
  35. Interdisciplinary Logic Seminar, Penn State University, University Park, Pennsylvania, October 2nd, 2001
     
  36. The 13th International Conference on Theorem Proving in Higher Order Logics, Portland, Oregon, 2000
     
  37. Conference on Proof Theory, Provability Logic, and Computation, Bern, Switzerland, 20-24 March 1994
     
  38. 10th Soviet Union Mathematical Logic Conference, Alma-Ata,  Kazakhstan, Soviet Union, November 1-3rd, 1990