{
 "generated": "2026-08-13T11:47:39.397866+00:00",
 "source": "https://www.conferences-computer.science/lics/",
 "licence": "CC BY-SA 4.0",
 "acronym": "LiCS",
 "name": "Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
 "count": 12,
 "editions": [
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2015",
   "edition": 30,
   "title": "30th Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LiCS)",
   "url": "http://lics.rwth-aachen.de/lics15/",
   "page": "https://www.conferences-computer.science/lics/2015/",
   "status": null,
   "abstract_deadline": "2015-01-12",
   "paper_deadline": "2015-01-19",
   "paper_deadline_announced": "2015-01-19",
   "paper_extended_days": 0,
   "notification": "2015-03-30",
   "timezone": null,
   "event_start": "2015-07-06",
   "event_end": "2015-07-10",
   "city": "Kyoto, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.0116,
   "lon": 135.7681,
   "online": false,
   "publisher": "IEEE (?)",
   "license": "pay",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2016",
   "edition": 31,
   "title": "31st Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LiCS)",
   "url": "http://lics.rwth-aachen.de/lics16/",
   "page": "https://www.conferences-computer.science/lics/2016/",
   "status": null,
   "abstract_deadline": "2016-01-11",
   "paper_deadline": "2016-01-18",
   "paper_deadline_announced": "2016-01-18",
   "paper_extended_days": 0,
   "notification": "2016-04-04",
   "timezone": null,
   "event_start": "2016-07-05",
   "event_end": "2016-07-08",
   "city": "New York City, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.7128,
   "lon": -74.006,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM SIGPLAN",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2017",
   "edition": 32,
   "title": "32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "http://lics.rwth-aachen.de/lics17/",
   "page": "https://www.conferences-computer.science/lics/2017/",
   "status": null,
   "abstract_deadline": "2017-01-03",
   "paper_deadline": "2017-01-09",
   "paper_deadline_announced": "2017-01-09",
   "paper_extended_days": 0,
   "notification": "2017-03-21",
   "timezone": null,
   "event_start": "2017-06-20",
   "event_end": "2017-06-23",
   "city": "Reykjavik, Iceland",
   "country": "IS",
   "continent": "EU",
   "lat": 64.1466,
   "lon": -21.9426,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": 224,
   "accepted": 89,
   "acceptance_rate": 39.7,
   "format": "12 pages IEEE",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2018",
   "edition": 33,
   "title": "33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "http://lics.siglog.org/lics18/",
   "page": "https://www.conferences-computer.science/lics/2018/",
   "status": null,
   "abstract_deadline": "2018-01-24",
   "paper_deadline": "2018-01-31",
   "paper_deadline_announced": "2018-01-31",
   "paper_extended_days": 0,
   "notification": "2018-03-31",
   "timezone": null,
   "event_start": "2018-07-09",
   "event_end": "2018-07-12",
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages ACM SIGPLAN",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2019",
   "edition": 34,
   "title": "34th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "https://lics.siglog.org/lics19/",
   "page": "https://www.conferences-computer.science/lics/2019/",
   "status": null,
   "abstract_deadline": "2019-01-04",
   "paper_deadline": "2019-01-11",
   "paper_deadline_announced": "2019-01-11",
   "paper_extended_days": 0,
   "notification": "2019-03-29",
   "timezone": null,
   "event_start": "2019-06-24",
   "event_end": "2019-06-27",
   "city": "Vancouver, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 49.2827,
   "lon": -123.1207,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings (?)",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 IEEE",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2020",
   "edition": 35,
   "title": "35th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "https://lics.siglog.org/lics20/",
   "page": "https://www.conferences-computer.science/lics/2020/",
   "status": null,
   "abstract_deadline": "2020-01-06",
   "paper_deadline": "2020-01-10",
   "paper_deadline_announced": "2020-01-10",
   "paper_extended_days": 0,
   "notification": "2020-04-10",
   "timezone": null,
   "event_start": "2020-07-08",
   "event_end": "2020-07-12",
   "city": "Beijing, China",
   "country": "CN",
   "continent": "AS",
   "lat": 39.9042,
   "lon": 116.4074,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings (?)",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 IEEE",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2021",
   "edition": 36,
   "title": "36th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "http://easyconferences.eu/lics2021/",
   "page": "https://www.conferences-computer.science/lics/2021/",
   "status": null,
   "abstract_deadline": "2021-01-20",
   "paper_deadline": "2021-01-25",
   "paper_deadline_announced": "2021-01-25",
   "paper_extended_days": 0,
   "notification": "2021-03-31",
   "timezone": "AoE",
   "event_start": "2021-06-29",
   "event_end": "2021-07-02",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "ACM SIGPLAN Proceedings (?)",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages IEEE",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2022",
   "edition": 37,
   "title": "37th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "https://lics.siglog.org/lics22/",
   "page": "https://www.conferences-computer.science/lics/2022/",
   "status": null,
   "abstract_deadline": "2022-01-17",
   "paper_deadline": "2022-01-21",
   "paper_deadline_announced": "2022-01-21",
   "paper_extended_days": 0,
   "notification": "2022-04-14",
   "timezone": "AoE",
   "event_start": "2022-08-02",
   "event_end": "2022-08-05",
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages IEEE + references",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2023",
   "edition": 38,
   "title": "38th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "https://lics.siglog.org/lics22/",
   "page": "https://www.conferences-computer.science/lics/2023/",
   "status": null,
   "abstract_deadline": "2023-01-18",
   "paper_deadline": "2023-01-23",
   "paper_deadline_announced": "2023-01-23",
   "paper_extended_days": 0,
   "notification": "2023-04-05",
   "timezone": "AoE",
   "event_start": "2023-06-26",
   "event_end": "2023-06-29",
   "city": "Boston, USA",
   "country": "US",
   "continent": "NA",
   "lat": 42.3601,
   "lon": -71.0589,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": 192,
   "accepted": 63,
   "acceptance_rate": 32.8,
   "format": "12 pages IEEE + references",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2024",
   "edition": 39,
   "title": "39th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "https://lics.siglog.org/lics24/",
   "page": "https://www.conferences-computer.science/lics/2024/",
   "status": null,
   "abstract_deadline": "2024-01-21",
   "paper_deadline": "2024-01-26",
   "paper_deadline_announced": "2024-01-26",
   "paper_extended_days": 0,
   "notification": "2024-04-15",
   "timezone": "AoE",
   "event_start": "2024-07-08",
   "event_end": "2024-07-12",
   "city": "Tallinn, Estonia",
   "country": "EE",
   "continent": "EU",
   "lat": 59.437,
   "lon": 24.7536,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": 236,
   "accepted": 72,
   "acceptance_rate": 30.5,
   "format": "12 pages IEEE + references",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2025",
   "edition": 40,
   "title": "40th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "https://lics.siglog.org/lics25/",
   "page": "https://www.conferences-computer.science/lics/2025/",
   "status": null,
   "abstract_deadline": "2025-01-16",
   "paper_deadline": "2025-01-23",
   "paper_deadline_announced": "2025-01-23",
   "paper_extended_days": 0,
   "notification": "2025-04-08",
   "timezone": "AoE",
   "event_start": "2025-06-23",
   "event_end": "2025-06-26",
   "city": "Singapore",
   "country": "SG",
   "continent": "AS",
   "lat": 1.3521,
   "lon": 103.8198,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages IEEE + references",
   "dblp": "lics"
  },
  {
   "slug": "lics",
   "acronym": "LiCS",
   "year": "2026",
   "edition": 41,
   "title": "41st Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS)",
   "url": "https://lics.siglog.org/lics26/",
   "page": "https://www.conferences-computer.science/lics/2026/",
   "status": null,
   "abstract_deadline": "2026-01-15",
   "paper_deadline": "2026-01-22",
   "paper_deadline_announced": "2026-01-22",
   "paper_extended_days": 0,
   "notification": "2026-04-16",
   "timezone": "AoE",
   "event_start": "2026-07-20",
   "event_end": "2026-07-23",
   "city": "Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.7223,
   "lon": -9.1393,
   "online": false,
   "publisher": "ACM SIGPLAN Proceedings",
   "license": "acm",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages IEEE + references",
   "dblp": "lics"
  }
 ]
}