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/2008/newsitem/1921/2-4
 -January-2008-10th-International-Symposium-on-Arti
 ficial-Intelligence-and-Mathematics-Fort-Lauderdal
 e-Florida
DTSTAMP:20070708T000000
SUMMARY:10th International Symposium on Artificial
  Intelligence and Mathematics, Fort Lauderdale, Fl
 orida
DTSTART;VALUE=DATE:20080102
DTEND;VALUE=DATE:20080104
LOCATION:Fort Lauderdale, Florida
DESCRIPTION:The International Symposium on Artific
 ial Intelligence and Mathematics (ISAIM) is a bien
 nial meeting that fosters interactions between mat
 hematics, theoretical computer science, and artifi
 cial intelligence. This is the tenth Symposium in 
 the series, which is sponsored by Annals of Mathem
 atics and Artificial Intelligence. We seek submiss
 ions of recent results with a particular emphasis 
 on the foundations of AI and mathematical methods 
 used in AI. Papers describing applications are als
 o encouraged, but the focus should be on principle
 d lessons learned from the development of the appl
 ication. Traditionally, the Symposium attracts par
 ticipants from a variety of disciplines, thereby p
 roviding a unique forum for scientific exchange. T
 he three-day Symposium includes invited speakers, 
 presentations of technical papers, and special top
 ic sessions (including sessions on "Logic in AI" a
 nd "Computation and Social Choice").    For more i
 nformation, see http://isaim2008.unl.edu/.    Pape
 r Submission Deadline: Monday 1 October 2007.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The International Symposium on Artificial Int
 elligence and Mathematics\n        (ISAIM) is a bi
 ennial meeting that fosters interactions between\n
         mathematics, theoretical computer science,
  and artificial\n        intelligence.  This is th
 e tenth Symposium in the series, which is\n       
  sponsored by Annals of Mathematics and Artificial
  Intelligence.  We\n        seek submissions of re
 cent results with a particular emphasis on the\n  
       foundations of AI and mathematical methods u
 sed in AI.  Papers\n        describing application
 s are also encouraged, but the focus should be\n  
       on principled lessons learned from the devel
 opment of the application.\n        Traditionally,
  the Symposium attracts participants from a variet
 y of\n        disciplines, thereby providing a uni
 que forum for scientific exchange.\n        The th
 ree-day Symposium includes invited speakers, prese
 ntations of\n        technical papers, and special
  topic sessions \n        (including sessions on &
 quot;Logic in AI&quot; and &quot;Computation and S
 ocial Choice&quot;).\n      </p>\n    \n      <p>\
 n      \n        For more information, see <a targ
 et="_blank" href="http://isaim2008.unl.edu/">http:
 //isaim2008.unl.edu/</a>.\n      </p>\n    </div><
 div>\n      Paper Submission Deadline: Monday 1 Oc
 tober 2007.\n      </div>
URL:/NewsandEvents/Archives/2008/newsitem/1921/2-4
 -January-2008-10th-International-Symposium-on-Arti
 ficial-Intelligence-and-Mathematics-Fort-Lauderdal
 e-Florida
END:VEVENT
END:VCALENDAR