1. 🏠 Home
  2. AISeminarSpeakers
  3. AI Seminar - Dr. Jocelyn Qiaochu Chen - Learning Programming Abstractions for Automating Formal Verification
Today 2026 September3 (Thu) 10:23 Etc/GMT-9

2026/09/12 03:00～2026/09/12 04:00

AI Seminar - Dr. Jocelyn Qiaochu Chen - Learning Programming Abstractions for Automating Formal Verification

Zoom link   Password: Spr!ng2023    For talk details and to RSVP for the pizza lunch, see the AI Seminar webpage.Send questions to bobbyjo@ualberta.ca

📍 Amii (Alberta Machine Intelligence Institute), 10065 Jasper Ave #1101, Edmonton, AB T5J 1S5, Canada
ChikkuTakku G Calendar Twitter Facebook 💾ics Dl 📅webcal 💻ics feed