[ Talks | Editing Duties | Organization | Students]

Talks

2009

• Structures of Rationality, December 2009
  Paradoxes of Interactive Rationality (slides)
• Groningen Logic Colloquium, November 2009
  Intention Based Belief Revision (slides )
• 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 Colloquim, 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

Editing Duties

• Subject Editor for the Stanford Encyclopedia of Philosophy, Logic, Rationality and Computation (with Johan van Benthem and Olivier Roy)
• Editing a collection of selected papers from the Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning with Benedikt Loewe and Jan-Willem Romeijn. More information can be found here.
• Knowledge, Rationality & Action. "Logics of Intelligent Interaction" (a subjournal of Synthese) with Thomas Agotnes and Johan van Benthem, Volume 169, Number 2, July 2009.
  • Official Journal Page
  • Editorial Introduction (PDF)
  • Contains selected papers from ESSLLI Workshop on Logics and Intelligent Interaction
• Editing a special issue of the Journal of Logic, Language and Information with Johan van Benthem on Temporal Logics of Agency, forthcoming late 2009.
• Editing a special issue of the Journal of Philosophical Logic containing selected papers from LORI 2009.

Organization

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

Students

• Ph.D. Co-promoter (with Igor Douven), Lorenz Demey, University of Leuven
• Masters Thesis Supervisor: Tijmen Daniels, Social Choice and Logic via Simple Games
• Masters Thesis Co-Supervisor (with Krister Segerberg): Johathan Zvesper, A Revised Version: Belief Revision and Epistemic Acts
• Masters Thesis Supervisor: Can Baskent, Topics in Subset Space Logic
• Masters Thesis Co-Supervisor (with Ulle Endriss): Lena Kurzen, Logics of Cooperation and Action