Conference Proof & Program - AI-Assisted Formal Mathematics

Schedule

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

UTC+01:00

Location

4 Pl. Jussieu | Paris, IL

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

Where is it happening?

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

Event Location & Nearby Stays:

Tickets

USD 0.00

Know what’s Happening Next — before everyone else does.

Host or Publisher SCAI

Ask AI if this event suits you:

Discover More Events in Paris

DeathbyRomy in Paris

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

LES ETOILES

ART LIVE-MUSIC

RAYE in Paris

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

ACCOR ARENA

CONCERTS MUSIC

$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

CONCERTS MUSIC

Tarja in Paris

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

ALHAMBRA

CONCERTS MUSIC

$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

Scott H. Biram in Paris

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

SUPERSONIC

CONCERTS MUSIC

Leif Vollebekk in Paris

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

Alhambra

Bal avec le Duo Vertygo

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

12 Rue d'Assas, 75006 Paris, France

Build Your First Successful AI SaaS Startup Today! - Workshop

Tue, 23 Apr at 02:00 pm Build Your First Successful AI SaaS Startup Today! - Workshop

Regus Office

BUSINESS WORKSHOPS

Launch Your Own Successful AI App | AI Startup | Workshop 2025

Tue, 30 Apr at 01:00 pm Launch Your Own Successful AI App | AI Startup | Workshop 2025

TBD

WORKSHOPS BUSINESS

Integrating Blockchain and AI (Artificial Intelligence) | Paris

Thu, 09 May at 04:00 pm Integrating Blockchain and AI (Artificial Intelligence) | Paris

Paris

WORKSHOPS ARTIFICIAL-INTELLIGENCE

$Paris Tech Mixer and Social (Tech \/ AI \/ Data) \u2728 Paris Connect$

Fri, 23 May at 07:00 pm Paris Tech Mixer and Social (Tech / AI / Data) ✨ Paris Connect

O’Sullivans

BUSINESS MEETUPS

$Prompt to Profit \u2014 Learn Generative AI for Business and Innovation$

Wed, 22 Oct at 01:00 pm Prompt to Profit — Learn Generative AI for Business and Innovation

Regus Office

ARTIFICIAL-INTELLIGENCE BUSINESS

$AUGMENTA - le d\u00e9fi de l'Homme$

Wed, 05 Nov at 11:00 am AUGMENTA - le défi de l'Homme

Appart Renoma

ART

$Soir\u00e9e de lancement de l'ANCDAO - Data & AI Officers$

Wed, 07 Jan at 07:30 pm Soirée de lancement de l'ANCDAO - Data & AI Officers

Albert School

BINGO

AI & Tech Builders Drinks

Thu, 08 Jan at 08:00 pm AI & Tech Builders Drinks

The Hoxton, Paris

$D\u00eener Lumerys avec Didier Van Cauweleart$

Tue, 13 Jan at 07:30 pm Dîner Lumerys avec Didier Van Cauweleart

Lieu Secret

$Algorythm+\/How to Leverage AI (for Absolute Beginners)$

Thu, 29 Jan at 07:00 pm Algorythm+/How to Leverage AI (for Absolute Beginners)

Paris

ART LITERARY-ART

Human with AI

Fri, 30 Jan at 09:00 am Human with AI

La Maison de la Conversation

BUSINESS CONFERENCES

$Algorythm+\/How to Leverage AI (for Absolute Beginners)$

Thu, 05 Feb at 06:00 pm Algorythm+/How to Leverage AI (for Absolute Beginners)

Paris

ARTIFICIAL-INTELLIGENCE

What's Happening Next in Paris?

Discover Paris Events