AltErgo

Alt-Ergo by OCamlPro: An SMT Solver for Software Verification

[OCamlPro @OCamlPro]

@OCamlPro participe au #OCaml Workshop 2026 (#FPW) le 24 août.

Fiers de contribuer au Program Committee pour évaluer les travaux sur le typage statique et les langages fonctionnels en production.

Venez échanger sur vos enjeux système !
Planning : https://t.co/Al7Vx1tF2s

[OCamlPro @OCamlPro]

La prochaine session Rust Débutant aura lieu du 7 au 9 octobre 2026. Vous souhaitez former vos équipes ou vérifier vos droits #OPCO pour cette session ?

Retrouvez le programme complet et les démarches sur https://t.co/ypYQcuFQcN

@Pole_Systematic | @financeinnov

[OCamlPro @OCamlPro]

🚀C’est parti pour le #SalonSouverainetéNumérique2026 !

Retrouvez notre équipe pendant 2 jours pour échanger sur la modernisation des systèmes critiques, l’#OpenSource et la souveraineté technologique.

📍 Paris Porte de Champerret
📅 30 juin & 1er juillet
📌 Stand D15

[OCamlPro @OCamlPro]

La communauté OCaml Users in Paris (#OUPS) se retrouve ce mercredi 29 avril à 18h30 au 45 rue d’Ulm pour une soirée technique autour #OCaml.

[OCamlPro @OCamlPro]

🦀 Formez-vous à #Rust !
Sessions à venir :
Débutant du 4-6 nov et Avancé du 9-11 déc
Apprenez avec des experts, pratiquez sur des cas réels et rejoignez la communauté #Rust française.

Infos & inscriptions : https://t.co/s31t3j1sS5

@Pole_Systematic @financeinnov

[OCamlPro @OCamlPro]

Les résultats du sondage #COBOL2025 sont
disponibles !

💡 COBOL est un socle critique, souvent invisible, mais essentiel pour des centaines d’organisations.

Découvrez le rapport complet https://t.co/zxCKgsMw5d

#Mainframe #ModernisationIT #SuperBOL #OCamlPro

[OCamlPro @OCamlPro]

🚀 OCamlPro sera à #EuroRust 2025 du 9 au 11 octobre à📍Paris !

Notre collègue Arthur Carcano y représentera l’équipe pour échanger avec la communauté #Rust autour d’innovation, de performance et de fiabilité logicielle.

👉 Programme complet :https://t.co/JOdEJPCXhS

[OCamlPro @OCamlPro]

🦀 Formations #Rust
Développez votre expertise dans l'un des langages les plus prometteurs.

Sessions :
Rust Avancé → 7-9 oct
Rust Débutant → 4-6 nov

Inscriptions : https://t.co/s31t3j1sS5
@Pole_Systematic @financeinnov @franceinno

[OCamlPro @OCamlPro]

🆕 Nouveau sur le blog @OCamlPro : OCaml Onboarding – Introduction à Dune

Un guide pratique pour bien démarrer avec OCaml et comprendre le système de build Dune.

👉 À lire ici : https://t.co/OFySjUczvs...

[OCamlPro @OCamlPro]

DERNIÈRES PLACES - #Formations #Rust 🦀

Nos sessions de rentrée affichent presque complet !
Disponible :
- Rust Débutant : 9-11 septembre
- Rust Avancé : 7-9 octobre
Au programme : apprentissage progressif, projets concrets, expertise reconnue
Réservez : https://t.co/N6FZ0zkpdr

[OCamlPro @OCamlPro]

RENTRÉE TECH : Formations #Rust 2025

L'été, c'est le moment parfait pour planifier votre montée en compétences !

Prochaines sessions :
Rust Débutant : 9-11 septembre
Rust Avancé : 7-9 octobre

Inscriptions : https://t.co/s31t3j0V2x #FormationRust #OCamlPro

[OCamlPro @OCamlPro]

La Communauté Du COBOL & @OCamlPro lancent un questionnaire pour mieux comprendre les usages réels du #COBOL en 2025, et les défis concrets de celles et ceux qui le font vivre. Participez en quelques minutes : https://t.co/kXTMsNYnus

@Pole_Systematic @financeinnov

[OCamlPro @OCamlPro]

@OCamlPro est ravi d'annoncer que Léo Andrès interviendra demain, le 11 février, à 20h00 (heure française) au Wasm Research Day 2025 sur le thème :
"Cross-language bug-finding and solver-aided programming through Wasm".
Une édition prometteuse pour l’écosystème Wasm ! 🔥

[OCamlPro @OCamlPro]

Retrouvez-nous aux #JFLA pour découvrir #Owi, notre outil d’exécution symbolique (Rust/C/Wasm, bientôt OCaml), et Weasel, le premier langage de spécification Wasm standard. Pour en savoir plus : https://t.co/iGD0OH4r4v

@julien_signoles @CEA_List @Inria

[OCamlPro @OCamlPro]

✨Toute l’équipe d’@OCamlPro vous souhaite une excellente fin d’année et une nouvelle année pleine d’innovations et de succès.

Rendez-vous en 2025 pour continuer à avancer ensemble !

#Innovation #Projets @superbol_studio @AltErgoSMT @Pole_Systematic @financeinnov

[OCamlPro @OCamlPro]

🎁 Formez-vous à #Rust, le langage performant et sécurisé qui révolutionne le développement logiciel.

Prochaines sessions :
Débutant : 7-9 janv. & 4-6 mars 2025
Avancé : 4-6 fév. & 8-10 avril 2025
🔗inscriptions : https://t.co/6YLxpGL1EZ

@Pole_Systematic @financeinnov

[OCamlPro @OCamlPro]

@OCamlPro et la @dgfip_officiel ont présenté la migration de #MedocDB vers GnuCOBOL sur GNU/Linux lors de l’atelier BlueHats.🎥Découvrez ce projet et regardez le replay ici : https://t.co/qoM98bcOWp

@superbol_studio

[AltErgo @AltErgoSMT]

Alt-Ergo 2.6 is Out ! Cette version apporte des optimisations majeures, dont des améliorations sur les bit-vecteurs. L'article complet https://t.co/nsT6oRT5mn
@thalesgroup @TrustInSoft @ME_Europe @AdaCore @CEA_List
#AltErgo #SMTSolver #Innovation #Performance #MéthodesFormelles

[AltErgo @AltErgoSMT]

@thalesgroup @TrustInSoft @ME_Europe @Adacore @CEA_List Vous pouvez consulter les articles via les liens suivants :
https://t.co/tKVcp3wiI9
https://t.co/wdCtfB2uHy
https://t.co/ki8cfIQCX2

[AltErgo @AltErgoSMT]

L'équipe #AltErgo a participé à la 36e conférence #CAV2024 à Montréal, consacrée aux méthodes formelles et à la vérification logicielle. Deux de nos articles ont été acceptés au #SMTworkshop.

Liens en commentaires👇

@thalesgroup @TrustInSoft @ME_Europe @AdaCore @CEA_List