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.

801 results · clear filters Sort: newest oldest name

  1. International Conference on Software Technologies (ICSOFT)
    2014-08-29/31 · Vienna, Austria
    Computer and information sciences
    e104ntc
  2. International Conference on E-Business and Telecommunications (ICETE)
    2014-08-28/30 · Vienna, Austria
    Computer and information sciences
    e104afe
  3. 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications, SIMULTECH 2014, Vienna, Austria, August 28-30, 2014 (SIMULTECH)
    2014-08-28/30 · Vienna, Austria
    Computer and information sciences
    e11tt54
  4. European Conference on Software Architecture (ECSA 2014, ECSA)
    2014-08-25/29 · Vienna, Austria
    MathematicsComputer and information sciences
    e102j16
  5. International Workshop on Hybrid Systems Biology (HSB)
    2014-07-23/24 · Vienna, Austria
    Computer and information sciences
    e103wd2
  6. Workshop on Knowledge Representation for Health-Care Data, Processes and Guidelines (KR4HC)
    2014-07-21 · Vienna, Austria
    Computer and information sciences
    e12mp7f
  7. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 (KR)
    2014-07-20/24 · Vienna, Austria
    Computer and information sciences
    e11gcjb
  8. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e103gcg
  9. 30th International Conference on Logic Programming (ICLP 2014)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e12c87e
  10. International Conference on Automated Deduction (CADE) (CADE)
    2014-07-19/24 · Vienna, Austria
    Computer and information sciences
    e12hzyx
  11. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e12nzvv
  12. Computer Aided Verification (CAV 2014, CAV)
    2014-07-18/22 · Vienna, Austria
    Computer and information sciences
    e1019kc
  13. Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014, STAST)
    2014-07-18 · Vienna, Austria
    Computer and information sciences
    e11wahq
  14. Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. (WWV)
    2014-07-18 · Vienna, Austria
    Computer and information sciences
    e120tae
  15. Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. (ITRS)
    2014-07-18 · Vienna, Austria
    Computer and information sciences
    e120tnq
  16. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)
    2014-07-17/18 · Vienna, Austria
    Computer and information sciences
    e108npc
  17. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. (DL 2014, DLOG)
    2014-07-17/20 · Vienna, Austria
    Computer and information sciences
    e10jn6r
  18. VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014 (VPT)
    2014-07-17/18 · Vienna, Austria
    Computer and information sciences
    e10tybn
  19. Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014 (LFMTP)
    2014-07-17 · Vienna, Austria
    Computer and information sciences
    e11gtvb
  20. Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. (SMT)
    2014-07-17/18 · Vienna, Austria
    Computer and information sciences
    e11va1t
  21. Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. (HCVS)
    2014-07-17 · Vienna, Austria
    Computer and information sciences
    e120td8
  22. IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)
    2014-07-14/16 · Vienna, Austria
    Computer and information sciences
    e1025hj
  23. International Conference on Rewriting Techniques and Applications (RTA, TLCA)
    2014-07-14/17 · Vienna, Austria
    Computer and information sciences
    e107dwa
  24. International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)
    2014-07-14/17 · Vienna, Austria
    Computer and information sciences
    e107kd3
  25. 23rd EACSL Annual Conference on Computer Science Logic (CSL 2014, CSL)
    2014-07-14/18 · Vienna, Austria
    Computer and information sciencesPhilosophy, ethics and religion
    e10y1d6

As JSON: https://labs.confref.org/api/search?discipline=Q21198&country=AT&page=11