This page is a historical archive. For the latest information please visit
Commonsense 2009

Travel: Registration, Hotel and Travel Information
Symposium: Home | Call for Papers | Committee | Symposia Series
Schedule: Schedule | Invited Talks | Download Proceedings



Ninth International Symposium on Logical Formalizations of Commonsense Reasoning,

Commonsense-2009, the Ninth International Symposium on Logical Formalization on Commonsense Reasoning, will be held on June 1-3, 2009, at the Fields Institute, Toronto, Canada, on the campus of the University of Toronto. It is dedicated to the memory and scientific contributions of Ray Reiter (1939-2002), a world leader in cognitive robotics and formal commonsense reasoning.

"Ray dedicated his life to his research with the wonder of a child, the fearlessness of an explorer, the precision of a mathematician, and the tirelessness of a researcher who found shallowness and confusion intolerable. He leaves a legacy of groundbreaking, deep insights that have changed the course of AI."

Fiora Pirri, Geoffrey Hinton, and Hector Levesque.

The biennial Commonsense Symposia series provides a forum for exploring one of the long-term goals of Artificial Intelligence, endowing computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we still have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using formal languages such as mathematical logic.

Since John McCarthy founded the Commonsense Symposium in 1991, the symposium has served as the premiere venue for bringing together researchers who are focusing on the formalization of commonsense reasoning.

The call for papers closed on April 8, 2009. Our list of accepted papers can be found here.

Requests for attendance can be made to

Invited Speakers

We are pleased to announce our invited speakers:

  • Tony Cohn, University of Leeds
  • Ernest Davis, New York University
  • Sheila McIlraith, University of Toronto

Summary of Important Dates

  • Paper/extended abstract submission deadline: April 8, 2009 (midnight, Toronto time)
  • Notification of acceptance: May 3, 2009
  • Camera ready papers due: May 15, 2009
  • Symposium: June 1-3, 2009


The Commonsense-2009 Symposium is generously supported by:

  • The Fields Institute for Research in Mathematical Science at the University of Toronto
  • The Department of Computer Science, University of Toronto, Canada
  • The Centre for Quantum Computation and Intelligent Systems at the University of Technology, Sydney, Australia

We also thank IBM Research Labs, New York, USA, for partly subsidizing the travel of one of the winners of the Commonsense-2009 Outstanding Student Paper Award.

Fields Institute UTS:QCIS
UofT:DCS IBM Research

Questions? Comments? Contact the program chairs or write to

Commonsense 2009:TopHome