Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
78,280 results · clear filters Sort: newest oldest name
- Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2025, Loughborough University, July 21-22, 2025.Computer and information sciencese1211hp
- Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, 12-13 May, 2025.Computer and information sciencese1211jm
- Proceedings 18th Interaction and Concurrency Experience, ICE 2025, Lille, France, 20th June 2025.Computer and information sciencese1211mg
- Proceedings of the 22nd International Conference on Quantum Physics and Logic, QPL 2025, Varna, Bulgaria, 14 July 2025 - 18 July 2025.Computer and information sciencese1211ne
- Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025.Computer and information sciencese1211pc
- Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025.Computer and information sciencese1211qa
- Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025.Computer and information sciencese1211s6
- Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2025, Birmingham, UK, 19 July 2025.Computer and information sciencese1211t4
- Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics, EXPRESS/SOS 2025, and 22nd Workshop on Structural Operational SemanticsAarhus, Denmark, 25th August 2025.Computer and information sciencese1211v2
- Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis, HCVS@CAV 2025, Zagreb, Croatia, 22 July 2025.Computer and information sciencese1211w0
- Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2025, Paris, 17th to 19th of November 2025.Computer and information sciencese1211yw
- Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2025, Düsseldorf, Germany, July 14-16, 2025.Computer and information sciencese1211zt
- Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025.Computer and information sciencese12120r
- Proceedings 16th International Workshop on Graph Computation Models, GCM@STAF 2025, Koblenz, Germany, 10 June 2025.Computer and information sciencese12121p
- Proceedings Eighth International Conference on Applied Category Theory, ACT 2025, Gainesville, Florida, USA, 2 - 6 June 2025.Computer and information sciencese12122m
- Joint Annual Meeting of ICOM-UMAC and UNIVERSEUMMedia and communicationse12cs27
- 8th International ATZ Conference on Vehicle Acoustics (Automotive Acoustics Conference 2025)Civil engineeringe12d75h
- 23rd International Conference on Machine Learning and Applications (ICMLA 2024)Computer and information sciencese11992y
- 63rd IEEE Conference on Decision and Control (CDC 2024)Computer and information sciencese10vdpd
- 17th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2024)Computer and information sciencese11xg0j
- IEEE International Conference on Big Data (BigData 2024)Computer and information sciencese10kast
- International Conference on Information Systems 2024 (ICIS 2024)Computer and information sciencese118tp6
- Knowledge Graphs and Semantic Web - 6th International Conference, KGSWC 2024, Paris, France, December 11-13, 2024, Proceedings (KGSWC 2024)Computer and information sciencese10m176
- International Symposium on Low-Carbon Thermal Energy Science and Technology 2024 (LCET-2024)Physical sciencese12dze7
- Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024)Computer and information sciencese10k54a
As JSON: https://labs.confref.org/api/search?kind=event&page=152