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
- 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
- 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
- Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024)Computer and information sciencese10k54a
- Real Time Systems Symposium (RTSS 2024)MathematicsComputer and information sciencese11qns6
- Annual Computer Security Applications Conference (ACSAC 2024)Computer and information sciencese10pdy7
- IEEE International Conference on Teaching, Assessment and Learning for Engineering 2024 (TALE 2024)Computer and information sciencese11wtj5
- Charleston Conference 2024 - onlineComputer and information sciencesEducational sciencesSociologye12dmsv
- 24th IEEE International Conference on Data Mining (ICDM 2024)Computer and information sciencese12dvtj
- 3rd Ontologies4Chem Workshop – Ontologies for chemistry (Ontologies4Chem 2024)Computer and information sciencesChemical sciencesChemical engineeringPhilosophy, ethics and religione12ed59
As JSON: https://labs.confref.org/api/search?kind=event&field=1.2&page=125