Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
281 results · clear filters Sort: newest oldest name
- International Congress of Mathematicians (ICM)Mathematicss12bfb1
- European Conference on Antennas and Propagation (EuCAP)MathematicsPhysical sciencesElectrical engineering, electronic engineering, information engineerings126af8
- World Congress in Probability and Statistics (Bernoulli-IMS)Mathematicss12dwvf
- International Conference on Fundamental Approaches to Software Engineering (FASE)MathematicsComputer and information sciencess109nt2
- Foundations of Software Science and Computational Structures (FOSSACS)MathematicsComputer and information sciencess109q85
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)MathematicsComputer and information sciencess10ans2
- International Congress on Industrial and Applied Mathematics (ICIAM)MathematicsMechanical engineerings10kzhn
- SIAM Symposium on Algorithm Engineering and Experiments (ALENEX)MathematicsComputer and information sciencess1096xb
- International Conference on Computer Aided Verification (CAV)MathematicsComputer and information sciencess109b7k
- Advances in Cryptology - International Cryptology Conference (CRYPTO)MathematicsComputer and information sciencess109ex3
- IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS)MathematicsComputer and information sciencess109g7e
- Data Warehousing and Knowledge Discovery (DaWaK)MathematicsComputer and information sciencess109gfy
- European Conference on Software Architecture (ECSA)MathematicsComputer and information sciencess109jjn
- European Symposium on Algorithms (ESA)MathematicsComputer and information sciencess109m3j
- European Joint Conferences on Theory and Practice of Software (ETAPS)MathematicsComputer and information sciencess109mgq
- International Symposium on Formal Methods (FM)MathematicsComputer and information sciencess109pnb
- International Workshop on Formal Methods for Industrial Critical Systems (FMICS)MathematicsComputer and information sciencess109ps3
- IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)MathematicsComputer and information sciencess109q69
- International Conference on Fun with Algorithms (FUN)MathematicsComputer and information sciencess109qp8
- ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE)MathematicsComputer and information sciencess109rkd
- International Conference on Software Engineering (ICSE)MathematicsComputer and information sciencess109yj9
- IEEE International Parallel and Distributed Processing Symposium (IPDPS)MathematicsComputer and information sciencess10a2g7
- International Symposium on Symbolic and Algebraic Computation (ISSAC)MathematicsComputer and information sciencess10a406
- International Symposium on Mathematical Foundations of Computer Science (MFCS)MathematicsComputer and information sciencess10a901
- Conference on Intelligent Computer Mathematics (CICM)MathematicsComputer and information sciencess10a9mr
As JSON: https://labs.confref.org/api/search?kind=series&field=1.1