Proof Against Attack: Can AI Help Build Software We Can Trust?

Join us for a thought-provoking discussion on the intersection of AI and software security! 🛡️

As cyberattacks become more sophisticated and prevalent, the safety of everyday software becomes paramount — affecting everything from hospitals to financial services. This talk explores fundamental questions around enhancing software safety and the innovative role of formal methods that leverage mathematical proof.

Discover how AI can transform these traditional techniques, making them more accessible and effective in the fight against vulnerabilities. What are the possibilities of creating a more secure digital world? 🤔

Speaker: Kathleen Fisher, Advanced Research and Invention Agency (ARIA), UK
Location: Grande Auditório - ISCTE-IUL

🔗 Get your tickets here!

This session is part of CAV and FLoC 2026.