{ "query": { "kind": "event", "field": [ "1.2" ], "discipline": [ "Q275603" ], "page": 1 }, "total": 85, "sort": "newest", "page": 1, "per_page": 25, "results": [ { "id": "e113jrm", "iri": "https://id.confref.org/event/e113jrm", "kind": "event", "label": "Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 2026, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q1490", "country": "JP", "lat": 35.6894, "lon": 139.6917, "mode": null }, { "id": "e11h1t4", "iri": "https://id.confref.org/event/e11h1t4", "kind": "event", "label": "Logic Programming and Nonmonotonic Reasoning - 18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7-11, 2026, Proceedings", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q2488768", "http://www.wikidata.org/entity/Q275603" ], "year": 2026, "start": null, "end": null, "series": [ "s10a7qm" ], "place": "http://www.wikidata.org/entity/Q41753", "country": "AT", "lat": 46.6167, "lon": 14.3, "mode": null }, { "id": "e119019", "iri": "https://id.confref.org/event/e119019", "kind": "event", "label": "Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2025, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q53946", "country": "IT", "lat": 39.3333, "lon": 16.1833, "mode": null }, { "id": "e12120r", "iri": "https://id.confref.org/event/e12120r", "kind": "event", "label": "Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2025, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q53946", "country": "IT", "lat": 39.3333, "lon": 16.1833, "mode": null }, { "id": "e12f7r6", "iri": "https://id.confref.org/event/e12f7r6", "kind": "event", "label": "International Conference on Logic Programming", "acronyms": [ "ICLP 2024" ], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2024, "start": "2024-10-14", "end": "2024-10-17", "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q16557", "country": "US", "lat": 32.7792, "lon": -96.8089, "mode": "on site" }, { "id": "e11900b", "iri": "https://id.confref.org/event/e11900b", "kind": "event", "label": "Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2024, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q16557", "country": "US", "lat": 32.7792, "lon": -96.8089, "mode": null }, { "id": "e11h14h", "iri": "https://id.confref.org/event/e11h14h", "kind": "event", "label": "LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q2555318", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q5157327" ], "year": 2024, "start": null, "end": null, "series": [ "s10a7nr" ], "place": "http://www.wikidata.org/entity/Q3929", "country": "MU", "lat": -20.1619, "lon": 57.4989, "mode": null }, { "id": "e11h15f", "iri": "https://id.confref.org/event/e11h15f", "kind": "event", "label": "LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q2555318", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q5157327" ], "year": 2024, "start": null, "end": null, "series": [ "s10a7nr" ], "place": "http://www.wikidata.org/entity/Q3929", "country": "MU", "lat": -20.1619, "lon": 57.4989, "mode": null }, { "id": "e11h1s6", "iri": "https://id.confref.org/event/e11h1s6", "kind": "event", "label": "Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q2488768", "http://www.wikidata.org/entity/Q275603" ], "year": 2024, "start": null, "end": null, "series": [ "s10a7qm" ], "place": "http://www.wikidata.org/entity/Q16557", "country": "US", "lat": 32.7792, "lon": -96.8089, "mode": null }, { "id": "e1211a5", "iri": "https://id.confref.org/event/e1211a5", "kind": "event", "label": "Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2024, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q30", "country": "US", "lat": 39.8282, "lon": -98.5795, "mode": null }, { "id": "e12c81t", "iri": "https://id.confref.org/event/e12c81t", "kind": "event", "label": "39th International Conference on Logic Programming", "acronyms": [ "ICLP 2023" ], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2023, "start": "2023-07-09", "end": "2023-07-15", "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q84", "country": "GB", "lat": 51.5072, "lon": -0.1275, "mode": "on site" }, { "id": "e118zzf", "iri": "https://id.confref.org/event/e118zzf", "kind": "event", "label": "Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2023, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q84", "country": "GB", "lat": 51.5072, "lon": -0.1275, "mode": null }, { "id": "e11h13k", "iri": "https://id.confref.org/event/e11h13k", "kind": "event", "label": "LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q2555318", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q5157327" ], "year": 2023, "start": null, "end": null, "series": [ "s10a7nr" ], "place": "http://www.wikidata.org/entity/Q235190", "country": "CO", "lat": 5.0675, "lon": -75.51, "mode": null }, { "id": "e1210b4", "iri": "https://id.confref.org/event/e1210b4", "kind": "event", "label": "Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2023, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q189022", "country": "GB", "lat": 51.4983, "lon": -0.1769, "mode": null }, { "id": "e12c83p", "iri": "https://id.confref.org/event/e12c83p", "kind": "event", "label": "38th International Conference on Logic Programming", "acronyms": [ "ICLP 2022" ], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2022, "start": "2022-07-31", "end": "2022-08-06", "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q41621", "country": "IL", "lat": 32.8192, "lon": 34.9992, "mode": "on site" }, { "id": "e118zyh", "iri": "https://id.confref.org/event/e118zyh", "kind": "event", "label": "Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2022, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q41621", "country": "IL", "lat": 32.8192, "lon": 34.9992, "mode": null }, { "id": "e11h1r8", "iri": "https://id.confref.org/event/e11h1r8", "kind": "event", "label": "Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q2488768", "http://www.wikidata.org/entity/Q275603" ], "year": 2022, "start": null, "end": null, "series": [ "s10a7qm" ], "place": "http://www.wikidata.org/entity/Q1449", "country": "IT", "lat": 44.4072, "lon": 8.9339, "mode": null }, { "id": "e120zrc", "iri": "https://id.confref.org/event/e120zrc", "kind": "event", "label": "Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2022, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q41621", "country": "IL", "lat": 32.8192, "lon": 34.9992, "mode": null }, { "id": "e12c84m", "iri": "https://id.confref.org/event/e12c84m", "kind": "event", "label": "37th International Conference on Logic Programming", "acronyms": [ "ICLP 2021" ], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2021, "start": "2021-09-20", "end": "2021-09-27", "series": [ "s109xek" ], "place": null, "country": null, "lat": null, "lon": null, "mode": "online" }, { "id": "e118zxk", "iri": "https://id.confref.org/event/e118zxk", "kind": "event", "label": "Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2021, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q36433", "country": "PT", "lat": 41.15, "lon": -8.6108, "mode": null }, { "id": "e120z6h", "iri": "https://id.confref.org/event/e120z6h", "kind": "event", "label": "Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2021, "start": null, "end": null, "series": [ "s109xek" ], "place": null, "country": null, "lat": null, "lon": null, "mode": null }, { "id": "e118zwn", "iri": "https://id.confref.org/event/e118zwn", "kind": "event", "label": "International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2020, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q53946", "country": "IT", "lat": 39.3333, "lon": 16.1833, "mode": null }, { "id": "e11h12n", "iri": "https://id.confref.org/event/e11h12n", "kind": "event", "label": "LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q2555318", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q5157327" ], "year": 2020, "start": null, "end": null, "series": [ "s10a7nr" ], "place": "http://www.wikidata.org/entity/Q11959", "country": "ES", "lat": 38.3453, "lon": -0.4831, "mode": null }, { "id": "e120yjs", "iri": "https://id.confref.org/event/e120yjs", "kind": "event", "label": "Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020.", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603" ], "year": 2020, "start": null, "end": null, "series": [ "s109xek" ], "place": "http://www.wikidata.org/entity/Q38", "country": "IT", "lat": 42.5, "lon": 12.5, "mode": null }, { "id": "e113jky", "iri": "https://id.confref.org/event/e113jky", "kind": "event", "label": "Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I", "acronyms": [], "fields": [ "1.2" ], "disciplines": [ "http://www.wikidata.org/entity/Q1049183", "http://www.wikidata.org/entity/Q21198", "http://www.wikidata.org/entity/Q275603", "http://www.wikidata.org/entity/Q6504747" ], "year": 2019, "start": null, "end": null, "series": [ "s109pnb" ], "place": "http://www.wikidata.org/entity/Q45", "country": "PT", "lat": 38.7, "lon": -9.1833, "mode": null } ] }