1. Reasoning about Actions and Processes: Highlights of Recent Advances, Workshop at 16th International Conference on Principles of Knowledge Representation and Reasoning, October 28 & 29, 2018, Tempe, Arizona

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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