 John McCarthy’s explicit long-term goal—the formalization of common sense knowledge—has been adopted and pursued by a relatively small, but active, subcommunity of AI researchers.  A larger group (those involved in knowledge representation, cognitive robotics, and qualitative physics) can be considered to work on specialized projects that support the larger goal.  Anything like a formalization of common sense is so far from being accomplished that—if it is achievable at all—it is not even possible to estimate when we could expect the task to be completed.  However, since 2001 (the date of a symposium on common sense reasoning held at The Courant Institute—see  The Common Sense 2001 Homepage) something like a cooperative, sustained effort in this direction has begun to emerge.  This effort is yielding a better sense of how to develop a workable methodology for formalizing common sense, and of how to divide the larger problem up into more manageable parts.  Many of the papers presented at this conference were presented in expanded form in 2004 in an issue of Artificial Intelligence.  The introduction to this issue,  Davis &amp; Morgenstern 2004, provides a useful survey and appreciation of the general research area. 	