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
- Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. (LFMTP)Computer and information sciencese120x0z
- Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018. (MSFP)Computer and information sciencese120x1x
- Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. (HCVS)Computer and information sciencese120x4q
- Proceedings Seventh International Workshop on Classical Logic and Computation, CL&C 2018, Oxford (UK), 7th of July 2018. (CLANDC)Computer and information sciencese120x8f
- Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. (REFINE)Computer and information sciencese120x9d
- Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. (TERMGRAPH)Computer and information sciencese120xe3
- Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. (DCM, ITRS)Computer and information sciencese120xkr
- High Performance Embedded Architectures and Compilers (HIPEAC)Computer and information sciencese12kbvk
- ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018Computer and information sciencese10pme1
- Proceedings of the Assessment and Intervention during Team Tutoring Workshop held in conjuction with the 19th Artificial Intelligence in Education Conference (AIED 2018), London, England, UK, June 30, 2018.Computer and information sciencese10q063
- Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018.Computer and information sciencese10tft5
- Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, ProceedingsComputer and information sciencese10tgb3
- Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018.Computer and information sciencese10tgmg
- Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018.Computer and information sciencese10tgqa
- Proceedings of the Workshop on Detection and Classification of Acoustic Scenes and Events, DCASE 2018, Surrey, UK, November 19-20, 2018Computer and information sciencese10yxz5
- Proceedings of the 13th EC-TEL Doctoral Consortium co-located with 13th European Conference on Technology Enhanced Learning (EC-TEL 2018), Leeds, UK, September 3rd, 2018.Computer and information sciencese110nde
- EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning, Leeds, UK, September 3-6, 2018.Computer and information sciencese110nec
- 2018 IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2018, London, United Kingdom, April 23-27, 2018Computer and information sciencese112jya
- Graph-Based Representation and Reasoning - 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, ProceedingsComputer and information sciencese117f1y
- Proceedings of the 2018 The 3rd International Conference on Information and Education Innovations, ICIEI 2018, London, United Kingdom, June 30 - July 02, 2018Computer and information sciencese118kqb
- Rethinking learning in the digital age: Making the Learning Sciences count - Proceedings of the 13th International Conference of the Learning Sciences, ICLS 2018, London, UK, June 23-27, 2018Computer and information sciencese1191rs
- Smart Working, Living and Organising - IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, ProceedingsComputer and information sciencese11bv44
- Proceedings of 2018 ACM SIGKDD Workshop on Causal Discovery, CD@KDD 2018, London, UK, 20 August 2018.Computer and information sciencese11g496
- Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems, ApPLIED@PODC 2018, Egham, United Kingdom, July 27, 2018Computer and information sciencese11nx93
- 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, Oxford, UK, July 9-12, 2018Computer and information sciencese11qj0w
As JSON: https://labs.confref.org/api/search?kind=event&country=GB&page=38