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,843 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 VII
    2026 · Portugal
    Computer and information sciences
    e117hqf
  2. 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
  3. 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
  4. 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
  5. 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
  6. Proceedings of the 2026 ACM Interactive Health Conference, IH 2026, Porto, Portugal, July 5-8, 2026
    2026 · Porto, Portugal
    Computer and information sciences
    e11bz32
  7. 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
  8. 22nd International Conference on Intelligent Environments, IE 2026, Lisbon, Portugal, June 15-18, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11cvap
  9. Intelligent Environments 2026: Combined Workshop Proceedings, IE Workshops 2026, Lisbon, Portugal, June 15-18, 2026.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11cw8s
  10. 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11f3jq
  11. 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
  12. 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
  13. 41st Annual Symposium on Logic in Computer Science, LICS 2026, Lisbon, Portugal, July 20-23, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11gw1y
  14. 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
  15. 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
  16. AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11qy48
  17. 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
  18. 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
  19. 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
  20. 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
  21. 15th Symposium on Languages, Applications and Technologies, SLATE 2026, Lisbon, Portugal, June 25-26, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11v0sk
  22. 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
  23. 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
  24. 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
  25. 15th European Congress of Chemical Engineering (ECCE 2025)
    2025-09-08/10 · Lisbon, Portugal
    Chemical sciencesChemical engineering
    e12dx4x

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