BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2009/newsitem/2634/1-3
 -June-2009-9th-International-Symposium-on-Logical-
 Formalizations-of-Commonsense-Reasoning-Toronto-Ca
 nada
DTSTAMP:20081127T000000
SUMMARY:9th International Symposium on Logical For
 malizations of Commonsense Reasoning, Toronto, Can
 ada
DTSTART;VALUE=DATE:20090601
DTEND;VALUE=DATE:20090603
LOCATION:Toronto, Canada
DESCRIPTION:One of the major long-term goals of AI
  is to endow computers with common sense. Although
  we know how to build programs that excel at certa
 in bounded or mechanical tasks which humans find d
 ifficult, such as playing chess, we have very litt
 le idea how to program computers to do well at com
 monsense tasks which are easy for humans. One appr
 oach to this problem is to formalize commonsense r
 easoning using mathematical logic.    The symposiu
 m aims to bring together researchers who have stud
 ied the formalization of commonsense reasoning. Th
 e focus of the symposium is on representation rath
 er than on algorithms, and on formal rather than i
 nformal methods.    For more information, see http
 ://www.commonsensereasoning.org/   We aim for rigo
 rous and concrete paper submissions. While mathema
 tical logic is expected to be the primary lingua f
 ranca of the symposium, we also welcome papers usi
 ng a rigorous but not logic-based representation o
 f commonsense domains. Technical papers offering n
 ew results in the area are especially welcome; obj
 ect-level theories as opposed to meta-level result
 s are preferred. Papers should be submitted by Feb
 ruary 16, 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      One of the major long-term goals of AI is to 
 endow computers with common sense. Although we kno
 w how to build programs that excel at certain boun
 ded or mechanical tasks which humans find difficul
 t, such as playing chess, we have very little idea
  how to program computers to do well at commonsens
 e tasks which are easy for humans. One approach to
  this problem is to formalize commonsense reasonin
 g using mathematical logic.\n      </p>\n      <p>
 \nThe symposium aims to bring together researchers
  who have studied the formalization of commonsense
  reasoning. The focus of the symposium is on repre
 sentation rather than on algorithms, and on formal
  rather than informal methods.\n      </p>\n    \n
     \n      <p>\n        For more information, see
  <a target="_blank" href="http://www.commonsensere
 asoning.org/">http://www.commonsensereasoning.org/
 </a>\n      </p>\n    </div><div>\n      <p>\nWe a
 im for rigorous and concrete paper submissions. Wh
 ile mathematical logic is expected to be the prima
 ry lingua franca of the symposium, we also welcome
  papers using a rigorous but not logic-based repre
 sentation of commonsense domains. Technical papers
  offering new results in the area are especially w
 elcome; object-level theories as opposed to meta-l
 evel results are preferred.\nPapers should be subm
 itted by February 16, 2009. \n      </p>\n    </di
 v>
URL:/NewsandEvents/Archives/2009/newsitem/2634/1-3
 -June-2009-9th-International-Symposium-on-Logical-
 Formalizations-of-Commonsense-Reasoning-Toronto-Ca
 nada
END:VEVENT
END:VCALENDAR