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. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part IIComputer and information sciencese113jmw
- 34th International Conference on Logic Programming (ICLP 2018, ICLP)Computer and information sciencese118zvq
- LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018Computer and information sciencese11h11q
- 31st International Conference on Logic Programming (ICLP 2015, ICLP)Computer and information sciencese118zrx
- 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015.Computer and information sciencese11h0yx
- 30th International Conference on Logic Programming (ICLP 2014)Computer and information sciencese12c87e
- International Symposium on Functional and Logic Programming (FLOPS 2014, FLOPS)Computer and information sciencese103asv
- 29th International Conference on Logic Programming (ICLP 2013)Computer and information sciencese12c88c
- LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedingsComputer and information sciencese11h0xz
- 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
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zhj
- Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. ProceedingsComputer and information sciencese11h0v3
- Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010Computer and information sciencese11h0w1
- 25th International Conference on Logic Programming (ICLP 2009, ICLP)Computer and information sciencese104hj0
- International Symposium on Functional and Logic Programming (FLOPS 2008, FLOPS)Computer and information sciencese103ap1
- Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008Computer and information sciencese11h0t5
- Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007Computer and information sciencese118zm5
- Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007Computer and information sciencese11h1mg
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zdv
- 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 Functional and Logic Programming (FLOPS 1999, FLOPS)Computer and information sciencese103ahb
As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q275603&page=2