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.

34 results · clear filters Sort: newest oldest name

  1. International Conference on Software Engineering and Formal Methods (SEFM)
    2011-11-14/18 · Montevideo, Uruguay
    Computer and information sciences
    e107r7a
  2. 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 (SEFM)
    2010-09-13/18 · Pisa, Italy
    Computer and information sciences
    e11s1bk
  3. Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009 (SEFM)
    2009-11-23/27 · Hanoi, Vietnam
    Computer and information sciences
    e11s1an
  4. Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 (SEFM)
    2008-11-10/14 · Cape Town, South Africa
    Computer and information sciences
    e11s19q
  5. 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007, SEFM)
    2007-09-10/14 · London, United Kingdom
    MathematicsComputer and information sciences
    e11s18s
  6. Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India (SEFM)
    2006-09-11/15 · Pune, India
    Computer and information sciences
    e11s17v
  7. Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany (SEFM)
    2005-09-07/09 · Koblenz, Germany
    Computer and information sciences
    e11s16x
  8. 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China (SEFM)
    2004-09-28/30 · Beijing, People's Republic of China
    Computer and information sciences
    e11s15z
  9. 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia (SEFM)
    2003-09-22/27 · Brisbane, Australia
    Computer and information sciences
    e11s141

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