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
- 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
- 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
- Latent Variable Analysis and Signal Separation - 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018, Proceedings (ICA)Computer and information sciencese116ah4
- Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers (ADT)Computer and information sciencese11yt4y
- International Conference on Bayesian Statistics in Action (BAYSM)Computer and information sciencese12hwb7
- 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018, Exeter, United Kingdom, June 28-30, 2018 (HPCC, SMARTCITY)Computer and information sciencese115p1v
- International Conference on Artificial Intelligence in Education (AIED 2018, AIED)Computer and information sciencese10pzjd
- Proceedings of the SICSA Workshop on Reasoning, Learning and Explainability, Aberdeen, Scotland, UK, June 27, 2018. (SICSA)Computer and information sciencese11sma2
- Proceedings of the Fifth Annual ACM Conference on Learning at Scale, London, UK, June 26-28, 2018 (LATS)Computer and information sciencese11gn8q
- IFIP TC8/WG8.6 Publications (IFIP8-6)Computer and information sciencese12m4tt
As JSON: https://labs.confref.org/api/search?discipline=Q21198&country=GB&page=7