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 9th IMA Conference on the Mathematics of Surfaces, University of Cambridge, UK, September 4-7, 2000 (IMA-MS)Computer and information sciencese11cc6d
- International Conference on Theory and Application of Diagrams (Diagrams 2000, Diagrams)Computer and information sciencese10284a
- Fourth International Conference on Knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, KES 2000, Brighton, UK, 30 August - 1 September 2000, Proceedings, 2 Volumes (KES)Computer and information sciencese11g74d
- Haptic Human-Computer Interaction, First International Workshop, Glasgow, UK, August 31 - September 1, 2000, Proceedings (HHCI)Computer and information sciencese115950
- International Conference of B and Z Users (ZB)Computer and information sciencese10021t
- ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings (B, ZB 2000)Computer and information sciencese10dm3a
- International Conference of B and Z Users (ZB)Computer and information sciencese12hf34
- International Symposium on Symbolic and Algebraic Computation 2000 (ISSAC 2000, ISSAC)MathematicsComputer and information sciencese11egfk
- Symposium on Trends in Functional Programming (SFP 2000, SFP)Computer and information sciencese11sfa7
- International Conference on Inductive Logic Programming (ILP 2000, ILP)Computer and information sciencese104zcz
- International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)Computer and information sciencese105ya2
- ALLC-ACH 2000 (DH2000)Computer and information sciencese10k20n
- Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. (ARW)Computer and information sciencese10rcva
- International Conference on Information Visualisation, IV 2000, London, England, UK, July 19-21, 2000 (IV)Computer and information sciencese11f8a3
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107djy
- ICEIS 2000, Proceedings of the Second International Conference on Enterprise Information Systems, Stafford, UK, July 4-7, 2000 (ICEIS)Computer and information sciencese10j7zk
- British National Conference on Databases (BNCOD)Computer and information sciencese1011gt
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)Computer and information sciencese1088aj
- Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000 (CSFW)Computer and information sciencese10xzsh
- Home Informatics and Telematics: Information, Technology and Society, IFIP TC9 WG9.3 International Conference on Home Oriented Informatics and Telematics (HOIT 2000), "IF at Home: Virtual Influences on Everyday Life", June 28-30, 2000, Wolverhampton, UK (IFIP9-3)Computer and information sciencese11bvtq
- 8th Manchester Phonology Meeting (8mfm)Computer and information sciencese12avha
- Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK (FIW)Computer and information sciencese113h06
- Workshops on Real-World Applications of Evolutionary Computation (EvoWorkshops)Computer and information sciencese10344c
- International Conference on Evolvable Systems (ICES)Computer and information sciencese1049wm
- International Workshop on Self-Adaptive Software (IWSAS)Computer and information sciencese105mmq
As JSON: https://labs.confref.org/api/search?field=1.2&country=GB&page=100