LORI-III, a workshop on logic, rationality, interaction, Guangzhou, China, October 10-13, 2011.
Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities, a course during ESSLLI 2011, Ljubljana, Slovenia, August 8-12, 2011.
Logics of knowledge and strategic abilities in multi-agent systems, a course during ESSLLI 2011, Ljubljana, Slovenia, August 1-5, 2011.
Decision Problems and Decision Procedures for Strategic Logics, a course during ESSLLI 2011, Ljubljana, Slovenia, August 1-5, 2011.
Strategies in games: a logic-automata study, a course during ESSLLI 2011, Ljubljana, Slovenia, August 1-5, 2011.
CLIMA XII, 12th international workshop on Computational Logic in multi-agent systems, Barcelona, Spain, July 17-18, 2011.
TARK XIII, 13th conference on Theoretical Aspects of Rationality and Knowledge, Groningen, Netherlands, July 11-15, 2011.
Logic, Rationality and Intelligent Interaction, a workshop during ESSLLI 2010, Copenhagen, Denmark, August 16-20, 2010.
CLIMA XI, 11th international workshop on Computational Logic in multi-agent systems, Lisbon, Portugal, August 16-17, 2010.
LOFT 2010, 9th conference on Logic and the Foundations of Game and Decision Theory, Toulouse, France, July 5-7, 2010.
Strategies day, CWI, Amsterdam, March 10, 2010, a day of informal discussions on the current trends and pertinent issues regarding strategic reasoning in logic. For a preview of the relevant questions that came up during the discussions, click here.
Structural Aspects of Rationality, a workshop during FSTTCS 2009, Kanpur, India, December 13-14, 2009.
LORI-II, a workshop on logic, rationality, interaction, Chongqing, China, October 6-11, 2009.
FAMAS'09, a part of MALLOW'09, Torino, Italy, September 7-10, 2009.
STRATEGIES-I, a one-day workshop on logic and strategies, Groningen, Netherlands, June 26, 2009.