Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
85 results · clear filters Sort: newest oldest name
- Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part IComputer and information sciencese113jrm
- Logic Programming and Nonmonotonic Reasoning - 18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7-11, 2026, ProceedingsComputer and information sciencese11h1t4
- 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.Computer and information sciencese119019
- Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025.Computer and information sciencese12120r
- International Conference on Logic Programming (ICLP 2024)Computer and information sciencese12f7r6
- 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.Computer and information sciencese11900b
- LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024Computer and information sciencese11h14h
- LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024Computer and information sciencese11h15f
- Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, ProceedingsComputer and information sciencese11h1s6
- Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024.Computer and information sciencese1211a5
- 39th International Conference on Logic Programming (ICLP 2023)Computer and information sciencese12c81t
- 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.Computer and information sciencese118zzf
- LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.Computer and information sciencese11h13k
- Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023.Computer and information sciencese1210b4
- 38th International Conference on Logic Programming (ICLP 2022)Computer and information sciencese12c83p
- 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.Computer and information sciencese118zyh
- Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, ProceedingsComputer and information sciencese11h1r8
- Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.Computer and information sciencese120zrc
- 37th International Conference on Logic Programming (ICLP 2021)Computer and information sciencese12c84m
- 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.Computer and information sciencese118zxk
- Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021.Computer and information sciencese120z6h
- 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.Computer and information sciencese118zwn
- LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.Computer and information sciencese11h12n
- Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020.Computer and information sciencese120yjs
- Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part IComputer and information sciencese113jky
As JSON: https://labs.confref.org/api/search?kind=event&field=1&discipline=Q275603