Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

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

  1. International Conference on Logic Programming (ICLP 2024)
    2024-10-14/17 · Dallas, United States
    Computer and information sciences
    e12f7r6
  2. 39th International Conference on Logic Programming (ICLP 2023)
    2023-07-09/15 · London, United Kingdom
    Computer and information sciences
    e12c81t
  3. 38th International Conference on Logic Programming (ICLP 2022)
    2022-07-31 to 2022-08-06 · Haifa, Israel
    Computer and information sciences
    e12c83p
  4. 34th International Conference on Logic Programming (ICLP 2018, ICLP)
    2018-07-14/17 · Oxford, United Kingdom
    Computer and information sciences
    e118zvq
  5. 31st International Conference on Logic Programming (ICLP 2015, ICLP)
    2015-08-31 to 2015-09-04 · Cork, Ireland
    Computer and information sciences
    e118zrx
  6. 30th International Conference on Logic Programming (ICLP 2014)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e12c87e
  7. 29th International Conference on Logic Programming (ICLP 2013)
    2013-08-24/29 · Istanbul, Turkey
    Computer and information sciences
    e12c88c
  8. 28th International Conference on Logic Programming (ICLP 2012, ICLP)
    2012-09-04/08 · Budapest, Hungary
    Computer and information sciences
    e118zqz
  9. 27th International Conference on Logic Programming (ICLP 2011, ICLP)
    2011-07-06/10 · Lexington, United States
    Computer and information sciences
    e118zp1
  10. 26th International Conference on Logic Programming (ICLP 2010, ICLP)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e118zn3
  11. 25th International Conference on Logic Programming (ICLP 2009, ICLP)
    2009-07-14/17 · Pasadena, United States
    Computer and information sciences
    e104hj0
  12. International Symposium on Formal Methods (FM 2003, FME)
    2003-09-08/14 · Pisa, Italy
    Computer and information sciences
    e103b37
  13. International Symposium on Formal Methods (FM 2002, FME)
    2002-07-22/24 · Copenhagen, Denmark
    Computer and information sciences
    e103b29
  14. International Symposium on Formal Methods (FM 2001)
    2001-05-12/16 · Berlin, Germany
    MathematicsComputer and information sciences
    e129rhf
  15. International Symposium on Formal Methods (FM 1994)
    1994-10-18/24 · Barcelona, Spain
    MathematicsComputer and information sciences
    e129rjd

As JSON: https://labs.confref.org/api/search?discipline=Q275603&mode=OfflineEventAttendanceMode