# Event Details - **Event Name**: Generative AI Under the Lens: Rigorous Checks for Safety and Reliability - **Event Start and End Date**: Wed, 10 Dec, 2025 at 09:00 am – Wed, 10 Dec, 2025 at 04:30 pm - **Event Description**: We'll dive deep into ensuring that AI systems are safe and reliable through rigorous checks and discussions at Generative AI Under the Lens!About this EventGenerative AI Under the Lens: Rigorous Checks for Safety and ReliabilityGenerative 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:Automating specification generation from system requirements to accelerate verification workflows.Enhancing formal verification tools by guiding proofs, generating counterexamples, and analyzing high-risk areas.Optimizing verification productivity and coverage in complex systems, including hardware and software co-design.Integrating with statistical methods to improve reliability, uncertainty quantification, and diagnostics.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.Dec'10 (Manchester )?: 09:00 AM - 09:30 AMOpening & WelcomeInfo: Objectives of the workshop and technical scope. Introductory remarks from organizers.?: 09:30 AM - 10:30 AMKeynoteInfo: AI-assisted formal verification – bridging speed, quality, and trust.?: 10:30 AM - 12:00 PMSession I – SE4GenAI & GenAI4SE FoundationsInfo: AI-assisted formal verification frameworks. Perspectives on SE4GenAI and GenAI4SE. Safety-critical systems and US/DoD experience.?: 12:00 PM - 01:30 PMLunch and Networking Pause?: 01:30 PM - 03:00 PMSession II – Technical Demonstrations & Case StudiesInfo: Demos of LLMs and AI agents in verification workflows. ?: 03:00 PM - 04:00 PMPanel DiscussionInfo: Theme: Balancing speed, quality, and trust in verification pipelines. Panelists: keynote + academic/industry experts.?: 04:00 PM - 04:30 PMClosingInfo: Technical outcomes and research questions for Day 2.Dec'11 (Liverpool)?: 09:00 AM - 09:30 AMOpening & FramingInfo: Scope: interdisciplinary perspectives on AI in software engineering.?: 09:30 AM - 10:30 AMKeynoteInfo: Broader talk on generative AI and multidisciplinary applications.?: 10:30 AM - 12:00 PMSession III – Cross-Disciplinary PerspectivesInfo: Contributions from software engineering, AI ethics, and policy. Invite external speakers for industry/government perspectives.?: 12:00 PM - 01:30 PMLunch and Networking Pause?: 01:30 PM - 03:00 PMSession IV – Roadmap & Collaboration PrioritiesInfo: Breakout groups draft interdisciplinary research/practice priorities. Group reporting with actionable recommendations.?: 03:00 PM - 03:30 PMClosing & Next StepsInfo: Summary of both days. Agreement on outputs: joint report, proposal, or position paper. - **Event URL**: https://allevents.in/manchester/generative-ai-under-the-lens-rigorous-checks-for-safety-and-reliability/100001743489807949 - **Event Categories**: Workshops, Business - **Interested Audience**: - total_interested_count: 0 ## Ticket Details - **Ticket URL**: https://consumer.pxf.io/c/1339408/3151484/39691?partnerpropertyid=1191892&MediaPartnerPropertyId=1191892&svlink=14105511&level=1&u=https%3A%2F%2Fwww.eventbrite.com%2Fe%2Fgenerative-ai-under-the-lens-rigorous-checks-for-safety-and-reliability-tickets-1743489807949 - **Ticket Price Range**: min: 0, max: 0, currency: GBP ## Event venue details - **city**: Manchester - **state**: EN - **country**: United Kingdom - **location**: The University of Manchester - **lat**: 53.4656853 - **long**: -2.232706 - **full address**: The University of Manchester, Oxford Road, Manchester, United Kingdom ## Event Organizer details - **affiliate_id**: 10 - **organizer**: The University of Manchester (https://allevents.in/org/the-university-of-manchester/26853038) ## Event gallery - **Alt text**: banner - **Image URL**: https://cdn-az.allevents.in/events7/banners/87864eea90dbbf512074233e184222e4f8b47eb495cf8cd5cf495d77d8efae72-rimg-w1200-h800-dc011c34-gmir.jpg?v=1759489428 - **Alt text**: thumbnail - **Image URL**: https://cdn-az.allevents.in/events7/banners/4ce9d3013cacb433a8f8836c9dbdd8b763b0fbe25b27f21e1fd03b102c21b9e1-rimg-w400-h400-dc032947-gmir.jpg?v=1759489427 ## FAQs - **Q**: When is the event happening? - **A:** Wed, 10 Dec, 2025 at 09:00 am - **Q**: Where is the event happening? - **A:** The University of Manchester, Oxford Road, Manchester, United Kingdom - **Q**: What is the ticket price? - **A:** starting from 0 up to 0 GBP - **Q**: Who is organizing the event? - **A:** The University of Manchester - **Q**: What type of event is this? - **A:** Workshops, Business - **Q**: Where can I find ticket details about Generative AI Under the Lens: Rigorous Checks for Safety and Reliability ? - **A:** You can find ticket details about this event on AllEvents. ## Structured Data (JSON-LD) ```json [ { "@context": "https://schema.org", "@type": "Event", "name": "Generative AI Under the Lens: Rigorous Checks for Safety and Reliability", "image": "https://cdn-az.allevents.in/events7/banners/87864eea90dbbf512074233e184222e4f8b47eb495cf8cd5cf495d77d8efae72-rimg-w1200-h800-dc011c34-gmir.jpg?v=1759489428", "startDate": "2025-12-10", "endDate": "2025-12-10", "url": "https://allevents.in/manchester/generative-ai-under-the-lens-rigorous-checks-for-safety-and-reliability/100001743489807949", "location": { "@type": "Place", "name": "The University of Manchester", "address": { "@type": "PostalAddress", "streetAddress": "Oxford Road", "postalCode": "M13 9PL", "addressLocality": "Manchester", "addressRegion": "EN", "addressCountry": "GB" }, "geo": { "@type": "GeoCoordinates", "latitude": "53.4656853", "longitude": "-2.232706" } }, "eventAttendanceMode": "https://schema.org/OfflineEventAttendanceMode", "description": "We'll dive deep into ensuring that AI systems are safe and reliable through rigorous checks and discussions at Generative AI Under the Lens!", "offers": [ { "@type": "AggregateOffer", "availability": "https://schema.org/InStock", "priceCurrency": "GBP", "availabilityStarts": "2026-04-05", "availabilityEnds": "2025-12-10", "validFrom": "2026-04-05", "lowPrice": "0.00", "highPrice": "0.00", "price": "0.00", "url": "https://allevents.in/manchester/generative-ai-under-the-lens-rigorous-checks-for-safety-and-reliability/100001743489807949" }, { "@type": "Offer", "availability": "https://schema.org/InStock", "priceCurrency": "GBP", "availabilityStarts": "2026-04-05", "availabilityEnds": "", "validFrom": "2026-04-05", "url": "https://allevents.in/manchester/generative-ai-under-the-lens-rigorous-checks-for-safety-and-reliability/100001743489807949", "price": 0, "name": "General Admission" } ], "organizer": [ { "@type": "Organization", "name": "The University of Manchester", "url": "https://allevents.in/org/the-university-of-manchester/26853038" } ] } ] ```