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

$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

$TANTRA DANSE EXP\u00c9RIENCE$

Sun, 15 Feb at 08:00 pm TANTRA DANSE EXPÉRIENCE

Le Regard du Cygne

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

ALHAMBRA

$Mariage, prolong\u00e9 !$

Sun, 15 Feb at 08:00 pm Mariage, prolongé !

Le Local des Autrices

Mon, 16 Feb at 02:00 am KYROS CORWOKING

18 Rue Godot de Mauroy

$4\u00e8me \u00e9dition des Rencontres de la JUB$

Mon, 16 Feb at 08:30 am 4ème édition des Rencontres de la JUB

Maison du Barreau de Paris

Mon, 16 Feb at 09:30 am Formation "Design thinking par les designers"

62 R. de Turbigo

$R\u00e9fl\u00e9chir au m\u00e9tier qui me correspond$

Mon, 16 Feb at 02:15 pm Réfléchir au métier qui me correspond

Maison 13 Solidaire

$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

$Rencontre avec Anne D\u00e9mians$

Mon, 16 Feb at 06:00 pm Rencontre avec Anne Démians

Société d'Encouragement pour l'Industrie Nationale

Mon, 16 Feb at 06:30 pm Penser avec la Palestine : Julie Trottier et Jeanne Perrier

48 Bd Jourdan

Mon, 16 Feb at 06:30 pm Parlons Japonais Ensemble

Aki Café

Paris is Happening!

Never miss your favorite happenings again!

Explore Paris Events