Database Professionals
Meet other local Database Professionals.
18,436
members
23
groups
Largest Database Professionals groups
Newest Database Professionals groups
Frequently Asked Questions
Yes! Check out database professionals events happening today here. These are in-person gatherings where you can meet fellow enthusiasts and participate in activities right now.
Discover all the database professionals events taking place this week here. Plan ahead and join exciting meetups throughout the week.
Absolutely! Find database professionals events near your location here. Connect with your local community and discover events within your area.
Database Professionals Events Today
Join in-person Database Professionals events happening right now
MLOps Drink đčâïž
Pas de talk pour cette Ă©dition, on se retrouve pour boire un verre et Ă©changer dans une bonne ambiance (si possible en terrasse au soleil âïž).
Vous pouvez inscrire un guest supplémentaire qui ne connait pas encore le meetup.
Bachata Lesson - Intermediate
Hello everyone !
######
Ready to take your Bachata to the next level? This intermediate/advanced class is made for you! Refine your techniques, explore more complex moves, and develop your musicality while working on interpretation and connection with your partner.
đ The trial class is available for **5âŹ.**
**TRIAL CLASS REGISTRATION :** [https://latinflow.fr/sinscrire-maintenant](https://latinflow.fr/sinscrire-maintenant)
**đ
CLASS SCHEDULE :**
đč **Studios Micadanses (Paris 4th)**
15 rue Geoffroy lâAsnier â Metro: Saint-Paul / HĂŽtel de Ville / Pont Marie
**Tuesday :**
* 21:00â22:00 : Portoricain Salsa On2 â Beginner+/Intermediate
**Wednesday** :
* 19:00â20:00 : Tonicity & Flexibility â All levels
* 20:00â21:00 : Bachata â Beginner
* 21:00â22:00 : Bachata â Intermediate/Advanced
đč **Loft Lechapelais (Paris 17th)**
6 rue Lechapelais â Metro: La Fourche / Place de Clichy / Rome
**Saturday :**
* 14:00â15:00 : Portoricain Salsa On1 â Intermediate
* 15:00â16:00 : Portoricain Salsa On1 â Beginner
* 16:00â17:00 : Bachata â Beginner
All studios are spacious and equipped with mirrors.
**đČ INFO & BOOKINGS:**
* Tel : 06 27 48 50 88
* Email : [yous.dance@gmail.com](http://yous.dance@gmail.com/)
* Instagram : @yous.dance / @cami.danse
* Facebook : Yous.dance
* Website : [https://latinflow.fr/](https://latinflow.fr/)
Rencontre Airflow Paris : Les Nouveautés d'Airflow 3.2
**Rejoignez d'autres passionnés et leaders d'Airflow sur le magnifique rooftop d'Ippon Technologies pour une soirée de conférences captivantes, bonne nourriture, boissons et cadeaux exclusifs !**
Nous entendrons des leaders locaux de la communauté Airflow parler de la derniÚre version d'Airflow 3.2, ainsi que des présentations de cas d'usage concrets qui vous donneront des idées sur la façon dont vous pouvez utiliser Airflow dans votre propre entreprise.
**PRĂSENTATIONS**
**Conférence #1 :** Les Nouveautés d'Airflow 3.2
* Fabrice W. Ingénieur commercial senior chez Astronomer
* Suite Ă la sortie majeure de la version 3, Apache AirflowÂź continue de s'imposer comme la principale plateforme d'orchestration de workflows open-source. Airflow 3.2 apporte des avancĂ©es en matiĂšre de fonctionnalitĂ©s de gestion des assets et de la data, l'Ă©largissement des intĂ©grations clĂ©s, ainsi que des amĂ©liorations du cĆur d'Airflow. Ce webinaire offre un aperçu complet de la nouvelle version et vous montre des façons concrĂštes de tirer parti de ces mises Ă jour dans vos propres environnements.
Au cours de cette session, vous apprendrez :
* Les principales nouvelles fonctionnalités telles que les partitions d'assets, les intégrations mises à jour et les améliorations de l'interface
* Comment appliquer ces nouvelles fonctionnalités de la version 3.2 à vos workflows d'orchestration existants
* Ce qui est nouveau et ce qui a changé afin de planifier sereinement votre prochaine mise à jour
Que vous utilisiez Airflow 3.0 ou des versions antérieures, cette session vous préparera à tirer pleinement parti de ce qu'offre la version 3.2.
**Conférence #2 :** Comment on a unifié l'orchestration data pour 80+ engineers
* *Intervenant:* Ismail Mezzour, Ingénieur en plateforme de données cloud chez Accor
* Snowflake, Talend, Control M, Terraform, des outils maison, AWS CloudWatch EventsâŠ
Six briques, six interfaces, six façons de debugger.
RĂ©sultat : des Ă©quipes cloisonnĂ©es, un onboarding interminable, trois heures pour comprendre oĂč ça casse, puis deux de plus pour relancer et vĂ©rifier que tout sâenchaĂźne correctement.
On a dĂ©cidĂ© de tout centraliser pour aligner plus de 80 engineers autour dâune seule façon de travailler, et surtout retrouver une vraie vision de bout en bout de nos pipelines.
Dans ce talk, je partage notre retour dâexpĂ©rience, les gains concrets, les erreurs quâon a faites, et ce quâon referait diffĂ©remment.
Un retour honnĂȘte pour ceux qui envisagent une migration, ou qui commencent Ă se demander si leur stack actuel ne les ralentit pas dĂ©jĂ .
**AGENDA**
* **18h30-19h00 :** Arrivées, réseautage, nourriture et boissons
* **19h00-19h30 :** Les Nouveautés d'Airflow 3.2
* **19h30-20h00 :** Comment on a unifié l'orchestration data pour 80+ engineers
* **20h00-21h00 :** Réseautage
Cours de Bachata - Intermédiaire
Bonjour Ă tous !
PrĂȘt Ă passer au niveau supĂ©rieur en Bachata ? Ce cours intermĂ©diaire/avancĂ© est fait pour vous ! Affinez votre technique, explorez des mouvements plus complexes et dĂ©veloppez votre musicalitĂ© tout en travaillant sur l'interprĂ©tation et la connexion avec votre partenaire.
đ Le cours dâessai est proposĂ© au tarif de **5âŹ**.
**INSCRIPTION COURS D'ESSAI :** [https://latinflow.fr/sinscrire-maintenant](https://latinflow.fr/sinscrire-maintenant)
### đ
**PLANNING DES COURS :**
đč **Studios Micadanses** (Paris 4e)
*15 rue Geoffroy lâAsnier â M° Saint-Paul / HĂŽtel de Ville / Pont Marie*
**Mardi :**
* 21h-22h : Salsa Portoricaine On2 â DĂ©butant+/Inter
**Mercredi :**
* 19h-20h : TonicitĂ© & Souplesse â Tous niveaux
* 20h-21h : Bachata â DĂ©butant
* 21h-22h : Bachata â Inter/AvancĂ©
đč **Loft Lechapelais (Paris 17e)**
*6 rue Lechapelais â M° La Fourche / Place de Clichy / Rome*
**Samedi :**
* 14h-15h : Salsa On1 â Inter
* 15h-16h : Salsa On1 â DĂ©butant
* 16h-17h : Bachata â DĂ©butant
Toutes les salles sont spacieuses et équipées de miroirs.
### đČ **INFOS & RĂSERVATIONS :**
* Tél : 06 27 48 50 88
* Email : yous.dance@gmail.com
* Insta : @yous.dance / @cami.danse
* Facebook : [Yous.dance](https://www.facebook.com/yous.dance)
* Site : [https://latinflow.fr/](https://latinflow.fr/)
Explorer et se jouer des imaginaires de l'IA et des algorithmes
**Format :** đŁïž français đŹ Atelier - Discussion ouverte · đ€ networking
**âš Ce qui vous attend**
Le jeu des imaginaires de lâIA, c'est un outil de mĂ©diation, initiĂ© et imaginĂ© par la mission CafĂ© IA et lâagence Mon Oncle.
Il vous propose de confronter les imaginaires populaires de lâIA - ceux portĂ©s par le cinĂ©ma ou la littĂ©rature - et les applications rĂ©elles des algorithmes et de lâintelligence artificielle.
**đŻ Ce que vous en retirerez**
Mieux comprendre les opportunités et les risques de ces technologies pour nous au quotidien, pour la société et pour la planÚte.
**đ· Un moment convivial**
Venez discuter et confronter vos propres imaginaires technologiques le temps d'une partie.
La soirĂ©e se terminera autour dâun verre, pour prolonger la discussion dans une ambiance conviviale.
**đ Pour aller plus loin**
Ce jeu est conçu et animé par [Francois Houste ](https://www.linkedin.com/in/francoishouste/)
đ Infos pratiques
Les participant·es recevront par e-mail, via Meetup, toutes les informations dâaccĂšs Ă **Agile Tribu** *(adresse prĂ©cise, code dâentrĂ©e, Ă©tage, etc.)* **environ 2 heures avant le dĂ©but de lâĂ©vĂ©nement**.
StudioJahido â 1erCoursGratuit Bachata -Paris (12)
STUDIOJAHIDO â Tous les Mercredi soir
18 Rue Abel, 75012 Paris
âž»
Pourquoi venir ?
Rejoins-nous pour le coup dâenvoi de la 7á” saison de StudioJahido ! 1er cours Gratuit, lâambiance est gĂ©niale, et nos tarifs sont carrĂ©ment imbattables ! âš
âž»
Cours offerts & horaires
1er Cours Gratuit pour les nouveaux ! Places limitĂ©es â prioritĂ© aux premiers arrivĂ©s, aux abonnĂ©s et aux inscriptions sur place.
⹠20h00 : Bachata débutant+
⹠21h00 : Bachata intermédiaire/avancé
Tarifs Ă partir de 122âŻâŹ/an, avec rĂ©ductions spĂ©ciales (Ă©tudiants, couples, demandeurs dâemploi). âŻđž
âž»
AccĂšs Ă la salle de danse
1. Code de la porte : 381A0 (zéro).
2. Appuie sur le bouton âCours 2á” sous-solâ â je tâouvre Ă distance.
3. Descends au 1er sous-sol (salle dâattente / vestiaire).
âą WC disponibles (sanibroyeur â ne rien y jeter ! đ).
4\. Attends la fin du cours précédent pour descendre en salle de danse\.
5\. ProblĂšme pour entrer ? Ăcris\-moi sur Messenger \(profil : Pepito Jacson\)\.
âž»
Rejoins la communauté !
âą WhatsApp : https://chat.whatsapp.com/F2yvlK4adgNFhzx1wRaFhv?mode=gi_t
âą Facebook : STUDIOJAHIDO & PEPITO Y MYSHA
âą Instagram : Pepito dance&style
Nextcloud et votre gestion des identités
Pour les usages professionnels, Nextcloud s'additionne à de nombreux logiciels déjà actifs.
Comment l'insérer dans un systÚme sans rendre les utilisateurs fous à force de multiplier les identifiants, mots de passe, tout en protégeant les accÚs contre les cybermenaces croissantes avec des changement périodiques de mots de passe complexes ?
Cette session sera lâoccasion idĂ©ale pour comprendre comment simplifier lâauthentification des utilisateurs tout en renforçant la sĂ©curitĂ© de votre instance. Que vous soyez administrateur systĂšme, dĂ©veloppeur ou simplement curieux, venez dĂ©couvrir les diffĂ©rentes approches et partager vos retours dâexpĂ©rience.
Au programme :
* Introduction au SSO (Single Sign-On) avec les principes, avantages et cas dâusage en entreprise
* IntĂ©gration avec les systĂšmes dâidentitĂ©s comme LDAP, Active Directory, et gestion centralisĂ©e des utilisateurs
* Protocoles dâauthentification modernes que sont OAuth2, OpenID Connect, SAML. Quelles sont les diffĂ©rences, avantages et limites ?
* Mise en place et retours dâexpĂ©rience. Revue des bonnes pratiques, des piĂšges Ă Ă©viter (amenez les vĂŽtres !), exemples concrets dâintĂ©gration avec Nextcloud
* SĂ©curitĂ© et gestion des accĂšs. Parlons de multi-facteurs, gestion des droits, politiques dâaccĂšs
Une consommation sera proposée sur place pour agrémenter la soirée.
Profitez de cette opportunitĂ© pour approfondir vos connaissances sur la gestion des identitĂ©s et Ă©changer avec dâautres utilisateurs passionnĂ©s.
Inscrivez-vous dÚs maintenant et préparez-vous à une soirée riche en discussions et en découvertes !
Nous avons hĂąte de vous y retrouver !
Pensez à vous inscrire dÚs maintenant pour réserver votre place !
Database Professionals Events This Week
Discover what is happening in the next few days
Online Blind Dating đ PARIS đ Main Event for 20s-30s
Hey! đ
**Note:** This event is posted in lots of places, so more people join than just the RSVPs here.
This is an **Online Speed Dating event via Zoom** â€ïž
**Why participate:**
A super easy way to meet your **new girlfriend / boyfriend!**
No need to go up to anyone, **the host takes care of everything.**
A simple way to meet **new friends.**
**đ« GET YOUR TICKET HERE: đ«**
**www.datemap.net/parisonline -** (if link doesnât work - it means we sold out)
đïž **REFUND POLICY:** Just DM us 24h before the event for a full refund! đ
âWe usually sell out about **1 week** before!
â€ïž **Why People Love Our Events:**
âïž **50/50 gender ratio guaranteed** , we always keep it even
đ **Professional host included** , everything is handled for you on Zoom
âșïž **Relaxed, welcoming atmosphere** , no pressure, no awkward moments
â **Friendly people** , everyone is kind and open
đ **Join from home** , easy and comfy
đ§ **HOW IT WORKS:** đ§
You join a private Zoom link (emailed to you buy ticket) đ
You get a **5â6 min 1-on-1 video call** with every person â±ïž
We use breakout rooms , you move by yourself automatically
No tricky tech , the host helps you the whole time
At the end, you send your matches and get results. â€ïž
đ **QUESTIONS?**
Email us! We reply to everyone!
**đ« GET YOUR TICKET HERE: đ«**
**www.datemap.net/parisonline -** (if link doesnât work - it means we sold out)
đïž **REFUND POLICY:** Just DM us 24h before the event for a full refund! đ
âWe usually sell out about **1 week** before!
See you on Zoom! **đ**
Meetup #26 - SNDS et cardiologie
Nous vous donnons rendez-vous le **jeudi 23 avril 2026, de 17h30 Ă 19h10,** au Centre IA de lâInstitut du Cerveau ou en ligne pour notre prochain Meetup.
Ce meetup sâinscrit dans une sĂ©rie de rencontres ayant pour objectif de dresser un panorama des utilisations actuelles du SystĂšme national des donnĂ©es de santĂ© (SNDS) pour rĂ©pondre Ă des questions cliniques concrĂštes. AprĂšs une premiĂšre session consacrĂ©e Ă la neurologie, nous vous proposons pour cette Ă©dition des interventions sur lâ**utilisation des donnĂ©es du SNDS appliquĂ©es Ă la cardiologie.**
Inscrivez-vous dĂšs maintenant (INSCRIPTION UNIQUEMENT VIA CES LIENS) :
**[Lien dâinscription en prĂ©sentiel](https://hdhpds.limesurvey.net/526296?lang=fr)**
**[Lien dâinscription en distanciel](https://eu01web.zoom.us/webinar/register/WN_XLlDhcoDTDOu29SihF6oZQ)**
Les places en présentiel étant limitées, nous vous recommandons de vous inscrire rapidement.
**AU PROGRAMME :**
17h30 - 17h40
**Mot dâintroduction**
17h40 - 18h10
**PrĂ©vention primaire des maladies cardiovasculaires par aspirine Ă faible dose au diagnostic dâartĂ©rite Ă cellules gĂ©antes : Ă©mulation dâun essai cible dans le SNDS**
Dr Maxime Beydon - AP-HP
18h10 - 18h40
**Identification de profils de consommation de soins avant la survenue de la mort subite de lâadulte**
Dr YounĂšs Youssfi - Center for Research in Economics and Statistics (CREST)
18h40 - 19h10
**Incidence et facteurs de risque des toxicités myocardiques et musculaires des inhibiteurs de checkpoint: une étude nationale sur le SNDS**
Pr Florence Tubach - AP-HP
Ă partir de 19h10
**Afterwork - Moment convivial**
LâĂ©vĂ©nement sera enregistrĂ© et disponible en replay.
Nous vous remercions par avance pour le relai que vous pourrez faire de cet événement et espérons vous retrouver nombreux, sur place ou à distance.
à la découverte du Search Next-Gen avec Devoxx France 2026
Nous sommes ravis de vous inviter à une nouvelle édition du **Meetup Search, Data & IA** dans le cadre de **Devoxx France 2026** !
đ
**Quand ?** Jeudi 23 avril Ă 19h
đ **OĂč ?** Salle TBA 11 â Palais des CongrĂšs
â ïž **IMPORTANT : Lisez bien les rĂšgles d'accĂšs tout en bas de cette description pour valider votre place !**
Pour cette soirée, nous explorerons les derniÚres avancées en matiÚre de recherche et d'IA à travers plusieurs talks passionnants. Alors que nous dépassons la simple recherche par mots-clés, l'intégration des LLMs et des données structurées redéfinit totalement la façon dont les utilisateurs découvrent les produits et l'information.
Au programme, la soirée s'articulera autour de deux thématiques majeures :
* **Le Model Context Protocol (MCP) :** Nous découvrirons comment ce protocole révolutionne l'interaction entre les modÚles d'IA et vos sources de données. Il offre un standard pour fournir aux LLMs le contexte dont ils ont besoin, rendant vos applications d'intelligence artificielle plus fiables, scalables et pertinentes.
* **La Recherche Sémantique dans l'E-commerce :** La page "Aucun résultat trouvé" appartient au passé. Nous plongerons dans l'architecture de la recherche sémantique (embeddings vectoriels, stratégies de recherche hybride) pour comprendre comment transformer l'expérience de découverte en captant la véritable intention de l'utilisateur, bien au-delà du simple mot-clé.
***
**Agentic Internet Research : Automatiser la recherche web complexe avec le Multi-Agents et MCP -** đ€ Par Chrys FĂ©-Marty NIONGOLO @AITinkerers
Comment automatiser une recherche approfondie sur le web et synthétiser plus de 10 sources avec 95% de précision en moins de 30 secondes ?
Ce talk explore la création de RSearch, un systÚme de recherche web autonome propulsé par des agents IA. Découvrez comment allier recherche en temps réel et intelligence artificielle pour générer automatiquement des rapports structurés, sourcés et fact-checkés. Nous détaillerons :
* **La recherche temps réel & sémantique**
* **L'orchestration Multi-Agents (Langchain & Google AI)**
* **L'intégration avec MCP Server en OpenSearch**
Assistez à une démonstration live pour voir comment une architecture Agentique peut diviser par 5 le temps passé sur la recherche d'informations !
\-\-\-\-\-\-\-\-\-
**RĂ©duire les zero rĂ©sultats en e-commerce grĂące Ă la recherche vectorielle -** đ€ Par Roudy Khoury @Adelean
Les pages sans rĂ©sultats reprĂ©sentent une perte de revenus pour les plateformes e-commerce. Pour y remĂ©dier, les moteurs de recherche sâappuient sur des stratĂ©gies de query relaxing : synonymes, tolĂ©rance aux fautes, ou Ă©largissement des critĂšres.
Ce retour dâexpĂ©rience prĂ©sente lâajout dâune brique de recherche vectorielle comme filet de sĂ©curitĂ©. En capturant la similaritĂ© sĂ©mantique, cette approche permet de rĂ©cupĂ©rer des produits pertinents mĂȘme lorsque la requĂȘte ne correspond Ă aucun terme indexĂ©.
Nous dĂ©taillerons les dĂ©fis dâintĂ©gration, les choix techniques, et les gains observĂ©s.
***
đïž **AccĂšs Ă la soirĂ©e (Places trĂšs limitĂ©es !) :** Bonne nouvelle : pas besoin dâavoir un pass complet 3 jours Devoxx pour participer Ă ce Meetup !
Cependant, nous disposons de **seulement 60 invitations gratuites**.
đ **Comment obtenir votre accĂšs ?**
Pour des raisons logistiques avec le Palais des CongrĂšs, votre inscription sur Meetup doit ĂȘtre transformĂ©e en badge officiel Devoxx.
1. C'est le principe du premier arrivĂ©, premier servi ! Pour rĂ©clamer l'une de nos invitations VIP gratuites, **merci de remplir ce formulaire :** đ **[https://forms.gle/PRBYhi8W1N1hJoc6A](https://forms.gle/PRBYhi8W1N1hJoc6A)**
2. Vous allez recevoir un e-mail de confirmation directement de la part de Devoxx.
3. Le vrai billet contenant le QR code (indispensable pour entrer) vous sera envoyé plus tard, à l'approche de l'événement.
Dojo de programmation (jeudi) @ Proxym
Venez coder, apprendre, et apprendre Ă programmer ensemble !
Le langage, le sujet et la façon de le faire seront choisies par le groupe.
Le code sera ensuite publié sur [le dépÎt](https://github.com/dojo-developpement-paris/dojo-developpement-paris.github.io)
\-\-\-
Nous migrons le groupe de Meetup vers [Mobilizon](https://mobilizon.fr/@dojo_de_programmation_paris)
\-\-\-
Appeler le **06 82 57 97 83** et on viendra vous chercher
On sera en haut de lâescalier juste aprĂšs la porte
Les toilettes sont au fond du couloir (demander sur place)
\-\-\-
**Accessibilité**
La session nécessite de prendre des escaliers
Birds of a feather Golang @ Devoxx
Hello gophers, gopherettes, comme souvent, la conférence Devoxx nous ouvre ses portes le jeudi 23 avril pour un moment de discussion informel format "non conference", aussi connu en anglais sous le nom de B.O.F : Bird of Feather.
(Inscription exclusivement via lien en bas de message)
Il est fort probable qu'on discute de :
* Situer Go dans la dĂ©ferlante LLM : lĂ oĂč il est utile, les derniĂšres avancĂ©es pour l'infĂ©rence locale ou auto-hĂ©bergĂ©e
comme [Izma](https://github.com/hybridgroup/yzma) de Ron Evans et [Kronk](https://github.com/ardanlabs/kronk) de William Kennedy.
* Sujets d'actu : cloud native, infosec...
* Et vos propositions du moment
âATTENTION : VEILLEZ A VOUS INSCRIRE
âVIA LE LIEN CI-DESSOUS AVANT VENDREDI 17 AVRIL 19h00 :
âĄïž [https://reg.devoxx.fr/bof/E2KV8I](https://reg.devoxx.fr/bof/E2KV8I) âŹ
ïž
A jeudi 23 !
L'équipe Golang Paris
Crédits graphiques : le gopher volant est issu du projet [Falco Sidekick](https://github.com/falcosecurity/falcosidekick).
Modernising legacy with AI: learnings from Payfit and Theodo
Ce mois-ci, nous explorons un sujet brûlant : comment l'IA change la donne pour moderniser les systÚmes legacy.
Nous avons l'honneur d'accueillir deux auteurs et experts de renom pour deux talks de 30 minutes suivis d'une session de Q&A.
**Au programme :**
* **Talk 1 (en anglais) : Nick Tune (Staff Engineer @ PayFit)** Auteur de *Architecture Modernization*, Nick nous expliquera comment l'IA permet de naviguer et de transformer des architectures complexes au sein de PayFit.
* **Talk 2 (en anglais) : Fabrice Bernhard (Co-fondateur @ Theodo)** Auteur du *Lean Tech Manifesto*, Fabrice partagera les enseignements tirés de l'utilisation de l'IA pour accélérer la modernisation technologique chez Theodo.
La soirée se terminera par un moment de networking convivial.
â ïž **Attention :** CapacitĂ© limitĂ©e Ă **70 places**. Inscrivez-vous vite !
đ
**Date :** 23 avril 2026 Ă 19h00 đ **Lieu :** Chez Theodo, Paris
***
## [EN] Modernising Legacy with AI: Learnings from PayFit and Theodo
This month, we're diving deep into how AI is reshaping the way we approach legacy system modernization.
We are thrilled to host two renowned authors and experts for two 30-minute talks followed by a Q&A session.
**Talks:**
* **Talk 1 (English): Nick Tune (Staff Engineer @ PayFit)** Author of *Architecture Modernization*, Nick will share insights on using AI to navigate and evolve complex architectures at PayFit.
* **Talk 2 (French/English): Fabrice Bernhard (Co-founder @ Theodo)** Author of the *Lean Tech Manifesto*, Fabrice will discuss how Lean principles combined with AI are accelerating tech modernization at Theodo.
The talks will be followed by a networking session with the community.
â ïž **Note:** Capacity is limited to **70 attendees**. Make sure to RSVP early!
Paris Lean Inaugural Meetup
Join us for the inaugural **Paris Lean Meetup**, generously hosted by **ITN, Mines Paris â PSL**, and sponsored by **Mistral AI**!
For this first session, we are excited to present a dream lineup featuring two talks:
* **Leonardo de Moura**, *Chief Architect of Lean*, who will attend in person
* **The Mistral Team**, presenting *Leanstral*, the first open-source code agent designed for Lean 4
Weâre really looking forward to seeing you at the meetup!
After the talks, weâll continue with some informal discussion over pizza and drinks (kindly sponsored by Mistral), a great opportunity to meet others interested in Lean, AI, and formal proofs.























