2010

• International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Nov. 3-5, 2010, San Sebastian
  Logics of Rational Agency: Actions, Ability and Know-How
• ESSLLI 2010 Course, August 16 - 20, 2010 (with Olivier Roy)
  Logic, interaction and collective agency
• ESSLLI 2010, Workshop, August 16 - 20, 2010 (with Johan van Benthem)
  Logic, Rationality and Interaction
• North American Summer School for Logic, Language and Information (NASSLLI 2010) Course, June 20 - 26, 2010
  Logics of Rational Agency
• CUNY Logic and Games Seminar, April 13, 2010
  Reasoning about and with protocols
• University of Luxembourg, April 1, 2010
  Joint revision of beliefs and intentions
• Dynamics Seminar, Groningen, Feb. 23, 2010
  Revising intentions and beliefs

2009

• Structures of Rationality,Kaipur, India, December 2009
  Paradoxes of Interactive Rationality
• Groningen Logic Colloquium, November 2009
  Intention Based Belief Revision
• Computational Social Choice Seminar, November 2009
  Levels of Knowledge and Belief (slides)
• LORI 2009 Tutorial Day, October 2009
  Tutorial: Logics of Rational Interaction (slides)
• TiLPS Logic Seminar
  A Dynamic Logic of Intention and Belief (slides)
• Logical Methods in The Humanities, March, Stanford, 2009
  Godel's Proof of the Existence of God (Part 2) (slides)
• Symbolic Systems Colloquium, Stanford, April 2009
  Interactive Epistemology (slides)

2008

• Decisions, Games and Logic, Amsterdam, June 30 - July 2
  Tutorial: Logics of Rational Interaction (slides)
• UCLA Logic Colloquium, Los Angeles, May 30
  The Tree of Knowledge in Action (slides)
• The Dynamics of Preferences and Intentions, Amsterdam, February 26 - 28
  Towards a Theory of Intention Revision (slides)
• Second Indian Winter School in Logic, IIT Kanpur, January 14 - 26
  Foundations of Game Theory: A Tutorial (lecture 1, lecture 2, lectures 3 & 4)

2007

• Berkeley Logic Colloquium, Berkeley, November 16
  An Overview of Logic in Game Theory (slides)
• RUC-ILLC Deontic Logic, Roskilde, Denmark, November 8 - 9
  Knowledge Based Obligations (slides)
• Meeting of the Minds 1-day Workshop at the ILLC, Amsterdam, July 2
  Merging Frameworks for Interaction: DEL and ETL
• Dynamic Logic Montreal, Canada, June 19 - 22
  Logics of Knowledge and Action for Social Software [slides]
• Social Choice Colloquium, University of Tilburg, Tilburg, NL, June 15
  Logic and Social Choice Theory: A Survey (slides)
• Computational Social Choice Meeting, Toulouse, France May 22
  Logic and Social Choice Theory: A Survey
• Social Software Mini-Conference, CUNY, New York, May 18 - 19
  Logics for Social, Interactive Situations (slides)
• METEORITE seminar at Maastricht University, Maastricht, NL, May 26.
  An abstract approach to reasoning about games with mistaken and changing beliefs, Part II
• Mathematical Methods in Philosophy, Banff, Canada, Feb. 18 - 23.
  Neighborhood Semantics for First-Order Modal Logic (slides)
• KNAW New Perspectives on Games and Interaction, February 5 - 7
  Commentator on Adam Brandenburger's Paper: How Much Coordination is Possible via Correlation?
• 2nd Indian Conference on Logic and its Applications, Mumbai, India, Jan. 9 - 11
  Epistemic Temporal Logic
• International Conference on Logic, Navya-Nyaya & Applications, Kolkata, India, Jan. 3 - 5
  Talk 1: Logics for Social Software (slides)
  Talk 2: Introduction to Neighborhood Semantics for Modal Logic (slides)

2006

• Games, Action and Social Software , Lorentz Center, Leiden, NL, Oct. 30 - Nov. 3
  Comparing Dynamic Epistemic Logic and Epistemic Temporal Logic
• University of Aachen Logic Talks, Aachen, German, September 12
  The Tree of Knowledge in Action
• Bloomington Logic Talks at Indiana University, Bloomington, Indiana, June 3
  The Tree of Knowledge in Action
• Workshop for the 70th Birthday Celebration for Krister Segerberg, Amsterdam, April 27
  Preference Based Belief Dynamics (slides)
• Gloriclass Seminar , ILLC, Amsterdam, NL, April 2o
  Towards a Theory of Correctness of Social Procedures (slides)

2005

• Pure and Applied Logic Colloquium, Carnegie Mellon University, Pittsburgh, PA, October
  Logics of Knowledge for Social Software
• August De Morgan Workshop: Interactive Logic and Social Software, King's College, London, November 4-7
  Reasoning about Communication Graphs
• Games, Logic, Language and Computation 11 , Amsterdam, September 19
  The Logic of Communication Graphs
• Multiagent Resource Allocation Workshop, Budapest, September 16
  Some New Results on Adjusted Winner (slides)
• CUNY Computer Science Colloquium, Graduate Center, NYC, April 21
  Topics in Social Software: Information in Strategic Situations
• First Indian Conference on Logic and its Applications, IIT, Mumbai, Jan 8-13
  Logic and the Foundations of Game Theory

• Subject Editor for the Stanford Encyclopedia of Philosophy, Logic, Rationality and Computation (with Johan van Benthem and Olivier Roy)
• Benedikt Loewe, Eric Pacuit, and Jan-Willem Romeijn (Eds.), Foundations of the Formal Sciences VI:Reasoning about Probabilities and Probabilistic Reasoning, Studies in Logic, College Publications (2009).
  • Order the book from Amazon
  • Contains selected papers from FotFS VI
• Thomas Agotnes, Johan van Benthem and Eric Pacuit (Eds.), Special issue of Synthese: Knowledge, Rationality & Action "Logics of Intelligent Interaction", Volume 169, Number 2, July 2009.
  • Official Journal Page
  • Editorial Introduction (PDF)
  • Contains selected papers from ESSLLI Workshop on Logics and Intelligent Interaction
• Johan van Benthem and Eric Pacuit (Eds.) Special issue of the Journal of Logic, Language and Information "Temporal Logics of Agency", forthcoming in 2010 (articles currently available online)
  • Editorial Introduction (PDF)
• Editing a special issue of the Journal of Philosophical Logic containing selected papers from LORI 2009.

The following is a list of workshops/conferences that I helped organize.

• Logic, Rationality and Intelligent Interaction, Copenhagen (co-organize with Johan van Benthem), August 2010.
• LORI-II: Workshop on Logic, Rationality and Interaction, Chongqing, China (co-chair), October 8 - 11, 2009.
• Theoretical Aspects of Rationality and Knowledge (TARK 2009), Stanford (local organizing chair), July 6 - 8, 2009.
• Logical Methods in the Humanities: The Logic and Mathematics of Voting, Fall Semester 2008, (co-organized with Solomon Feferman), Stanford.
• Logical Dynamics Workshop, Spring Semester 2009 (co-organizer with Johan van Benthem), Stanford.
• Workshop on Intelligent Interaction, August 2008 (co-organizer with Johan van Benthem), Hamburg.
• Epistemology meets Logic, Informally, May 2008 (co-organizer with Tomohiro Hoshi and Assaf Sharon), Stanford.
• Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, May 2007 (co-organizer with Benedikt Loewe and Jan-Willem Romeijn), Amsterdam.
• Workshop on Logics for Social Situations, December 2006 (co-organizer with Johan van Benthem), Amsterdam
• Coordinated (with Rohit Parikh) the Knowledge, Games and Beliefs group of CUNY, 2001 - 2005