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/2018/newsitem/9370/14-
 --17-July-2018-9th-International-Joint-Conference-
 on-Automated-Reasoning-IJCAR-2018-Oxford-England
DTSTAMP:20171005T155300
SUMMARY:9th International Joint Conference on Auto
 mated Reasoning (IJCAR 2018), Oxford, England
DTSTART;VALUE=DATE:20180714
DTEND;VALUE=DATE:20180717
LOCATION:Oxford, England
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.  IJCAR 2
 018 takes place as part of FLoC 2018 and is the me
 rger of leading events in automated reasoning: CAD
 E (Conference on Automated Deduction), FroCoS (Sym
 posium on Frontiers of Combining Systems) and TABL
 EAUX (Conference on Analytic Tableaux and Related 
 Methods).  IJCAR 2018 invites submissions related 
 to all aspects of automated reasoning, including f
 oundations, implementations, and applications. Bot
 h original research papers and descriptions of wor
 king automated deduction systems are solicited.  W
 e welcome papers combining automated-reasoning for
 malisms & techniques and with those from other are
 as of CS and mathematics, including, e.g., compute
 r algebra, machine learning, formal languages, for
 mal verification, termination. In particular, high
 -quality conference papers on the topics of the IJ
 CAR 2018 affiliated workshops are welcome.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>IJCAR is 
 the premier international joint conference on all 
 topics in automated reasoning. The IJCAR technical
  program will consist of presentations of high-qua
 lity original research papers, system descriptions
 , and invited talks.</p>\n\n  <p>IJCAR 2018 takes 
 place as part of FLoC 2018 and is the merger of le
 ading events in automated reasoning: CADE (Confere
 nce on Automated Deduction), FroCoS (Symposium on 
 Frontiers of Combining Systems) and TABLEAUX (Conf
 erence on Analytic Tableaux and Related Methods).<
 /p>\n</div><div>\n  <p>IJCAR 2018 invites submissi
 ons related to all aspects of automated reasoning,
  including foundations, implementations, and appli
 cations. Both original research papers and descrip
 tions of working automated deduction systems are s
 olicited.</p>\n\n  <p>We welcome papers combining 
 automated-reasoning formalisms &amp; techniques an
 d with those from other areas of CS and mathematic
 s, including, e.g., computer algebra, machine lear
 ning, formal languages, formal verification, termi
 nation. In particular, high-quality conference pap
 ers on the topics of the <a href="http://ijcar2018
 .org/#assocev" target="_blank">IJCAR 2018 affiliat
 ed workshops</a> are welcome.</p>\n</div>
URL:http://www.ijcar2018.org
END:VEVENT
END:VCALENDAR