48 rue de colombes, Le samedi 14 novembre 2026 de 09h30 à 17h30.
A la suite des ateliers CRYPTOLOGIE animés par Christian Dufour ? Nous avons proposé à ce dernier d’aborder l’informatique par les statistiques, une branche des mathématiques que l’informaticien se doit de connaître en 2027.

Comme on le sait, l’I.A repose essentiellement sur une approche statistique et probabiliste plutôt que sur des règles logiques rigides.
Sans parler d’I.A les statistiques sont aujourd’hui incontournables pour traiter les volumes de données considérables dans tous les domaines scientifiques ou techniques et marketing.
Le langage R créée en 1993 pour l’analyse de données scientifiques en Médecine et Biologie a vu son champ s’élargir à des applications que nous utilisons tous les jours comme Uber , Google , Airbnb...
Cet atelier est l’opportunité de comprendre les mécanismes profonds qui régissent notre vie numérique.»
Des outils logiciels mathématiques OPEN SOURCE comme CALC, OCTAVE, SCILAB seront présentés.
Nous vous attendrons nombreux.
MODALITÉS DE PARTICIPATION :
Horaires : 9.30 H – 17.30 H
Lieu : 48 rue de Colombes - Courbevoie
Inscription par mail à dmoreau@starinux.org
48 rue de Colombes, Le samedi 21 novembre 2026 de 09h30 à 17h30.
Comme beaucoup de Franciliens, vous avez déjà pris sans doute la ligne 14 du métro parisien, cette ligne de métro inaugurée en 1998 est entièrement automatique et dès sa mise en service a fonctionné sans aucun problème informatique. Une large part de cette réussite technique est due à l’utilisation du langage ADA et du système de preuve formelle basé sur le langage B.
Lors de cet atelier, animé par des experts ADA, nous découvrirons les avantages de ce langage utilisé dans les systèmes temps réel critiques. Au cours de cette journée, nous allons vous faire découvrir en quoi Ada est plus qu’un langage ; c’est également une philosophie de programmation mettant en œuvre un certain nombre de paradigmes logiciels
Petite Note historique :
ADA tire son nom de ADA lovelace qui est considérée comme la première programmeuse du monde pour avoir, dans les années 1830, programmé la machine analytique de Charles Babbage .
Objectifs :
- Comprendre les caractéristiques du langage et plus particulièrement en quoi il s'avère pertinent pour adresser des problématiques telles que la sûreté et la sécurité.
- Avoir quelques exemples concrets et les pointeurs nécessaires afin d'approfondir le sujet si nécessaire.
Plan :
- Rappels historiques.
- Les caractéristiques du langage.
- Le processus de développement.
- Mise en pratique : Installation et écriture d'un "hello world" en expliquant la structure du code.
- Les types composés (contraints et non contraints).
- Les exceptions + tests run-time.
- Le modèle de pointeurs & exemple pratique.
- Les génériques & exemple pratique.
- Objets et classes.
- Bindings & exemple pratique.
- La programmation par contrat (+introduction Ada2012).
- Preuve formelle SPARK
MODALITÉS : être adhérent(e), 20€/an (10€ demandeurs d’emploi) valable 1 an pour plus de 10 ateliers