{
 "generated": "2026-08-13T11:47:39.378406+00:00",
 "source": "https://www.conferences-computer.science/ijcar/",
 "licence": "CC BY-SA 4.0",
 "acronym": "IJCAR",
 "name": "International Joint Conference on Automated Reasoning",
 "count": 6,
 "editions": [
  {
   "slug": "ijcar",
   "acronym": "IJCAR",
   "year": "2014",
   "edition": 7,
   "title": "7th International Joint Conference on Automated Reasoning",
   "url": "http://cs.nyu.edu/ijcar2014/",
   "page": "https://www.conferences-computer.science/ijcar/2014/",
   "status": null,
   "abstract_deadline": "2014-01-22",
   "paper_deadline": "2014-01-24",
   "paper_deadline_announced": "2014-01-24",
   "paper_extended_days": 0,
   "notification": "2014-04-07",
   "timezone": null,
   "event_start": "2014-07-19",
   "event_end": "2014-07-22",
   "city": "Vienna, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "Springer LNAI/LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": null,
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages (full) / 7 pages (system descriptions)",
   "dblp": "ijcar"
  },
  {
   "slug": "ijcar",
   "acronym": "IJCAR",
   "year": "2016",
   "edition": 8,
   "title": "8th International Joint Conference on Automated Reasoning",
   "url": "http://www.uc.pt/en/congressos/ijcar2016",
   "page": "https://www.conferences-computer.science/ijcar/2016/",
   "status": null,
   "abstract_deadline": "2016-01-18",
   "paper_deadline": "2016-01-25",
   "paper_deadline_announced": "2016-01-25",
   "paper_extended_days": 0,
   "notification": "2016-03-21",
   "timezone": null,
   "event_start": "2016-06-27",
   "event_end": "2016-07-02",
   "city": "Coimbra, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 40.2033,
   "lon": -8.4103,
   "online": false,
   "publisher": "Springer LNAI/LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages (full) / 7 pages (system descriptions)",
   "dblp": "ijcar"
  },
  {
   "slug": "ijcar",
   "acronym": "IJCAR",
   "year": "2018",
   "edition": 9,
   "title": "9th International Joint Conference on Automated Reasoning",
   "url": "http://www.ijcar2018.org",
   "page": "https://www.conferences-computer.science/ijcar/2018/",
   "status": null,
   "abstract_deadline": "2018-01-22",
   "paper_deadline": "2018-01-29",
   "paper_deadline_announced": "2018-01-29",
   "paper_extended_days": 0,
   "notification": "2018-03-29",
   "timezone": null,
   "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 LNAI/LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages (full) / 8 pages (system descriptions)",
   "dblp": "ijcar"
  },
  {
   "slug": "ijcar",
   "acronym": "IJCAR",
   "year": "2020",
   "edition": 10,
   "title": "10th International Joint Conference on Automated Reasoning",
   "url": "https://ijcar2020.org/",
   "page": "https://www.conferences-computer.science/ijcar/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-06-29",
   "event_end": "2020-07-05",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNAI/LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages (full) / 7 pages (system descriptions) / 5 pages (short), all excluding bibliography",
   "dblp": "ijcar"
  },
  {
   "slug": "ijcar",
   "acronym": "IJCAR",
   "year": "2022",
   "edition": 11,
   "title": "11th International Joint Conference on Automated Reasoning",
   "url": "https://easychair.org/smart-program/IJCAR2022/",
   "page": "https://www.conferences-computer.science/ijcar/2022/",
   "status": null,
   "abstract_deadline": "2022-02-11",
   "paper_deadline": "2022-02-18",
   "paper_deadline_announced": "2022-02-11",
   "paper_extended_days": 7,
   "notification": "2022-04-29",
   "timezone": null,
   "event_start": "2022-08-07",
   "event_end": "2022-08-12",
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages + references (full) / 7 pages + references (system descriptions)",
   "dblp": "ijcar"
  },
  {
   "slug": "ijcar",
   "acronym": "IJCAR",
   "year": "2024",
   "edition": 11,
   "title": "12th International Joint Conference on Automated Reasoning",
   "url": "https://ijcar2024.loria.fr/",
   "page": "https://www.conferences-computer.science/ijcar/2024/",
   "status": null,
   "abstract_deadline": "2024-01-29",
   "paper_deadline": "2024-02-05",
   "paper_deadline_announced": "2024-02-05",
   "paper_extended_days": 0,
   "notification": "2024-03-28",
   "timezone": null,
   "event_start": "2024-07-01",
   "event_end": "2024-07-06",
   "city": "Nancy, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.6921,
   "lon": 6.1844,
   "online": false,
   "publisher": "Springer LNAI/LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages + references (full) / 7 pages + references (system descriptions)",
   "dblp": "ijcar"
  }
 ]
}