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,455 results · clear filters Sort: newest oldest name
- 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
- International Conference on the Theory and Application of Cryptology and Information SecurityComputer and information sciencess1098mv
- International Symposium on Automated Technology for Verification and Analysis (ATVA)Computer and information sciencess109911
- Australasian Joint Conference on Artificial Intelligence (AUS-AI)Computer and information sciencess10992z
- International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA)Computer and information sciencess10993x
As JSON: https://labs.confref.org/api/search?field=1&page=166