Conference Proof & Program - AI-Assisted Formal Mathematics

Mon Feb 16 2026 at 09:00 am to 07:00 pm

4 Pl. Jussieu | Paris

SCAI
Publisher/HostSCAI
Conference Proof & Program - AI-Assisted Formal Mathematics
Advertisement
Join us for a deep dive into the world of AI-assisted formal mathematics !
About this Event

https://scai.sorbonne-universite.fr/public/events/view/2de9b3c151706b393873/13

Advertisement

Event Venue & Nearby Stays

4 Pl. Jussieu, 4 Place Jussieu, Paris, France

Tickets

USD 0.00

Icon
Concerts, fests, parties, meetups - all the happenings, one place.

Ask AI if this event suits you: