Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
438 results · clear filters Sort: newest oldest name
- Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@IJCAR 2004, Cork, Ireland, July 4, 2004Computer and information sciencese10rbtd
- Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsComputer and information sciencese10tg4h
- Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.Computer and information sciencese10tgex
- Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004Computer and information sciencese11v9x2
- Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004Computer and information sciencese11we1m
- Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2004, Dublin, Ireland, July 22-23, 2004Computer and information sciencese120hga
- Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004Computer and information sciencese120j8t
- International Conference on Principles and Practice of Constraint Programming (CP)Computer and information sciencese101tae
- Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, Dublin, Ireland, September 24-26, 2003 (1st ISICT 2003, ISICT)Computer and information sciencese10drm3
- Switching and Learning in Feedback Systems, European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers (ESSMAC)Computer and information sciencese11210r
- 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003 (IWFM)Computer and information sciencese11ffp3
- Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, PPPJ 2003, Kilkenny City, Ireland, June 16-18, 2003 (PPPJ)Computer and information sciencese11p6g9
- Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2002, AICS)Computer and information sciencese100czk
- Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers (COLOGNET)Computer and information sciencese10x0e7
- Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002 (PPPJ)Computer and information sciencese11p6fc
- New Interfaces for Musical Expression, NIME-02, Proceedings, Dublin, Ireland, May 24-26, 2002 (NIME)Computer and information sciencese11m3en
- European Conference on Genetic Programming (EuroGP)Computer and information sciencese10313h
- Workshops on Applications of Evolutionary Computation (EvoWorkshops)Computer and information sciencese103468
- Applications of Evolutionary Computing, EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 3-4, 2002, Proceedings (EVOW)Computer and information sciencese112spk
- Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2002, Galway, Ireland, July 18-19, 2002Computer and information sciencese120pz7
- 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001 (IWFM)Computer and information sciencese11ffn5
- Proceedings of the Second DELOS Network of Excellence Workshop on Personalisation and Recommender Systems in Digital Libraries, DELOS 2001, Dublin, Ireland, June 18-20, 2001 (DELOS)Computer and information sciencese10z4c3
- International Conference on Computer Communication (ICCC) (ICCC)Computer and information sciencese12kj6q
- Proceedings of the 2000 Workshop on New Security Paradigms, Ballycotton, Co. Cork, Ireland, September 18-21, 2000 (NSPW)Computer and information sciencese11mdcf
- European Workshop on 3D Structure from Multiple Images of Large-Scale Environments (SMILE)Computer and information sciencese107y3c
As JSON: https://labs.confref.org/api/search?field=1.2&country=IE&page=16