Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
24,613 results · clear filters Sort: newest oldest name
- Concurrent Programming, Open Systems and Formal Methods - Essays Dedicated to Gul Agha to Celebrate His Scientific CareerComputer and information sciencese10ss4a
- Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th BirthdayComputer and information sciencese10stka
- Design and Verification of Cyber-Physical Systems: From Theory to Applications - Essays Dedicated to Martin Fränzle on the Occasion of His 60th BirthdayComputer and information sciencese10stq2
- The Importance of Being Learnable - Essays Dedicated to Alexander GammermanComputer and information sciencese10stwr
- Model Theory, Computer Science, and Graph Polynomials: Festschrift in Honor of Johann A. MakowskyComputer and information sciencese10swhc
- Juggling Formal Methods and Security - Essays Dedicated to Sjouke Mauw on the Occasion of His 65th BirthdayComputer and information sciencese10swtt
- Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His RetirementComputer and information sciencese10sxat
- On the Pursuit of Insight and Elegance - Essays Dedicated to Andreas Podelski on the Occasion of His 65th BirthdayComputer and information sciencese10sxyh
- IEEE International Black Seas Conference on Communications and Networking, BlackSeaCom 2026, Bucharest, Romania, June 8-11, 2026Computer and information sciencese10t116
- Proceedings of the 2026 7th International Workshop on Bots and Agents in Software Engineering, BoatSE 2026, Rio de Janeiro, Brazil, April 12-18, 2026Computer and information sciencese10t6af
- Proceedings of the Workshop on Bridge Over Troubled Water: Aligning Commercial Incentives With Ethical Design Practice To Combat Deceptive Patterns co-located with the CHI Conference on Human Factors in Computing Systems (CHI 2026), Barcelona, Spain, April 13-17, 2026.Computer and information sciencese10t6f5
- Business Process Management - 24th International Conference, BPM 2026, Toronto, ON, Canada, September 27-October 2, 2026, ProceedingsComputer and information sciencese10t77m
- Intelligent Systems - 36th Brazilian Conference, BRACIS 2026, Cuiaba, Brazil, October 19-22, 2026, Proceedings, Part IComputer and information sciencese10t9c8
- Proceedings of the 8th ACM International Symposium on Blockchain and Secure Critical Infrastructure, BSCI 2026, Chancery Pavillion, Bangalore, India, June 1-5, 2026Computer and information sciencese10tare
- Proceedings of the 13th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, BuildSys 2026, Banff, Canada, June 22-25, 2026Computer and information sciencese10tcqe
- Proceedings of the ACM Conference on AI and Agentic Systems, CAIS 2026, San Jose, CA, USA, May 26-29, 2026Computer and information sciencese10tjhm
- Advanced Information Systems Engineering - 38th International Conference, CAiSE 2026, Verona, Italy, June 8-12, 2026, Proceedings, Part IComputer and information sciencese10tk94
- Intelligent Information Systems - CAiSE 2026 Forum and Doctoral Consortium, Verona, Italy, June 8-12, 2026, ProceedingsComputer and information sciencese10tm93
- Algorithms and Discrete Applied Mathematics - 12th International Conference, CALDAM 2026, Dharwad, India, February 12-14, 2026, ProceedingsComputer and information sciencese10tphg
- Proceedings of the 2026 Conference on Creativity and Cognition, C&C 2026, London, United Kingdom, July 13-16, 2026Computer and information sciencese10tr9z
- Computer Algebra in Scientific Computing - 28th International Workshop, CASC 2026, Bath, UK, August 31 - September 4, 2026, ProceedingsComputer and information sciencese10tt39
- Constructive Approaches for Security Analysis and Design of Embedded Systems - Second International Conference, CASCADE 2026, Regensburg, Germany, March 30 - April 1, 2026, ProceedingsComputer and information sciencese10tt55
- 39th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2026, Limassol, Cyprus, June 3-5, 2026Computer and information sciencese10v0my
- Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, CC 2026, Sydney, NSW, Australia, 31 January 2026 - 1 February 2026Computer and information sciencese10v17r
- 26th IEEE International Symposium on Cluster, Cloud and Internet Computing, CCGrid 2026, Sydney, Australia, May 18-21, 2026Computer and information sciencese10v3x9
As JSON: https://labs.confref.org/api/search?from=2020&to=2029&page=25