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/2020/newsitem/11272/29
 -June---6-July-2020-The-10th-International-Joint-C
 onference-on-Automated-Reasoning-IJCAR-2020-Online
DTSTAMP:20200528T180247
SUMMARY:The 10th International Joint Conference on
  Automated Reasoning (IJCAR 2020), Online
DTSTART;VALUE=DATE:20200629
DTEND;VALUE=DATE:20200706
LOCATION:Online
DESCRIPTION:IJCAR is the premier international joi
 nt conference on all topics in automated reasoning
 . It is the merger of leading events in automated 
 reasoning: CADE (Conference on Automated Deduction
 ), FroCoS (Symposium on Frontiers of Combining Sys
 tems), ITP (International Conference on Interactiv
 e Theorem Proving) and TABLEAUX (Conference on Ana
 lytic Tableaux and Related Methods). JCAR 2020 wil
 l be co-located with the conference FSCDThe IJCAR 
 2020 technical program will consist of presentatio
 ns of high-quality original research papers, short
  papers describing interesting work in progress, s
 ystem descriptions, and invited talks.  Woody Bled
 soe Travel Awards will be available to support sel
 ected students attending the conference.  IJCAR 20
 20 invites submissions related to all aspects of a
 utomated or interactive reasoning, including found
 ations, implementations, and applications. Origina
 l research papers and descriptions of working auto
 mated deduction systems or proof assistants are so
 licited.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>IJCAR is 
 the premier international joint conference on all 
 topics in automated reasoning. It is the merger of
  leading events in automated reasoning: CADE (Conf
 erence on Automated Deduction), FroCoS (Symposium 
 on Frontiers of Combining Systems), ITP (Internati
 onal Conference on Interactive Theorem Proving) an
 d TABLEAUX (Conference on Analytic Tableaux and Re
 lated Methods). JCAR 2020 will be co-located with 
 the conference FSCDThe IJCAR 2020 technical progra
 m will consist of presentations of high-quality or
 iginal research papers, short papers describing in
 teresting work in progress, system descriptions, a
 nd invited talks.</p>\n\n  <p>Woody Bledsoe Travel
  Awards will be available to support selected stud
 ents attending the conference.</p>\n</div><div>\n 
  <p>IJCAR 2020 invites submissions related to all 
 aspects of automated or interactive reasoning, inc
 luding foundations, implementations, and applicati
 ons. Original research papers and descriptions of 
 working automated deduction systems or proof assis
 tants are solicited.</p>\n</div>
URL:https://ijcar2020.org
END:VEVENT
END:VCALENDAR