VSTTE 2025 welcomes submissions describing significant advances in the production of verified software, i.e. software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies.
The 2nd International Conference on Image Processing and Artificial Intelligence (IPAI 2025) will be held in Paris, France, from September 10-12, 2025.
Join global IT and security leaders at SHIFT 2025, Commvault’s flagship cyber resilience webinar series, happening November 11–12, 2025.
The International Conference on Civil and Urban Engineering (ICCUE) is a prestigious annual event that gathers researchers, scholars, and industry professionals to share advancements and innovative solutions in civil and urban engineering.
This free online conference brings together professionals across AI, cloud, cybersecurity, digital transformation, and enterprise IT.
The theme of this conference aims to bring together researchers and industry experts from around the world to discuss the latest research findings, application developments, and future trends in quantum computing and communication technologies.
The North American Automotive Sustainability Summit 2025 aims to catalyze transformative change within the automotive sector, focusing on decarbonization, circular economy, and sustainable innovation.