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.

1,730 results · clear filters Sort: newest oldest name

  1. Computational Science and Its Applications - ICCSA 2026 Workshops - Braga, Portugal, June 30 - July 3, 2026, Proceedings, Part VIII
    2026 · Portugal
    Computer and information sciences
    e117hrd
  2. Computational Science and Its Applications - ICCSA 2026 Workshops - Braga, Portugal, June 30 - July 3, 2026, Proceedings, Part IX
    2026 · Portugal
    Computer and information sciences
    e117hsb
  3. 7th International Computer Programming Education Conference, ICPEC 2026, University of Minho, Guimarães, Portugal, June 11-12, 2026
    2026 · Guimarães, Portugal
    Computer and information sciences
    e119mcz
  4. Proceedings of the 21st International Conference on Software Technologies, ICSOFT 2026, Porto, Portugal, July 16-18, 2026
    2026 · Porto, Portugal
    Computer and information sciences
    e11akkf
  5. Proceedings of the 2026 ACM Interactive Health Conference, IH 2026, Porto, Portugal, July 5-8, 2026
    2026 · Porto, Portugal
    Computer and information sciences
    e11bz32
  6. Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11c8rc
  7. 22nd International Conference on Intelligent Environments, IE 2026, Lisbon, Portugal, June 15-18, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11cvap
  8. Intelligent Environments 2026: Combined Workshop Proceedings, IE Workshops 2026, Lisbon, Portugal, June 15-18, 2026.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11cw8s
  9. 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11f3jq
  10. Proceedings of the Doctoral Consortium at the 23rd International Conference on Principles of Knowledge Representation and Reasoning, co-located with KR 2026, July 20-23, 2026, Lisbon, Portugal.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11gcaw
  11. Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026, Lisbon, Portugal, July 20-23, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11gcvs
  12. 41st Annual Symposium on Logic in Computer Science, LICS 2026, Lisbon, Portugal, July 20-23, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11gw1y
  13. Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2026) co-located with the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026) at the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 17 - 19, 2026.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11m6wn
  14. Proceedings of the Workshop on Practical Aspects of Automated Reasoning, PAAR 2026, co-located with the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 25, 2026.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11mzfq
  15. AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11qy48
  16. 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11r2bm
  17. Proceedings of the 23rd International Conference on Security and Cryptography, SECRYPT 2026, Porto, Portugal, July 16-18, 2026, Volume 1
    2026 · Porto, Portugal
    Computer and information sciences
    e11rzst
  18. Proceedings of the 16th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2026, Porto, Portugal, July 18-20, 2026
    2026 · Porto, Portugal
    Computer and information sciences
    e11ttk7
  19. Proceedings of the Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs 2026) co-located with the Federated Logic Conference 2026 (FLoC 2026), Lisbon, Portugal, July 18, 2026.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11v014
  20. 15th Symposium on Languages, Applications and Technologies, SLATE 2026, Lisbon, Portugal, June 25-26, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11v0sk
  21. Proceedings of the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination 2026 (CI-BD-SOQE 2026), co-located with the 9th Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 24-25, 2026.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11vkds
  22. Recent Trends and Challenges in Information Systems and Technologies, WorldCIST 2026, Madeira Island, Portugal, March 31 - April 2, 2026, Volume 1
    2026 · Madeira Island, Portugal
    Computer and information sciences
    e12014k
  23. 39th ACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM 2025)
    2025-09-08/11 · Coimbra, Portugal
    Computer and information sciences
    e11srkb
  24. 15th European Congress of Chemical Engineering (ECCE 2025)
    2025-09-08/10 · Lisbon, Portugal
    Chemical sciencesChemical engineering
    e12dx4x
  25. 8th European Congress of Applied Biotechnology (ECAB 2025)
    2025-09-08/10 · Lisbon, Portugal
    Chemical sciencesBiological sciencesChemical engineering
    e12dx6s

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