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.

18 results · clear filters Sort: newest oldest name

  1. Conference on Intelligent Computer Mathematics (CICM)
    series, 33 events, 2003 to 2026
    MathematicsComputer and information sciences
    s10a9mr
  2. Intelligent Computer Mathematics / Mathematical Knowledge Management (MKM)
    2019-07-08/12 · Prague, Czech Republic
    Computer and information sciences
    e12mxq7
  3. Intelligent Computer Mathematics / Mathematical Knowledge Management (MKM)
    2018-08-13/17 · Hagenberg im Mühlkreis, Austria
    Computer and information sciences
    e12mxp9
  4. International Conference on Intelligent Computer Mathematics (CICM, MKM)
    2017-07-17/21 · Edinburgh, United Kingdom
    Computer and information sciences
    e106aqs
  5. International Conference on Intelligent Computer Mathematics (CICM 2016, CICM)
    2016-07-25/29 · Białystok, Poland
    Computer and information sciences
    e106apv
  6. Conferences on Intelligent Computer Mathematics (CICM 2015, CICM)
    2015-07-13/17 · Washington, D.C., United States
    Computer and information sciences
    e106anx
  7. International Conference on Intelligent Computer Mathematics (CICM, MKM)
    2014-07-07/11 · Coimbra, Portugal
    Computer and information sciences
    e106amz
  8. International Conference on Intelligent Computer Mathematics (CICM, MKM)
    2013-07-08/12 · Bath, United Kingdom
    Computer and information sciences
    e106ak1
  9. International Conference on Intelligent Computer Mathematics (AISC, CICM)
    2012-07-08/13 · Bremen, Germany
    Computer and information sciences
    e106aj3
  10. International Conference on Intelligent Computer Mathematics (CICM, MKM)
    2011-07-18/23 · Bertinoro, Italy
    Computer and information sciences
    e106ah5
  11. International Conference on Intelligent Computer Mathematics (AISC, CICM)
    2010-07-05/10 · Paris, France
    Computer and information sciences
    e106ag7
  12. International Conference on Intelligent Computer Mathematics (CICM, MKM)
    2009-07-06/12 · Grand Bend, Canada
    Computer and information sciences
    e106afa
  13. International Conference on Intelligent Computer Mathematics (AISC, CICM)
    2008-07-28 to 2008-08-01 · Birmingham, United Kingdom
    Computer and information sciences
    e106aec
  14. Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings (MKM)
    2007-06-27/30 · Hagenberg im Mühlkreis, Austria
    Computer and information sciences
    e11je8t
  15. International Conference on Mathematical Knowledge Management (MKM)
    2006-08-11/12 · Wokingham, United Kingdom
    Computer and information sciences
    e106ade
  16. International Conference on Mathematical Knowledge Management (MKM)
    2005-07-15/17 · Bremen, Germany
    Computer and information sciences
    e106acg
  17. International Conference on Mathematical Knowledge Management (MKM)
    2004-09-19/21 · Białowieża Forest, Belarus
    Computer and information sciences
    e106abj
  18. International Conference on Mathematical Knowledge Management (MKM)
    2003-02-16/18 · Bertinoro, Italy
    Computer and information sciences
    e106aam

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10a9mr