Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
15 results · clear filters Sort: newest oldest name
- International Conference on Logic Programming (ICLP 2024)Computer and information sciencese12f7r6
- 39th International Conference on Logic Programming (ICLP 2023)Computer and information sciencese12c81t
- 38th International Conference on Logic Programming (ICLP 2022)Computer and information sciencese12c83p
- 34th International Conference on Logic Programming (ICLP 2018, ICLP)Computer and information sciencese118zvq
- 31st International Conference on Logic Programming (ICLP 2015, ICLP)Computer and information sciencese118zrx
- 30th International Conference on Logic Programming (ICLP 2014)Computer and information sciencese12c87e
- 29th International Conference on Logic Programming (ICLP 2013)Computer and information sciencese12c88c
- 28th International Conference on Logic Programming (ICLP 2012, ICLP)Computer and information sciencese118zqz
- 27th International Conference on Logic Programming (ICLP 2011, ICLP)Computer and information sciencese118zp1
- 26th International Conference on Logic Programming (ICLP 2010, ICLP)Computer and information sciencese118zn3
- 25th International Conference on Logic Programming (ICLP 2009, ICLP)Computer and information sciencese104hj0
- International Symposium on Formal Methods (FM 2003, FME)Computer and information sciencese103b37
- International Symposium on Formal Methods (FM 2002, FME)Computer and information sciencese103b29
- International Symposium on Formal Methods (FM 2001)MathematicsComputer and information sciencese129rhf
- International Symposium on Formal Methods (FM 1994)MathematicsComputer and information sciencese129rjd
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q275603&mode=OfflineEventAttendanceMode