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,936 results · clear filters Sort: newest oldest name
- Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018 (PODC)Computer and information sciencese11ny1j
- Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (VSTTE 2018, VSTTE)Computer and information sciencese10eyns
- Digitalisation, Innovation, and Transformation - 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings (ICISO)Computer and information sciencese118vm9
- 22nd International Symposium on Formal Methods (FM 2018, FM)MathematicsComputer and information sciencese113jh2
- International Conference on Computer Aided Verification (CAV 2018, CAV)Computer and information sciencese10txwk
- 34th International Conference on Logic Programming (ICLP 2018, ICLP)Computer and information sciencese118zvq
- 9th International Joint Conference on Automated Reasoning (IJCAR 2018)Computer and information sciencese1248k5
- Frontiers of Combining Systems (FroCoS) (FROCOS)Computer and information sciencese12k5q1
- International Joint Conference on Automated Reasoning (IJCAR)Computer and information sciencese12m6ha
- Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)Computer and information sciencese12nzxq
- Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. (RCRA)Computer and information sciencese11pv4d
- International Conference on Automated Deduction (CADE) (CADE)Computer and information sciencese12j00q
- 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018 (ADHS)Computer and information sciencese10pmb7
- 10th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2018, London, UK, July 11-12, 2018. (TAPP)Computer and information sciencese11wx9n
- 21st International Conference on Information Fusion, FUSION 2018, Cambridge, UK, July 10-13, 2018 (FUSION)Computer and information sciencese11433c
- Medical Image Understanding and Analysis - 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings (MIUA 2018, MIUA)Computer and information sciencese10e37h
- 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018 (CSFW)Computer and information sciencese10y01z
- Electronic Visualisation and the Arts, EVA London 2018, London, UK, July 9-13, 2018 (EVA)Computer and information sciencese112rnp
- Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings (IPAW)Computer and information sciencese11d3c8
- Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (ITP)Computer and information sciencese11f3b6
- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 (LICS)Computer and information sciencese11gvse
- Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (SAT)Computer and information sciencese11r234
- 5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers (GRAMSEC)Computer and information sciencese114tzw
- 10th IEEE Sensor Array and Multichannel Signal Processing Workshop, SAM 2018, Sheffield, South Yorkshire, United Kingdom, July 8-11, 2018 (IEEESAM)Computer and information sciencese11bafz
- International Workshop on Linearity (LINEARITY)Computer and information sciencese12mr1s
As JSON: https://labs.confref.org/api/search?field=1.2&country=GB&page=31