BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Superpower Daily//AI Events//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Superpower Daily AI events
BEGIN:VEVENT
UID:a8bf327a-2cdb-49c4-b2c7-df79d65c7e76@superpowerdaily.com
DTSTAMP:20261105T140356Z
LAST-MODIFIED:20261105T140356Z
DTSTART:20261117T213000Z
DTEND:20261117T233000Z
SUMMARY:Provably Secure: Math Against Superintelligent Hackers
DESCRIPTION:MIT’s Social and Ethical Responsibilities of Computing will c
 onvene experts to examine whether formal verification can help contain AI 
 agents and uncover security flaws in critical software. The panel will be 
 moderated by Adam Chlipala\, MIT’s Arthur J. Conner (1888) Professor of 
 Computer Science\, with Byron Cook of AWS\, Noah Evans of Draper\, and MIT
  Distinguished Professor Armando Solar-Lezama.\nDetails: https://superpowe
 rdaily.com/events/provably-secure-math-against-superintelligent-hackers-a8
 bf327a-2cdb-49c4-b2c7-df79d65c7e76\nRegister: https://calendar.mit.edu/eve
 nt/provably-secure-math-against-superintelligent-hackers
LOCATION:Cambridge\, MA
URL:https://superpowerdaily.com/events/provably-secure-math-against-superin
 telligent-hackers-a8bf327a-2cdb-49c4-b2c7-df79d65c7e76
STATUS:TENTATIVE
TRANSP:TRANSPARENT
END:VEVENT
END:VCALENDAR