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,697 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 IX
    2026 · Portugal
    Computer and information sciences
    e117hsb
  2. 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
  3. 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
  4. Proceedings of the 2026 ACM Interactive Health Conference, IH 2026, Porto, Portugal, July 5-8, 2026
    2026 · Porto, Portugal
    Computer and information sciences
    e11bz32
  5. 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
  6. 22nd International Conference on Intelligent Environments, IE 2026, Lisbon, Portugal, June 15-18, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11cvap
  7. Intelligent Environments 2026: Combined Workshop Proceedings, IE Workshops 2026, Lisbon, Portugal, June 15-18, 2026.
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11cw8s
  8. 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11f3jq
  9. 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
  10. 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
  11. 41st Annual Symposium on Logic in Computer Science, LICS 2026, Lisbon, Portugal, July 20-23, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11gw1y
  12. 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
  13. 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
  14. AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11qy48
  15. 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
  16. 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
  17. 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
  18. 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
  19. 15th Symposium on Languages, Applications and Technologies, SLATE 2026, Lisbon, Portugal, June 25-26, 2026
    2026 · Lisbon, Portugal
    Computer and information sciences
    e11v0sk
  20. 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
  21. 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
  22. 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
  23. Proceedings of the 2025 ACM Designing Interactive Systems Conference, DIS 2025, Funchal, Madeira, Portugal, July 5-9, 2025
    2025 · Funchal, Portugal
    Computer and information sciences
    e10n88v
  24. Companion Publication of the 2025 ACM Designing Interactive Systems Conference, DIS 2025, Funchal, Madeira, Portugal, July 5-9, 2025
    2025 · Funchal, Portugal
    Computer and information sciences
    e10n89s
  25. Advanced Analytics and Learning on Temporal Data - 10th ECML PKDD Workshop, AALTD 2025, Porto, Portugal, September 19, 2025, Revised Selected Papers
    2025 · Porto, Portugal
    Computer and information sciences
    e10nq3p

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