1. Applied Mathematics Seminar, Claremont Center for Mathematical Sciences, September 17, 2018

  2. 26th International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia, August 24, 2017

  3. 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK), Liverpool, UK, July 15th, 2017 (rump session)

  4. 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Sao Paulo, Brazil, May 2017

  5. Workshop in Games, Networks and Social Epistemology, New York, April 20-21, 2017 (invited)

  6. 15th European Conference On Logics In Artificial Intelligence (JELIA), Larnaca, Cyprus, November 2016

  7. 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Maastricht, Netherlands, July 2016 (two talks)

  8. Computer Science Colloquium at the CUNY Graduate Center, November 19th, 2015

  9. 21st Workshop on Logic, Language, Information and Computation (WoLLIC), September 2014, Valparaiso, Chile

  10. Information Dynamics in Artificial Societies Workshop, The 26th European Summer School in Logic, Language and Information, Tübingen, Germany, August 11-22, 2014

  11. 11th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Bergen, Norway, July 2014

  12. 4th International Workshop on Logic, Rationality, and Interaction (LORI), Hangzhou, China, October 9-12, 2013

  13. 14th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA), Coruna, Spain, September 16-18, 2013

  14. International Workshop on Game Theory, Epistemic Logic, and Related Topics, August 27-30, 2012, Tsukuba, Japan (invited)

  15. International Workshop on Strategic Reasoning (SR), Rome, Italy, March 16-17, 2013

  16. 5th Indian Conference on Logic and its Applications, January 10–12, 2013, Chennai, India

  17. 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Chennai, India, January 2013

  18. 13th European Conference on Logics in Artificial Intelligence (JELIA), September 26-28, 2012, Toulouse, France

  19. 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), June 18-20, 2012, University of Sevilla, Spain (two talks)

  20. 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

  21. Third International Workshop on Logic, Rationality and Interaction (LORI III), Guangzhou (Canton), China, October 2011

  22. 20th Conference on Computer Science Logic (CSL), Bergen, Norway, September 2011

  23. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Barcelona, Spain, July 2011

  24. 13th conference on Theoretical Aspects of Rationality and Knowledge (TARK), Groningen, the Netherlands, July 2011

  25. Computer Science Colloquium at the CUNY Graduate Center, March 10th, 2011

  26. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Lisbon, Portugal, August 16-17, 2010

  27. 16th Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan, June 21-24, 2009

  28. Computational Logic Seminar, CUNY Graduate Center, October 27th, 2007

  29. New Directions in Proof Complexity workshop, Isaac Newton Institute for Mathematical Sciences, April 10-13, 2006, Cambridge University, Cambridge, United Kingdom

  30. Logic Colloquium 2004, ASL European Summer Meeting, Turin, Italy, July 2004

  31. Annual Meeting of the Association for Symbolic Logic, Pittsburgh, May 2004

  32. Computer Science Colloquium at the CUNY Graduate Center, October 16th, 2003

  33. The 18th Annual IEEE Symposium on Logic in Computer Science (LICS), Ottawa, Canada, June 2003

  34. Winter Meeting of the Association for Symbolic Logic, Baltimore, Maryland, January 2003

  35. Interdisciplinary Logic Seminar, Penn State University, University Park, Pennsylvania, February 12th, 2002

  36. Interdisciplinary Logic Seminar, Penn State University, University Park, Pennsylvania, October 2nd, 2001

  37. The 13th International Conference on Theorem Proving in Higher Order Logics, Portland, Oregon, 2000

  38. Conference on Proof Theory, Provability Logic, and Computation, Bern, Switzerland, 20-24 March 1994

  39. 10th Soviet Union Mathematical Logic Conference, Alma-Ata, Kazakhstan, Soviet Union, November 1-3rd, 1990