{
 "generated": "2026-08-13T11:47:39.400232+00:00",
 "source": "https://www.conferences-computer.science/lopstr/",
 "licence": "CC BY-SA 4.0",
 "acronym": "LOPSTR",
 "name": "International Symposium on Logic-Based Program Synthesis and Transformation",
 "count": 11,
 "editions": [
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2015",
   "edition": 25,
   "title": "25th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "http://alpha.diism.unisi.it/lopstr15/",
   "page": "https://www.conferences-computer.science/lopstr/2015/",
   "status": null,
   "abstract_deadline": "2015-04-26",
   "paper_deadline": "2015-05-02",
   "paper_deadline_announced": "2015-05-02",
   "paper_extended_days": 0,
   "notification": "2015-06-02",
   "timezone": null,
   "event_start": "2015-07-13",
   "event_end": "2015-07-15",
   "city": "Siena, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 43.3188,
   "lon": 11.3308,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + Appendix",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2016",
   "edition": 26,
   "title": "26th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "http://cliplab.org/Conferences/LOPSTR16/",
   "page": "https://www.conferences-computer.science/lopstr/2016/",
   "status": null,
   "abstract_deadline": "2016-06-20",
   "paper_deadline": "2016-06-27",
   "paper_deadline_announced": "2016-06-14",
   "paper_extended_days": 13,
   "notification": "2016-08-03",
   "timezone": null,
   "event_start": "2016-09-06",
   "event_end": "2016-09-08",
   "city": "Edinburgh, UK",
   "country": "GB",
   "continent": "EU",
   "lat": 55.9533,
   "lon": -3.1883,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + Appendix",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2017",
   "edition": 27,
   "title": "27th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "https://www.sci.unich.it/lopstr17/",
   "page": "https://www.conferences-computer.science/lopstr/2017/",
   "status": null,
   "abstract_deadline": "2017-06-18",
   "paper_deadline": "2017-06-25",
   "paper_deadline_announced": "2017-06-13",
   "paper_extended_days": 12,
   "notification": "2017-07-25",
   "timezone": null,
   "event_start": "2017-10-10",
   "event_end": "2017-10-12",
   "city": "Namur, Belgium",
   "country": "BE",
   "continent": "EU",
   "lat": 50.4674,
   "lon": 4.872,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + Appendix",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2018",
   "edition": 28,
   "title": "28th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html",
   "page": "https://www.conferences-computer.science/lopstr/2018/",
   "status": null,
   "abstract_deadline": "2018-06-26",
   "paper_deadline": "2018-06-30",
   "paper_deadline_announced": "2018-04-01",
   "paper_extended_days": 90,
   "notification": "2018-07-30",
   "timezone": null,
   "event_start": "2018-10-04",
   "event_end": "2018-10-06",
   "city": "Frankfurt, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 50.1109,
   "lon": 8.6821,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + Appendix",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2019",
   "edition": 29,
   "title": "29th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "http://www.cs.unibo.it/projects/lopstr19/",
   "page": "https://www.conferences-computer.science/lopstr/2019/",
   "status": null,
   "abstract_deadline": "2019-06-25",
   "paper_deadline": "2019-06-30",
   "paper_deadline_announced": "2019-06-24",
   "paper_extended_days": 6,
   "notification": "2019-07-24",
   "timezone": null,
   "event_start": "2019-10-08",
   "event_end": "2019-10-10",
   "city": "Porto, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 41.1579,
   "lon": -8.6291,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + Appendix",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2020",
   "edition": 30,
   "title": "30th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/",
   "page": "https://www.conferences-computer.science/lopstr/2020/",
   "status": null,
   "abstract_deadline": "2020-06-12",
   "paper_deadline": "2020-06-19",
   "paper_deadline_announced": "2020-06-12",
   "paper_extended_days": 7,
   "notification": "2020-07-19",
   "timezone": null,
   "event_start": "2020-09-07",
   "event_end": "2020-09-09",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + Appendix",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2021",
   "edition": 31,
   "title": "31st International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "http://saks.iasi.cnr.it/lopstr21/",
   "page": "https://www.conferences-computer.science/lopstr/2021/",
   "status": null,
   "abstract_deadline": "2021-06-07",
   "paper_deadline": "2021-06-25",
   "paper_deadline_announced": "2021-05-15",
   "paper_extended_days": 41,
   "notification": "2021-07-16",
   "timezone": "AoE",
   "event_start": "2021-09-07",
   "event_end": "2021-09-09",
   "city": "Tallinn, Estonia (hybrid)",
   "country": "EE",
   "continent": "EU",
   "lat": 59.437,
   "lon": 24.7536,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + references + appendix / 8 pages + references (extended abstract)",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2022",
   "edition": 32,
   "title": "32nd International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "http://lopstr2022.webs.upv.es/",
   "page": "https://www.conferences-computer.science/lopstr/2022/",
   "status": null,
   "abstract_deadline": "2022-05-02",
   "paper_deadline": "2022-05-09",
   "paper_deadline_announced": "2022-05-09",
   "paper_extended_days": 0,
   "notification": "2022-06-20",
   "timezone": "AoE",
   "event_start": "2022-09-21",
   "event_end": "2022-09-23",
   "city": "Tbilisi, Georgia",
   "country": "GE",
   "continent": "AS",
   "lat": 41.7151,
   "lon": 44.8271,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + references + appendix / 8 pages + references (extended abstract)",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2023",
   "edition": 33,
   "title": "33rd International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "https://lopstr.github.io/2023/",
   "page": "https://www.conferences-computer.science/lopstr/2023/",
   "status": null,
   "abstract_deadline": "2023-05-19",
   "paper_deadline": "2023-06-09",
   "paper_deadline_announced": "2023-05-26",
   "paper_extended_days": 14,
   "notification": "2023-07-24",
   "timezone": "AoE",
   "event_start": "2023-10-23",
   "event_end": "2023-10-24",
   "city": "Cascais, Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.6979,
   "lon": -9.4215,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + references + appendix / 8 pages + references (short)",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2024",
   "edition": 34,
   "title": "34th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "https://lopstr.github.io/2023/",
   "page": "https://www.conferences-computer.science/lopstr/2024/",
   "status": null,
   "abstract_deadline": "2024-05-15",
   "paper_deadline": "2024-05-19",
   "paper_deadline_announced": "2024-05-10",
   "paper_extended_days": 9,
   "notification": "2024-06-26",
   "timezone": "AoE",
   "event_start": "2024-09-09",
   "event_end": "2024-09-11",
   "city": "Milan, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4642,
   "lon": 9.19,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + references + appendix / 8 pages + references (short)",
   "dblp": null
  },
  {
   "slug": "lopstr",
   "acronym": "LOPSTR",
   "year": "2025",
   "edition": 35,
   "title": "35th International Symposium on Logic-Based Program Synthesis and Transformation",
   "url": "https://lopstr.github.io/2025/",
   "page": "https://www.conferences-computer.science/lopstr/2025/",
   "status": null,
   "abstract_deadline": "2025-05-09",
   "paper_deadline": "2025-05-16",
   "paper_deadline_announced": "2025-05-16",
   "paper_extended_days": 0,
   "notification": "2025-06-27",
   "timezone": "AoE",
   "event_start": "2025-09-09",
   "event_end": "2025-09-10",
   "city": "University of Calabria, Rende, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 39.3333,
   "lon": 16.1833,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages Springer + references + appendix / 8 pages + references (short)",
   "dblp": null
  }
 ]
}