20 results · clear filters Sort: newest oldest name

1. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
2. International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
   series, 20 events, 1990 to 2026
   Computer and information sciences
   s10a7qm
3. International Conference on Logic Programming (ICLP)
   series, 79 events, 1982 to 2025
   Computer and information sciences
   s109xek
4. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
   series, 33 events, 1990 to 2024
   Computer and information sciences
   s10a7nr
5. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
   2019 · Portugal
   Computer and information sciences
   e113jky
6. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
   2019 · Portugal
   Computer and information sciences
   e113jmw
7. 34th International Conference on Logic Programming (ICLP 2018, ICLP)
   2018-07-14/17 · Oxford, United Kingdom
   Computer and information sciences
   e118zvq
8. LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018
   2018 · Hawaasa, Ethiopia
   Computer and information sciences
   e11h11q
9. 31st International Conference on Logic Programming (ICLP 2015, ICLP)
   2015-08-31 to 2015-09-04 · Cork, Ireland
   Computer and information sciences
   e118zrx
10. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015.
    2015 · Suva, Fiji
    Computer and information sciences
    e11h0yx
11. 30th International Conference on Logic Programming (ICLP 2014)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e12c87e
12. International Symposium on Functional and Logic Programming (FLOPS 2014, FLOPS)
    2014-06-04/06 · Kanazawa, Japan
    Computer and information sciences
    e103asv
13. 29th International Conference on Logic Programming (ICLP 2013)
    2013-08-24/29 · Istanbul, Turkey
    Computer and information sciences
    e12c88c
14. LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings
    2013 · Stellenbosch, South Africa
    Computer and information sciences
    e11h0xz
15. 28th International Conference on Logic Programming (ICLP 2012, ICLP)
    2012-09-04/08 · Budapest, Hungary
    Computer and information sciences
    e118zqz
16. 27th International Conference on Logic Programming (ICLP 2011, ICLP)
    2011-07-06/10 · Lexington, United States
    Computer and information sciences
    e118zp1
17. 26th International Conference on Logic Programming (ICLP 2010, ICLP)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e118zn3
18. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2010-04-25 to 2010-05-01 · Dakar, Senegal
    Computer and information sciences
    e105zhj
19. Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    2010 · Yogyakarta, Indonesia
    Computer and information sciences
    e11h0v3
20. Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010
    2010 · Yogyakarta, Indonesia
    Computer and information sciences
    e11h0w1

As JSON: https://labs.confref.org/api/search?discipline=Q275603&from=2010&to=2019