AI, Systems & Formal Methods Reading Group

Date

2026-06-02

Location

Brooklyn, NY, USA

Host

Personal

Speakers

• Eric Leung
• Prathmesh Patil
• Jess Ding
• Gregory O'Connor
• Victor regalado
• Isaac Gemal
• Matthew Bergman
• Padma Prabagaran
• Leonardo Nerone

Topics

• ai
• autonomy
• community
• networking
• meetup

Registration

Register / Get tickets