7.5 hours
The University of Manchester
Free Tickets Available
Wed, 10 Dec, 2025 at 09:00 am to 04:30 pm (GMT+00:00)
The University of Manchester
Oxford Road, Manchester, United Kingdom
Generative AI Under the Lens: Rigorous Checks for Safety and Reliability
Generative AI has accelerated development across various domains - including software, robotics, autonomous systems, and industrial applications - enabling rapid innovation and productivity gains. However, deploying generative AI-driven systems can introduce safety, security, and reliability vulnerabilities, highlighting the urgent need for rigorous evaluation of their outputs before deployment. Among many evaluation techniques, this workshop will focus on formal and statistical verification approaches.
Generative AI requires careful verification. For example, in software development, 45% of organizations prioritize speed over quality, and 63% deploy code without full testing. While 80% view generative AI as enhancing both speed and quality, studies reveal significant flaws that could compromise safety and security, underscoring the need for efficient yet thorough verification methods across all AI-driven systems.
Generative AI can also support verification in multiple ways, including:
These AI-assisted techniques reduce human effort, scale verification to complex systems, and enable tasks previously infeasible, while maintaining rigorous guarantees.
The workshop will convene researchers, practitioners, and industry experts to explore the following research question: How can generative AI-assisted verification techniques, including formal and statistical approaches, ensure that AI-driven systems are rigorously checked for safety, reliability, and security across diverse domains?
Participants will explore cutting-edge methods and collaborative opportunities to advance trustworthy and reliable generative AI deployment.
Info: Objectives of the workshop and technical scope. Introductory remarks from organizers.
Info: AI-assisted formal verification – bridging speed, quality, and trust.
Info: AI-assisted formal verification frameworks. Perspectives on SE4GenAI and GenAI4SE. Safety-critical systems and US/DoD experience.
Info: Demos of LLMs and AI agents in verification workflows.
Info: Theme: Balancing speed, quality, and trust in verification pipelines. Panelists: keynote + academic/industry experts.
Info: Technical outcomes and research questions for Day 2.
Info: Scope: interdisciplinary perspectives on AI in software engineering.
Info: Broader talk on generative AI and multidisciplinary applications.
Info: Contributions from software engineering, AI ethics, and policy. Invite external speakers for industry/government perspectives.
Info: Breakout groups draft interdisciplinary research/practice priorities. Group reporting with actionable recommendations.
Info: Summary of both days. Agreement on outputs: joint report, proposal, or position paper.
Also check out other Workshops in Manchester, Business events in Manchester.
Tickets for Generative AI Under the Lens: Rigorous Checks for Safety and Reliability can be booked here.
| Ticket type | Ticket price |
|---|---|
| General Admission | Free |
