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

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

2,995 results · clear filters Sort: newest oldest name

  1. Security in Computer and Information Sciences - First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers (EUROCYBERSEC)
    2018-02-26/27 · London, United Kingdom
    Computer and information sciences
    e1129m7
  2. Proceedings of the RAPIDO 2018 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Manchester, UK, January 22-24, 2018. (RAPIDO)
    2018-01-22/24 · Manchester, United Kingdom
    Computer and information sciences
    e11pra4
  3. Proceedings of the 10th International Workshop on Science Gateways, Edinburgh, Scotland, UK, 13-15 June, 2018 (IWSG)
    2018-01-01 · Edinburgh, United Kingdom
    Computer and information sciences
    e11fqg7
  4. Proceedings of the 29th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2018, London, UK, September 5 - 7, 2018 (PPIG)
    2018-01-01 · London, United Kingdom
    Computer and information sciences
    e11p4m3
  5. Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. (LFMTP)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120x0z
  6. Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018. (MSFP)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120x1x
  7. Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. (HCVS)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120x4q
  8. Proceedings Seventh International Workshop on Classical Logic and Computation, CL&C 2018, Oxford (UK), 7th of July 2018. (CLANDC)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120x8f
  9. Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. (REFINE)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120x9d
  10. Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. (TERMGRAPH)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120xe3
  11. Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. (DCM, ITRS)
    2018-01-01 · Oxford, United Kingdom
    Computer and information sciences
    e120xkr
  12. High Performance Embedded Architectures and Compilers (HIPEAC)
    2018-01-01 · Manchester, United Kingdom
    Computer and information sciences
    e12kbvk
  13. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e10pme1
  14. Proceedings of the Assessment and Intervention during Team Tutoring Workshop held in conjuction with the 19th Artificial Intelligence in Education Conference (AIED 2018), London, England, UK, June 30, 2018.
    2018 · London, United Kingdom
    Computer and information sciences
    e10q063
  15. Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018.
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e10tft5
  16. Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e10tgb3
  17. Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018.
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e10tgmg
  18. Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018.
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e10tgqa
  19. Proceedings of the Workshop on Detection and Classification of Acoustic Scenes and Events, DCASE 2018, Surrey, UK, November 19-20, 2018
    2018 · Woking, United Kingdom
    Computer and information sciences
    e10yxz5
  20. Proceedings of the 13th EC-TEL Doctoral Consortium co-located with 13th European Conference on Technology Enhanced Learning (EC-TEL 2018), Leeds, UK, September 3rd, 2018.
    2018 · Leeds, United Kingdom
    Computer and information sciences
    e110nde
  21. EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning, Leeds, UK, September 3-6, 2018.
    2018 · Leeds, United Kingdom
    Computer and information sciences
    e110nec
  22. 2018 IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2018, London, United Kingdom, April 23-27, 2018
    2018 · London, United Kingdom
    Computer and information sciences
    e112jya
  23. Graph-Based Representation and Reasoning - 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
    2018 · Edinburgh, United Kingdom
    Computer and information sciences
    e117f1y
  24. Proceedings of the 2018 The 3rd International Conference on Information and Education Innovations, ICIEI 2018, London, United Kingdom, June 30 - July 02, 2018
    2018 · London, United Kingdom
    Computer and information sciences
    e118kqb
  25. Rethinking learning in the digital age: Making the Learning Sciences count - Proceedings of the 13th International Conference of the Learning Sciences, ICLS 2018, London, UK, June 23-27, 2018
    2018 · London, United Kingdom
    Computer and information sciences
    e1191rs

As JSON: https://labs.confref.org/api/search?field=1&country=GB&page=34