Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2,995 results · clear filters Sort: newest oldest name
- Proceedings of the First Workshop on Applications of Pattern Analysis, WAPA 2010, Cumberland Lodge, Windsor, UK, September 1-3, 2010 (WAPA)Computer and information sciencese120qj0
- British Machine Vision Conference, BMVC 2010, Aberystwyth, UK, August 31 - September 3, 2010. Proceedings (BMVC)Computer and information sciencese10t4ve
- International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2010, VSTTE)Computer and information sciencese108nkj
- International Conference on Artificial Immune Systems (ICARIS)Computer and information sciencese1043kc
- International Workshop on Combinatorial Algorithms (IWOCA)Computer and information sciencese105kjw
- 14th International Conference on Information Visualisation, IV 2010, 26-29 July 2010, London, UK (IV)Computer and information sciencese11f8kg
- Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, CSNDSP 2010, University of Northumbria at Newcastle, UK, 21-23 July 2010 (CSNDSP)Computer and information sciencese10y2gy
- 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
- e1248fe (IJCAR 2010)Computer and information sciencese1248fe
- 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
As JSON: https://labs.confref.org/api/search?field=1&country=GB&page=70