{
 "generated": "2026-08-13T11:47:39.584192+00:00",
 "source": "https://www.conferences-computer.science/tableaux/",
 "licence": "CC BY-SA 4.0",
 "acronym": "TABLEAUX",
 "name": "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
 "count": 4,
 "editions": [
  {
   "slug": "tableaux",
   "acronym": "TABLEAUX",
   "year": "2017",
   "edition": 26,
   "title": "26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "url": "http://tableaux2017.cic.unb.br/",
   "page": "https://www.conferences-computer.science/tableaux/2017/",
   "status": null,
   "abstract_deadline": "2017-04-28",
   "paper_deadline": "2017-04-28",
   "paper_deadline_announced": "2017-04-25",
   "paper_extended_days": 3,
   "notification": "2017-06-08",
   "timezone": null,
   "event_start": "2017-09-25",
   "event_end": "2017-09-28",
   "city": "Brasília, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -15.7939,
   "lon": -47.8828,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (research) / 9 pages (system descriptions)",
   "dblp": null
  },
  {
   "slug": "tableaux",
   "acronym": "TABLEAUX",
   "year": "2018",
   "edition": 27,
   "title": "27th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "url": "http://ijcar2018.org/",
   "page": "https://www.conferences-computer.science/tableaux/2018/",
   "status": null,
   "abstract_deadline": "2018-01-22",
   "paper_deadline": "2018-02-04",
   "paper_deadline_announced": "2018-01-29",
   "paper_extended_days": 6,
   "notification": "2018-03-29",
   "timezone": "AoE",
   "event_start": "2018-07-14",
   "event_end": "2018-07-17",
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (research) / 8 pages (short system descriptions)",
   "dblp": null
  },
  {
   "slug": "tableaux",
   "acronym": "TABLEAUX",
   "year": "2020",
   "edition": 29,
   "title": "29th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "url": "https://ijcar2020.org/",
   "page": "https://www.conferences-computer.science/tableaux/2020/",
   "status": null,
   "abstract_deadline": "2020-01-16",
   "paper_deadline": "2020-01-23",
   "paper_deadline_announced": "2020-01-23",
   "paper_extended_days": 0,
   "notification": "2020-03-20",
   "timezone": null,
   "event_start": "2020-07-01",
   "event_end": "2020-07-04",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (research) / 8 pages (short system descriptions)",
   "dblp": null
  },
  {
   "slug": "tableaux",
   "acronym": "TABLEAUX",
   "year": "2025",
   "edition": 34,
   "title": "34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "url": "https://icetcs.github.io/frocos-itp-tableaux25/tableaux/",
   "page": "https://www.conferences-computer.science/tableaux/2025/",
   "status": null,
   "abstract_deadline": "2025-05-09",
   "paper_deadline": "2025-05-18",
   "paper_deadline_announced": "2025-05-14",
   "paper_extended_days": 4,
   "notification": "2025-06-30",
   "timezone": null,
   "event_start": "2025-09-27",
   "event_end": "2025-10-03",
   "city": "Reykjavik, Iceland",
   "country": "IS",
   "continent": "EU",
   "lat": 64.1466,
   "lon": -21.9426,
   "online": false,
   "publisher": "Springer LNAI/LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references (research) / 9 pages + references (system descriptions, user experiences, case studies and domain models)",
   "dblp": null
  }
 ]
}