BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:IJCAR — deadlines and dates
X-WR-CALDESC:Every recorded edition of IJCAR. https://www.conferences-compu
 ter.science/ijcar/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:ijcar-2014-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140122
DTEND;VALUE=DATE:20140123
SUMMARY:IJCAR 2014 — abstract deadline
DESCRIPTION:7th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Vienna\, Austria.\nConfer
 ence dates: 19–22 Jul 2014.\nhttps://www.conferences-computer.science/ij
 car/2014/
URL:https://www.conferences-computer.science/ijcar/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2014-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140124
DTEND;VALUE=DATE:20140125
SUMMARY:IJCAR 2014 — paper deadline
DESCRIPTION:7th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Vienna\, Austria.\nConfer
 ence dates: 19–22 Jul 2014.\nhttps://www.conferences-computer.science/ij
 car/2014/
URL:https://www.conferences-computer.science/ijcar/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2014-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140407
DTEND;VALUE=DATE:20140408
SUMMARY:IJCAR 2014 — notification
DESCRIPTION:7th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Vienna\, Austria.\nConfer
 ence dates: 19–22 Jul 2014.\nhttps://www.conferences-computer.science/ij
 car/2014/
URL:https://www.conferences-computer.science/ijcar/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2016-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160118
DTEND;VALUE=DATE:20160119
SUMMARY:IJCAR 2016 — abstract deadline
DESCRIPTION:8th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Coimbra\, Portugal.\nConf
 erence dates: 27 Jun – 2 Jul 2016.\nhttps://www.conferences-computer.sci
 ence/ijcar/2016/
URL:https://www.conferences-computer.science/ijcar/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160125
DTEND;VALUE=DATE:20160126
SUMMARY:IJCAR 2016 — paper deadline
DESCRIPTION:8th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Coimbra\, Portugal.\nConf
 erence dates: 27 Jun – 2 Jul 2016.\nhttps://www.conferences-computer.sci
 ence/ijcar/2016/
URL:https://www.conferences-computer.science/ijcar/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160321
DTEND;VALUE=DATE:20160322
SUMMARY:IJCAR 2016 — notification
DESCRIPTION:8th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Coimbra\, Portugal.\nConf
 erence dates: 27 Jun – 2 Jul 2016.\nhttps://www.conferences-computer.sci
 ence/ijcar/2016/
URL:https://www.conferences-computer.science/ijcar/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2018-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180122
DTEND;VALUE=DATE:20180123
SUMMARY:IJCAR 2018 — abstract deadline
DESCRIPTION:9th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Oxford\, England.\nConfer
 ence dates: 14–17 Jul 2018.\nhttps://www.conferences-computer.science/ij
 car/2018/
URL:https://www.conferences-computer.science/ijcar/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180129
DTEND;VALUE=DATE:20180130
SUMMARY:IJCAR 2018 — paper deadline
DESCRIPTION:9th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Oxford\, England.\nConfer
 ence dates: 14–17 Jul 2018.\nhttps://www.conferences-computer.science/ij
 car/2018/
URL:https://www.conferences-computer.science/ijcar/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180329
DTEND;VALUE=DATE:20180330
SUMMARY:IJCAR 2018 — notification
DESCRIPTION:9th International Joint Conference on Automated Reasoning\nNo t
 ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n
 Shown as an all-day event: the deadline is a moment\, not a day\, so check
  the exact time on the conference site.\nHeld in Oxford\, England.\nConfer
 ence dates: 14–17 Jul 2018.\nhttps://www.conferences-computer.science/ij
 car/2018/
URL:https://www.conferences-computer.science/ijcar/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2020-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200116
DTEND;VALUE=DATE:20200117
SUMMARY:IJCAR 2020 — abstract deadline
DESCRIPTION:10th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Online.\nConference date
 s: 29 Jun – 5 Jul 2020.\nhttps://www.conferences-computer.science/ijcar/
 2020/
URL:https://www.conferences-computer.science/ijcar/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200123
DTEND;VALUE=DATE:20200124
SUMMARY:IJCAR 2020 — paper deadline
DESCRIPTION:10th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Online.\nConference date
 s: 29 Jun – 5 Jul 2020.\nhttps://www.conferences-computer.science/ijcar/
 2020/
URL:https://www.conferences-computer.science/ijcar/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200320
DTEND;VALUE=DATE:20200321
SUMMARY:IJCAR 2020 — notification
DESCRIPTION:10th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Online.\nConference date
 s: 29 Jun – 5 Jul 2020.\nhttps://www.conferences-computer.science/ijcar/
 2020/
URL:https://www.conferences-computer.science/ijcar/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2022-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220211
DTEND;VALUE=DATE:20220212
SUMMARY:IJCAR 2022 — abstract deadline
DESCRIPTION:11th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Haifa\, Israel.\nConfere
 nce dates: 7–12 Aug 2022.\nhttps://www.conferences-computer.science/ijca
 r/2022/
URL:https://www.conferences-computer.science/ijcar/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220218
DTEND;VALUE=DATE:20220219
SUMMARY:IJCAR 2022 — paper deadline
DESCRIPTION:11th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nExtended from 11 February 2022.\
 nHeld in Haifa\, Israel.\nConference dates: 7–12 Aug 2022.\nhttps://www.
 conferences-computer.science/ijcar/2022/
URL:https://www.conferences-computer.science/ijcar/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220429
DTEND;VALUE=DATE:20220430
SUMMARY:IJCAR 2022 — notification
DESCRIPTION:11th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nExtended from 25 April 2022.\nHe
 ld in Haifa\, Israel.\nConference dates: 7–12 Aug 2022.\nhttps://www.con
 ferences-computer.science/ijcar/2022/
URL:https://www.conferences-computer.science/ijcar/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2024-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240129
DTEND;VALUE=DATE:20240130
SUMMARY:IJCAR 2024 — abstract deadline
DESCRIPTION:12th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Nancy\, France.\nConfere
 nce dates: 1–6 Jul 2024.\nhttps://www.conferences-computer.science/ijcar
 /2024/
URL:https://www.conferences-computer.science/ijcar/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240205
DTEND;VALUE=DATE:20240206
SUMMARY:IJCAR 2024 — paper deadline
DESCRIPTION:12th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Nancy\, France.\nConfere
 nce dates: 1–6 Jul 2024.\nhttps://www.conferences-computer.science/ijcar
 /2024/
URL:https://www.conferences-computer.science/ijcar/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240328
DTEND;VALUE=DATE:20240329
SUMMARY:IJCAR 2024 — notification
DESCRIPTION:12th International Joint Conference on Automated Reasoning\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Nancy\, France.\nConfere
 nce dates: 1–6 Jul 2024.\nhttps://www.conferences-computer.science/ijcar
 /2024/
URL:https://www.conferences-computer.science/ijcar/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2014-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20140719
DTEND;VALUE=DATE:20140723
SUMMARY:IJCAR 2014 — Vienna\, Austria
DESCRIPTION:7th International Joint Conference on Automated Reasoning\nHeld
  in Vienna\, Austria.\nPaper deadline was 24 January 2014.\nhttps://www.co
 nferences-computer.science/ijcar/2014/
URL:https://www.conferences-computer.science/ijcar/2014/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160627
DTEND;VALUE=DATE:20160703
SUMMARY:IJCAR 2016 — Coimbra\, Portugal
DESCRIPTION:8th International Joint Conference on Automated Reasoning\nHeld
  in Coimbra\, Portugal.\nPaper deadline was 25 January 2016.\nhttps://www.
 conferences-computer.science/ijcar/2016/
URL:https://www.conferences-computer.science/ijcar/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180714
DTEND;VALUE=DATE:20180718
SUMMARY:IJCAR 2018 — Oxford\, England
DESCRIPTION:9th International Joint Conference on Automated Reasoning\nHeld
  in Oxford\, England.\nPaper deadline was 29 January 2018.\nhttps://www.co
 nferences-computer.science/ijcar/2018/
URL:https://www.conferences-computer.science/ijcar/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200629
DTEND;VALUE=DATE:20200706
SUMMARY:IJCAR 2020 — Online
DESCRIPTION:10th International Joint Conference on Automated Reasoning\nHel
 d in Online.\nPaper deadline was 23 January 2020.\nhttps://www.conferences
 -computer.science/ijcar/2020/
URL:https://www.conferences-computer.science/ijcar/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220807
DTEND;VALUE=DATE:20220813
SUMMARY:IJCAR 2022 — Haifa\, Israel
DESCRIPTION:11th International Joint Conference on Automated Reasoning\nHel
 d in Haifa\, Israel.\nPaper deadline was 18 February 2022.\nhttps://www.co
 nferences-computer.science/ijcar/2022/
URL:https://www.conferences-computer.science/ijcar/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,IJCAR
END:VEVENT
BEGIN:VEVENT
UID:ijcar-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240701
DTEND;VALUE=DATE:20240707
SUMMARY:IJCAR 2024 — Nancy\, France
DESCRIPTION:12th International Joint Conference on Automated Reasoning\nHel
 d in Nancy\, France.\nPaper deadline was 05 February 2024.\nhttps://www.co
 nferences-computer.science/ijcar/2024/
URL:https://www.conferences-computer.science/ijcar/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,IJCAR
END:VEVENT
END:VCALENDAR