Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
554 results · clear filters Sort: newest oldest name
- 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
- 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
- Seeking Success in E-Business - A Multidisciplinary Approach, IFIP TC8 / WG8.4 Second Working Conference on E-Business: Multidisciplinary Research and Practice, June 9-11, 2002, Copenhagen, Denmark (IFIP8-4)Computer and information sciencese11bttr
- International Workshop on Biometric Authentication (BioAW)Computer and information sciencese100zjt
- European Conference on Computer Vision (ECCV)Computer and information sciencese102eqx
- 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings (WRS)Computer and information sciencese1205q8
- Formal Methods (FM) (FM)Computer and information sciencese12k4p4
- Knowledge Management in Electronic Government (KMGOV)Computer and information sciencese12mnph
- Biometric Authentication, International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002, ProceedingsComputer and information sciencese1108q6
- Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002Computer and information sciencese11f41s
- International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002Computer and information sciencese11gtqk
- Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002Computer and information sciencese11h1fv
- BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002Computer and information sciencese11q2bp
As JSON: https://labs.confref.org/api/search?field=1.2&country=DK&page=18