Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
76,305 results · clear filters Sort: newest oldest name
- 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
- International Conference on Algorithmic Applications in Management (AAIM)Computer and information sciencess1093xe
- International Workshop on Advanced Analytics and Learning on Temporal DataComputer and information sciencess1093za
- Advances in Computer Games (ACG)Computer and information sciencess1094ec
- Asian Conference on Machine Learning (ACML)Computer and information sciencess1094pv
- Australasian Database Conference (ADC)Computer and information sciencess109515
- IFIP International Conference on Artificial Intelligence Applications and InnovationsComputer and information sciencess109614
- International Conference on Advanced Intelligent Systems and Informatics (AISI)Computer and information sciencess1096nv
- International Workshop of Algorithmic Aspects of Cloud Computing (ALGOCLOUD)Computer and information sciencess1096y9
- International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS)Computer and information sciencess1096z7
- International Conference on Algorithmic Learning Theory (ALT)MathematicsComputer and information sciencess109721
- Asian Symposium on Programming Languages and Systems (APLAS)Computer and information sciencess1097z6
- International Conference on Applications in Electronics Pervading Industry, Environment and Society (ApplePies)Computer and information sciencess10983y
- Asia-Pacific Web Conference (APWeb)Computer and information sciencess1098ag
- International Conference on Architecture of Computing Systems (ARCS)Computer and information sciencess1098da
As JSON: https://labs.confref.org/api/search?field=1.2&page=159