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.

17 results · clear filters Sort: newest oldest name

  1. 13th IEEE International Conference on Software Testing, Validation and Verification (ICST 2020)
    2020-10-24/28 · Porto, Portugal
    Mathematics
    e124167
  2. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
  3. International Conference on Agile Software Development (XP 2018, XPU)
    2018-05-21/25 · Porto, Portugal
    MathematicsComputer and information sciences
    e12ab6h
  4. KES-IDT-17 / IS09 (IDT-CMS 2017) 2017 : Invited Session on Intelligent Decision Technologies for Manned and Unmanned Combat and Mission Systems (KES-IDT-17 / IS09 (IDT-CMS 2017) 2017)
    2017-06-21/23 · Algarve, Portugal
    MathematicsComputer and information sciences
    e124t98
  5. Workshop on ns-3 (WNS3 2017, WNS3)
    2017-06-13/14 · Porto, Portugal
    MathematicsComputer and information sciences
    e11zvwa
  6. 9th International Symposium on Intelligent Distributed Computing (IDC 2015, IDC)
    2015-10-07/09 · Guimarães, Portugal
    MathematicsComputer and information sciences
    e10dtdg
  7. International Conference on Fundamental Approaches to Software Engineering (FASE 2007, FASE)
    2007-03-24 to 2007-04-01 · Braga, Portugal
    MathematicsComputer and information sciences
    e1036sz
  8. International Conference on Foundations of Software Science and Computation Structure (FOSSACS 2007, FoSSaCS)
    2007-03-24 to 2007-04-01 · Braga, Portugal
    MathematicsComputer and information sciences
    e103epx
  9. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007, TACAS)
    2007-03-24 to 2007-04-01 · Braga, Portugal
    MathematicsComputer and information sciences
    e108905
  10. 10th European Software Engineering Conference (ESEC 2005, ESEC)
    2005-09-05/09 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e10jd9t
  11. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)
    2005-09-05/06 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113m2z
  12. 13th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2005, SIGSOFT)
    2005-09-05/09 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e12gsvb
  13. 15th International Symposium on Distributed Computing (DISC 2001, DISC)
    2001-10-03/05 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e108tdt
  14. European Conference on Object-Oriented Programming (ECOOP 1999, ECOOP)
    1999-06-14/18 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e102h9q
  15. Fundamental Approaches to Software Engineering (FASE 1998, FASE)
    1998-03-28 to 1998-04-04 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e1036gh
  16. International Conference on Foundations of Software Science and Computation Structure (FOSSACS 1998, FoSSaCS)
    1998-03-28 to 1998-04-04 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e103edg
  17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998, TACAS)
    1998-03-28 to 1998-04-04 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e1088qq

As JSON: https://labs.confref.org/api/search?field=1.1&discipline=Q21198&country=PT