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.

68,263 results · clear filters Sort: newest oldest name

  1. Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation, FMANO 2025, Coimbra, Portugal, September 8-11, 2025
    2025 · Coimbra, Portugal
    Computer and information sciences
    e113k12
  2. 6th International Workshop on Formal Methods for Blockchains, FMBC 2025, Hamilton, Canada, May 4, 2025
    2025 · Hamilton, Canada
    Computer and information sciences
    e113k3y
  3. Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025
    2025 · Menlo Park, United States
    Computer and information sciences
    e113kkx
  4. 10th International Conference on Fog and Mobile Edge Computing, FMEC 2025, Tampa, FL, USA, May 19-22, 2025
    2025 · Tampa, United States
    Computer and information sciences
    e113kx9
  5. Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    2025 · Aarhus, Denmark
    Computer and information sciences
    e113maf
  6. 66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025, Sydney, Australia, December 14-17, 2025
    2025 · Sydney, Australia
    Computer and information sciences
    e113pkt
  7. Proceedings of the 18th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, FOGA 2025, Leiden, The Netherlands, August 27-29, 2025
    2025 · Kingdom of the Netherlands
    Computer and information sciences
    e113r9d
  8. Formal Ontology in Information Systems - Proceedings of the 15th International Conference, FOIS 2025, Catania, Italy, September 8-12, 2025
    2025 · Catania, Italy
    Computer and information sciences
    e113rta
  9. Proceedings of the Satellite Events of the 15th International Conference on Formal Ontology in Information Systems (FOIS 2025): Ontology Showcase, Demonstrations, and Early Career Symposium, Catania, Italy, September 10-12, 2025.
    2025 · Catania, Italy
    Computer and information sciences
    e113rv8
  10. 6th Symposium on Foundations of Responsible Computing, FORC 2025, Stanford University, CA, USA, June 4-6, 2025
    2025 · Stanford University, United States
    Computer and information sciences
    e113s8e
  11. IEEE/ACM Second International Conference on AI Foundation Models and Software Engineering, Forge@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025
    2025 · Ottawa, Canada
    Computer and information sciences
    e113sb8
  12. Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
    2025 · Lille, France
    Computer and information sciences
    e113tgw
  13. Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2025, Monterey, CA, USA, 27 February 2025 - 1 March 2025
    2025 · Monterey, United States
    Computer and information sciences
    e113wez
  14. 35th International Conference on Field-Programmable Logic and Applications, FPL 2025, Leiden, The Netherlands, September 1-5, 2025
    2025 · Kingdom of the Netherlands
    Computer and information sciences
    e113x4j
  15. Foundations and Practice of Security - 18th International Symposium, FPS 2025, Brest, France, November 25-27, 2025, Revised Selected Papers, Part I
    2025 · Brest, France
    Computer and information sciences
    e113xfw
  16. Flexible Query Answering Systems - 16th International Conference, FQAS 2025, Burgas, Bulgaria, September 11-13, 2025, Proceedings
    2025 · Burgas, Bulgaria
    Computer and information sciences
    e113y6d
  17. Proceedings of the 1st free5GC World Forum 2025, free5GC 2025, Taipei, Taiwan, October 13-17, 2025
    2025 · Taipei, Taiwan
    Computer and information sciences
    e113yc1
  18. Frontiers of Combining Systems - 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
    2025 · Reykjavík, Iceland
    Computer and information sciences
    e113yjm
  19. 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025
    2025 · Birmingham, United Kingdom
    Computer and information sciences
    e113z7a
  20. Fuzzy Systems and Data Mining XI - Proceedings of FSDM 2025, Chaozhou City, China, 14-17 November 2025
    2025
    Computer and information sciences
    e113zkh
  21. Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
    2025 · Västerås, Sweden
    Computer and information sciences
    e113zq9
  22. 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025
    2025 · India
    Computer and information sciences
    e1140zp
  23. 8. Fachtagung Rechts- und Verwaltungsinformatik: Impulse zur digitalen Zeitenwende - Macht, Wirkung, Verantwortung, RVI 2025, Hamburg, Germany, October 23-24, 2025
    2025 · Hamburg, Germany
    Computer and information sciences
    e114275
  24. IEEE/ACM International Flaky Tests Workshop, FTW@ICSE 2025, Ottawa, ON, Canada, April 27, 2025
    2025 · Ottawa, Canada
    Computer and information sciences
    e114291
  25. 28th International Conference on Information Fusion, FUSION 2025, Rio de Janeiro, Brazil, July 7-11, 2025
    2025 · Rio de Janeiro, Brazil
    Computer and information sciences
    e1143ay

As JSON: https://labs.confref.org/api/search?kind=event&field=1.2&page=75