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/2041/10-
 15-August-2008-International-Joint-Conference-on-A
 utomated-Reasoning-IJCAR-2008-Sydney-Australia
DTSTAMP:20071014T000000
SUMMARY:International Joint Conference on Automate
 d Reasoning (IJCAR  2008), Sydney, Australia
DTSTART;VALUE=DATE:20080810
DTEND;VALUE=DATE:20080815
LOCATION:Sydney, Australia
DESCRIPTION:IJCAR 2008 is the 4th International Jo
 int Conference on Automated Reasoning, and is a me
 rger of leading events CADE, FroCoS, FTP and TABLE
 AUX. IJCAR is the premier international joint conf
 erence on all aspects of automated reasoning, incl
 uding foundations, implementations, and applicatio
 ns. The IJCAR technical program will consist of pr
 esentations of high-quality original research pape
 rs, system descriptions and invited talks. There w
 ill be two days of workshops and tutorials, 10th a
 nd 11th August, and the conference 12th to 15th Au
 gust.   For more information, see http://2008.IJCA
 R.org/  IJCAR 2008 invites submissions related to 
 all aspects of automated reasoning, including foun
 dations, implementations, and applications. Origin
 al research papers and descriptions of working aut
 omated deduction systems are solicited (deadline f
 or paper registration: 22nd February 2008), as wel
 l as workshop and tutorial proposals (deadline for
  proposal submissions: 17th December 2007).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>IJCAR
  2008 is the 4th International Joint Conference on
  Automated Reasoning,\n        and is a merger of 
 leading events CADE, FroCoS, FTP and TABLEAUX.\n  
       IJCAR is the premier international joint con
 ference on all\n      aspects of automated reasoni
 ng, including foundations,\n      implementations,
  and applications. The IJCAR technical program\n  
     will consist of presentations of high-quality 
 original research\n      papers, system descriptio
 ns and invited talks. There will be two\n      day
 s of workshops and tutorials, 10th and 11th August
 , and the\n      conference 12th to 15th August.\n
       </p>\n\n    \n      \n      <p>For more info
 rmation, see\n        <a target="_blank" href="htt
 p://2008.IJCAR.org/">http://2008.IJCAR.org/</a>\n 
      </p>\n    </div><div>\n      <p>IJCAR 2008 in
 vites submissions related to all aspects of automa
 ted reasoning,\n        including foundations, imp
 lementations, and applications. Original research\
 n        papers and descriptions of working automa
 ted deduction systems are solicited (deadline for 
 paper registration: 22nd February 2008), as well a
 s \n       workshop and tutorial proposals (deadli
 ne for proposal submissions:               17th De
 cember 2007).\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2008/newsitem/2041/10-
 15-August-2008-International-Joint-Conference-on-A
 utomated-Reasoning-IJCAR-2008-Sydney-Australia
END:VEVENT
END:VCALENDAR