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/2010/newsitem/3118/16-
 19-July-2010-The-5th-International-Joint-Conferenc
 e-on-Automated-Reasoning-IJCAR-2010-Edinburgh-UK
DTSTAMP:20091126T000000
SUMMARY:The 5th International Joint Conference on 
 Automated Reasoning (IJCAR 2010), Edinburgh, UK
DTSTART;VALUE=DATE:20100716
DTEND;VALUE=DATE:20100719
LOCATION:Edinburgh, UK
DESCRIPTION:IJCAR is the premier international joi
 nt conference on all topics in automated reasoning
 . The IJCAR technical program will consist of pres
 entations of high-quality original research papers
 , system descriptions, and invited talks.  For mor
 e information, see http://www.floc-conference.org/
 IJCAR-home.html.  IJCAR 2010 invites submissions r
 elated to all aspects of automated reasoning, incl
 uding foundations, implementations, and applicatio
 ns. Original research papers and descriptions of w
 orking automated deduction systems are solicited. 
 Abstract submission deadline: January 15, 2010.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>IJC
 AR is the premier international joint conference o
 n all topics in automated reasoning. The IJCAR tec
 hnical program will consist of presentations of hi
 gh-quality original research papers, system descri
 ptions, and invited talks.</p>\n      \n    \n    
     <p>For more information, see\n        <a targe
 t="_blank" href="http://www.floc-conference.org/IJ
 CAR-home.html">http://www.floc-conference.org/IJCA
 R-home.html</a>.</p>\n    </div><div>\n         <p
 >IJCAR 2010 invites submissions related to all asp
 ects of automated reasoning, including foundations
 , implementations, and applications. Original rese
 arch papers and descriptions of working automated 
 deduction systems are solicited. Abstract submissi
 on deadline: January 15, 2010.</p>\n      </div>
URL:/NewsandEvents/Archives/2010/newsitem/3118/16-
 19-July-2010-The-5th-International-Joint-Conferenc
 e-on-Automated-Reasoning-IJCAR-2010-Edinburgh-UK
END:VEVENT
END:VCALENDAR