ETAPS – Joint Conference on theory and practice of software

OCamlPro at Rust in Paris 2026 We are pleased to take part in Rust in Paris 2026, a community event exploring the Rust ecosystem. Arthur Carcano will give a light-hearted, interactive talk on Rust s...

Titagone provides expert software, R&D and PhD-level consulting. The right tools for mission-critical systems, verification & industrial optimization services - legacy sovereign migrations (COBOL, Rus...

YouTube video by Carnegie Mellon Software and Societal Systems Dept

OCamlPro diffuse son expertise des langages de programmation et des méthodes formelles au travers de nombreuses formations.

Notre équipe d’experts des langages de programmation aident les entreprises à reprendre le contrôle de leurs infrastructures COBOL en utilisant SuperBOL, les outils open-source les plus avancés constr...

Le prochain OUPS aura lieu le **lundi 13 octobre** 2025\. Le rendez\-vous est fixé à **18h30** au **4 place Jussieu, amphi Astier, dans le bâtiment Esclangon.** **L'inscri

EuroRust is a two-day conference for the European Rust community. We cover all things Rust: from Rust patterns and idioms to systems programming and CLI tooling, servers, and WASM. • Workshops will be...

Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started wi...

Turn data collection into an experience with Typeform. Create beautiful online forms, surveys, quizzes, and so much more. Try it for FREE.

Turn data collection into an experience with Typeform. Create beautiful online forms, surveys, quizzes, and so much more. Try it for FREE.

Notre équipe d’experts des langages de programmation aident les entreprises à reprendre le contrôle de leurs infrastructures COBOL en utilisant SuperBOL, les outils open-source les plus avancés constr...

The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks ...

Alt-Ergo is an open-source automatic solver of mathematical formulas based on Satisfiability Modulo Theories (SMT). It is used by tools such as Why3, Frama-C, The Spark toolset, Caveat, EasyCrypt and ...

This link will take you to a page that’s not on LinkedIn

Notre équipe d’experts des langages de programmation aident les entreprises à reprendre le contrôle de leurs infrastructures COBOL en utilisant SuperBOL, les outils open-source les plus avancés constr...

CAUTION: the time has been changed from 7pm to 6:30pm and it will be at ENS Ulm instead of Jussieu The next OUPS meetup will take place on Thursday, 24th of April 2025. It will start at 6:30pm at the...

Welcome to a new episode of The Flambda2 Snippets! Today, we will cover key high-level aspects of the algorithm of Flambda2. We will do our best to explain the fundamental design decisions pertaining ...