Conference Proof & Program - AI-Assisted Formal Mathematics

Name: Conference Proof & Program - AI-Assisted Formal Mathematics
Start: 2026-02-16T09:00:00+01:00
End: 2026-02-16T19:00:00+01:00
Location: 4 Pl. Jussieu

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

4 Pl. Jussieu | Paris

Publisher/HostSCAI

Conference Proof & Program - AI-Assisted Formal Mathematics

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

Event Venue & Nearby Stays

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

Tickets

USD 0.00

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

Discover more events by tags:

Artificial-intelligence in Paris Tech-conferences in Paris

Ask AI if this event suits you:

More Events in Paris

$KENSINGTON | La Maroquinerie, Paris - 15 f\u00e9vrier 2026$

Sun, 15 Feb at 07:00 pm KENSINGTON | La Maroquinerie, Paris - 15 février 2026

La Maroquinerie

$Sunday Tribute - 2000 Girl's To The Front \/\/ Supersonic$

Sun, 15 Feb at 07:00 pm Sunday Tribute - 2000 Girl's To The Front // Supersonic

Supersonic

Sun, 15 Feb at 07:00 pm DeathbyRomy in Paris

LES ETOILES

Sun, 15 Feb at 07:30 pm RAYE in Paris

ACCOR ARENA

$Concert de la Saint-Valentin \u2728 15 f\u00e9vrier$

Sun, 15 Feb at 07:30 pm Concert de la Saint-Valentin ✨ 15 février

Conservatoire Russe de Paris Serge Rachmaninoff

Sun, 15 Feb at 08:00 pm Tarja in Paris

ALHAMBRA

$Antoine COMPAGNON : \u00ab It's like d\u00e9j\u00e0 vu all over again \u00bb$

Mon, 16 Feb at 06:00 pm Antoine COMPAGNON : « It's like déjà vu all over again »

Institut de France

Mon, 16 Feb at 07:00 pm Scott H. Biram in Paris

SUPERSONIC

Mon, 16 Feb at 07:00 pm Leif Vollebekk in Paris

Alhambra

Mon, 16 Feb at 07:30 pm Bal avec le Duo Vertygo

12 Rue d'Assas, 75006 Paris, France

$Ombre et Lumi\u00e8re : Nosferatu le Vampire de F.W. Murnau$

Mon, 16 Feb at 07:30 pm Ombre et Lumière : Nosferatu le Vampire de F.W. Murnau

La Filmothèque du Quartier Latin

Mon, 16 Feb at 08:00 pm MIKA in Paris

ACCOR ARENA

Paris is Happening!

Never miss your favorite happenings again!

Explore Paris Events