Automated Mechanism Design – A Progress Report. In Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, Canada, July 2007. External links Knowledge, Games and Beliefs Group. City University of New York, Graduate Center. Social Software conference. Carlsberg Academy, Copenhagen. May 27–29, 2004. Retrieved on 2009-06-26. Interactive Logic: Games and Social Software workshop. King's College, London. November 4–7, 2005. Retrieved on 2009-06-26. Games, action and social software workshop. Lorentz Center, Leiden University, Netherlands. 30 Oct 2006–3 Nov 2006. Retrieved on 2009-06-26. Social Software Mini-conference. Knowledge, Games and Beliefs Group, City University of New York. May 18–19, 2007. Retrieved on 2009-06-26. Game theory Logic