Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3,339 results · clear filters Sort: newest oldest name
- 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
- Grave Concerns: Death, Landscape, and Locality in Medieval Societye10ms8c
- 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
- Science and Information Conference (SAI)e12nhw7
- 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
- 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)Philosophy, ethics and religione124z85
- 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
- Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)Computer and information sciencese12ngnp
As JSON: https://labs.confref.org/api/search?kind=event&country=GB&page=35