Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
566 results · clear filters Sort: newest oldest name
- International Symposium on Computer Music Modeling and Retrieval (CMMR)Computer and information sciencese101kqt
- Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004 (CTCS)Computer and information sciencese120gtq
- IFIP Conference on the Diffusion and Adoption of Networked Information Technologies (TDIT)Computer and information sciencese108be7
- 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark (COCO)Computer and information sciencese10wrn2
- European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU)Computer and information sciencese102jam
- Networked Information Technologies - Diffusion and Adoption, edited proceedings of the IFIP Conference on The Diffusion and Adoption of Networked Information Technologies, IFIP WG 8.6, Copenhagen, Denmark, October 2003. (IFIP8-6)Computer and information sciencese11btxj
- International Symposium on Mathematical Programming (ISMP)Computer and information sciencese12mdg5
- International Conference on Flexible Query Answering Systems (FQAS 2002, FQAS)Computer and information sciencese103frr
- Proceedings of the Second Nordic Conference on Human-Computer Interaction 2002, Aarhus, Denmark, October 19-23, 2002 (NORDICHI)Computer and information sciencese11m99s
- International Symposium on Metainformatics (MIS)Computer and information sciencese1069tm
- Metainformatics, International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002. Revised Papers (METAINFORMATICS)Computer and information sciencese11hpmv
- Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002 (CLIMA)Computer and information sciencese10wev0
- Workshop on Logic Programming Environments (LPE) (LPE)Computer and information sciencese12mrqc
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)Computer and information sciencese1088bg
- International Conference on Logic Programming (ICLP)Computer and information sciencese104hbf
- International Conference on Automated Deduction (CADE)Computer and information sciencese1014gq
- Computer Aided Verification (CAV 2002, CAV)Computer and information sciencese101975
- Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC) (PCL)Computer and information sciencese11n7zc
- e12fr9m (CADE 2002)Mathematicse12fr9m
- Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings (PAPM)Computer and information sciencese11n4zf
- International Symposium on Formal Methods (FM 2002, FME)Computer and information sciencese103b29
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dmt
- 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings (LICS)Computer and information sciencese11gvad
- Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings (FICS)Computer and information sciencese113dzb
- Annual Conference on Innovation and Technology in Computer Science Education (ITICSE, ITiCSE 2002)Computer and information sciencese11f1ph
As JSON: https://labs.confref.org/api/search?field=1&country=DK&page=18