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
- 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
- Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK (FIW)Computer and information sciencese113h06
- International Conference on Evolvable Systems (ICES)Computer and information sciencese1049wm
- International Workshop on Self-Adaptive Software (IWSAS)Computer and information sciencese105mmq
- Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight, Edinburgh, Scotland, UK, April 17, 2000, Proceedings (EVOW)Computer and information sciencese112smq
- European Conference on Genetic Programming (EuroGP 2000, EuroGP)Computer and information sciencese10311n
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures (ACMMPC)Computer and information sciencese10pavg
- International Workshop on Security Protocols (SPW, Security Protocols)Computer and information sciencese1082h9
- 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK (ECBS)Computer and information sciencese11074e
- Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000 (ROOM)Computer and information sciencese11qdhy
- Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings (CL)Computer and information sciencese10wbpd
- CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000 (CLIMA)Computer and information sciencese10wbqb
- Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. (LOPSTR)Computer and information sciencese11h00t
- Digital Humanities (DIHU)Computer and information sciencese12jh7r
- International Conference on Deductive and Object-Oriented Databases (DOOD) (DOOD)Computer and information sciencese12jk04
- Engineering Applications of Neural Networks (EANN)Computer and information sciencese12jm8k
- European Conference on IR Research (ECIR) (ECIR)Computer and information sciencese12jnjx
- European Summer School in Logic, Language and Information (ESSLLI) (ESSLLI)Computer and information sciencese12jwqc
- Formal and Applied Practical Reasoning (FAPR) (FAPR)Computer and information sciencese12k2wt
- First Order Theorem Proving (FTP) (FTP)Computer and information sciencese12k60f
As JSON: https://labs.confref.org/api/search?discipline=Q21198&country=GB&page=61