Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
1,855 results · clear filters Sort: newest oldest name
- ICISO 2010 - Proceedings of the Twelfth International Conference on Informatics and Semiotics in Organisations, Reading, UK, July 19-21, 2010 (ICISO)Computer and information sciencese118vkb
- Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010 (CSF 2010, CSFW)Computer and information sciencese10fyx7
- International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2010)Computer and information sciencese103g8r
- 26th International Conference on Logic Programming (ICLP 2010, ICLP)Computer and information sciencese118zn3
- First Order Theorem Proving (FTP) (FTP)Computer and information sciencese12k655
- Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)Computer and information sciencese12nzsz
- Computer Aided Verification (CAV 2010, CAV)Computer and information sciencese1019fn
- 4th ACM International Conference on Distributed Event-Based Systems (DEBS 2010, DEBS)MathematicsComputer and information sciencese10z1w5
- International Conference on Interactive Theorem Proving (ITP)Computer and information sciencese105ern
- International Conference on Theory and Applications of Satisfiability Testing (SAT 2010, SAT)Computer and information sciencese107k9b
- Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Edinburgh, Scottland, UK, July 11-13, 2010 (RTA)Computer and information sciencese11qj2r
- Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom (LICS)Computer and information sciencese11gvjw
- Digital Humanities 2010 (DH 2010, DIHU)Computer and information sciencese10k2a1
- 5th IEEE International Conference on Intelligent Systems, IS 2010, 7-9 July 2010, University of Westminster, London, UK (IS)Computer and information sciencese11dejg
- Electronic Visualisation and the Arts, EVA London 2010, London, UK, 5-7 July 2010 (EVA)Computer and information sciencese112rd7
- British National Conference on Databases (BNCOD 2010, BNCOD)Computer and information sciencese1011t6
- 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010 (IEEECIT)Computer and information sciencese10nc9n
- International Conference on Application of Natural Language to Information Systems (NLDB 2010, NLDB)Computer and information sciencese106kb9
- International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010, ASMTA)Computer and information sciencese100vjy
- 6th International Symposium on Computational Aesthetics in Graphics, Visualization, and Imaging, CAe 2010, London, UK, June 14-15, 2010, Proceedings (CAE, CAe 2010)Computer and information sciencese10hb80
- European Conference on Digital Libraries (ECDL 2010, ECDL)Computer and information sciencese102thx
- 11th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2010, London, England, UK, June 9-11, 2010 (SNPD 2010, SNPD)Computer and information sciencese10hqwb
- Proceedings of the 5th Open Knowledge Conference, OKCon 2010, London, UK, April 24, 2010 (OKCON, OKCon 2010)Computer and information sciencese10hm4z
- Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010 (SERENE)Computer and information sciencese11sbgy
- Conference on Quantum Computation, Communication, and Cryptography (TQC)Computer and information sciencese108esd
As JSON: https://labs.confref.org/api/search?discipline=Q21198&country=GB&page=37