BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:TABLEAUX — deadlines and dates
X-WR-CALDESC:Every recorded edition of TABLEAUX. https://www.conferences-co
 mputer.science/tableaux/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:tableaux-2017-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170428
DTEND;VALUE=DATE:20170429
SUMMARY:TABLEAUX 2017 — abstract deadline
DESCRIPTION:26th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nExtended from 18 April 2017.\nHeld in Brasília\, Brazil.\nConference
  dates: 25–28 Sep 2017.\nhttps://www.conferences-computer.science/tablea
 ux/2017/
URL:https://www.conferences-computer.science/tableaux/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2017-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170428
DTEND;VALUE=DATE:20170429
SUMMARY:TABLEAUX 2017 — paper deadline
DESCRIPTION:26th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nExtended from 25 April 2017.\nHeld in Brasília\, Brazil.\nConference
  dates: 25–28 Sep 2017.\nhttps://www.conferences-computer.science/tablea
 ux/2017/
URL:https://www.conferences-computer.science/tableaux/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2017-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170608
DTEND;VALUE=DATE:20170609
SUMMARY:TABLEAUX 2017 — notification
DESCRIPTION:26th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nHeld in Brasília\, Brazil.\nConference dates: 25–28 Sep 2017.\nhtt
 ps://www.conferences-computer.science/tableaux/2017/
URL:https://www.conferences-computer.science/tableaux/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2018-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180122
DTEND;VALUE=DATE:20180123
SUMMARY:TABLEAUX 2018 — abstract deadline
DESCRIPTION:27th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nDeadline stated in AoE.\nShown 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.\nConference dates: 14
 –17 Jul 2018.\nhttps://www.conferences-computer.science/tableaux/2018/
URL:https://www.conferences-computer.science/tableaux/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2018-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180204
DTEND;VALUE=DATE:20180205
SUMMARY:TABLEAUX 2018 — paper deadline
DESCRIPTION:27th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nDeadline stated in AoE.\nShown as an all
 -day event: the deadline is a moment\, not a day\, so check the exact time
  on the conference site.\nExtended from 29 January 2018.\nHeld in Oxford\,
  England.\nConference dates: 14–17 Jul 2018.\nhttps://www.conferences-co
 mputer.science/tableaux/2018/
URL:https://www.conferences-computer.science/tableaux/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2018-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180329
DTEND;VALUE=DATE:20180330
SUMMARY:TABLEAUX 2018 — notification
DESCRIPTION:27th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nHeld in Oxford\, England.\nConference dates: 14–17 Jul 2018.\nhttps
 ://www.conferences-computer.science/tableaux/2018/
URL:https://www.conferences-computer.science/tableaux/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2020-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200116
DTEND;VALUE=DATE:20200117
SUMMARY:TABLEAUX 2020 — abstract deadline
DESCRIPTION:29th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nHeld in Paris\, France.\nConference dates: 1–4 Jul 2020.\nhttps://w
 ww.conferences-computer.science/tableaux/2020/
URL:https://www.conferences-computer.science/tableaux/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2020-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200123
DTEND;VALUE=DATE:20200124
SUMMARY:TABLEAUX 2020 — paper deadline
DESCRIPTION:29th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nHeld in Paris\, France.\nConference dates: 1–4 Jul 2020.\nhttps://w
 ww.conferences-computer.science/tableaux/2020/
URL:https://www.conferences-computer.science/tableaux/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2020-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200320
DTEND;VALUE=DATE:20200321
SUMMARY:TABLEAUX 2020 — notification
DESCRIPTION:29th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nHeld in Paris\, France.\nConference dates: 1–4 Jul 2020.\nhttps://w
 ww.conferences-computer.science/tableaux/2020/
URL:https://www.conferences-computer.science/tableaux/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2025-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250509
DTEND;VALUE=DATE:20250510
SUMMARY:TABLEAUX 2025 — abstract deadline
DESCRIPTION:34th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nHeld in Reykjavik\, Iceland.\nConference dates: 27 Sep – 3 Oct 2025
 .\nhttps://www.conferences-computer.science/tableaux/2025/
URL:https://www.conferences-computer.science/tableaux/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250518
DTEND;VALUE=DATE:20250519
SUMMARY:TABLEAUX 2025 — paper deadline
DESCRIPTION:34th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nExtended from 14 May 2025.\nHeld in Reykjavik\, Iceland.\nConference 
 dates: 27 Sep – 3 Oct 2025.\nhttps://www.conferences-computer.science/ta
 bleaux/2025/
URL:https://www.conferences-computer.science/tableaux/2025/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2025-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250630
DTEND;VALUE=DATE:20250701
SUMMARY:TABLEAUX 2025 — notification
DESCRIPTION:34th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nNo time zone stated by the organisers\; 
 this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl
 ine is a moment\, not a day\, so check the exact time on the conference si
 te.\nHeld in Reykjavik\, Iceland.\nConference dates: 27 Sep – 3 Oct 2025
 .\nhttps://www.conferences-computer.science/tableaux/2025/
URL:https://www.conferences-computer.science/tableaux/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2017-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20170925
DTEND;VALUE=DATE:20170929
SUMMARY:TABLEAUX 2017 — Brasília\, Brazil
DESCRIPTION:26th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nHeld in Brasília\, Brazil.\nPaper deadl
 ine was 28 April 2017.\nhttps://www.conferences-computer.science/tableaux/
 2017/
URL:https://www.conferences-computer.science/tableaux/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2018-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180714
DTEND;VALUE=DATE:20180718
SUMMARY:TABLEAUX 2018 — Oxford\, England
DESCRIPTION:27th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nHeld in Oxford\, England.\nPaper deadlin
 e was 04 February 2018.\nhttps://www.conferences-computer.science/tableaux
 /2018/
URL:https://www.conferences-computer.science/tableaux/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2020-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200701
DTEND;VALUE=DATE:20200705
SUMMARY:TABLEAUX 2020 — Paris\, France
DESCRIPTION:29th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nHeld in Paris\, France.\nPaper deadline 
 was 23 January 2020.\nhttps://www.conferences-computer.science/tableaux/20
 20/
URL:https://www.conferences-computer.science/tableaux/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TABLEAUX
END:VEVENT
BEGIN:VEVENT
UID:tableaux-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250927
DTEND;VALUE=DATE:20251004
SUMMARY:TABLEAUX 2025 — Reykjavik\, Iceland
DESCRIPTION:34th International Conference on Automated Reasoning with Analy
 tic Tableaux and Related Methods\nHeld in Reykjavik\, Iceland.\nPaper dead
 line was 18 May 2025.\nhttps://www.conferences-computer.science/tableaux/2
 025/
URL:https://www.conferences-computer.science/tableaux/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TABLEAUX
END:VEVENT
END:VCALENDAR