BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20261025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP;TZID=Europe/Paris:20260330T144813
UID:34893@assets3.agendadulibre.org
DTSTART;TZID=Europe/Paris:20260418T093000
DTEND;TZID=Europe/Paris:20260418T173000
DESCRIPTION:\n\n\n\n**ATELIER ADA SAMEDI 18 AVRIL 2026 **\n\n\n\n\n\nComme
  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.\n\nLors de cet atelier animé par des experts ADA nous découvr
 irons 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 logicie
 ls\n\n\n\nPetite Note historique :\n\nADA tire son nom de ADA lovelace qu
 i est considérée comme la première programmeuse du monde pour avoir dan
 s les années 1830 programmer la machine analytique de Charles Babbage.\n\
 n\n\nObjectifs:\n   1.    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é.\n   2.    Avo
 ir quelques exemples concrets et les pointeurs nécessaires afin d'approfo
 ndir le sujet si nécessaire.\nPlan:\n   - Rappels historiques.\n   - 
 Les caractéristiques du langage.\n   - Le processus de développement.\
 n   - Mise en pratique: Installation et écriture d'un "hello world" en 
 expliquant la structure du code.\n   - Les types composés (contraints e
 t non contraints).\n   - Les exceptions + tests run-time.\n   - Le mod
 èle de pointeurs &amp\; exemple pratique.\n   - Les génériques &amp\;
  exemple pratique.\n   - Objets et classes.\n   - Bindings &amp\; exem
 ple pratique.\n   - La programmation par contrat (+introduction Ada2012)
 .\n   - Preuve formelle SPARK\n\n\n\n\n\n**MODALITÉS** : être adhére
 nt(e)\, 20€/an (10€ demandeurs d’emploi) valable 1 an pour p\n\n
GEO:48.9006;2.2565
LOCATION:Espace Associatif\, salle Vitrée\, 48 rue de Colombes\, Courbevoi
 e\, Île-de-France\, France
ORGANIZER:mailto:moreaumerveille@orange.fr
SEQUENCE:4
SUMMARY:Atetier langage ADA
URL;VALUE=URI:https://www.starinux.org
CATEGORIES:ada
CATEGORIES:langage
CATEGORIES:systemes
CATEGORIES:critique
CATEGORIES:starinux
X-ALT-DESC;FMTTYPE=text/html:<p class="western" style="line-height: 106%\; 
 margin-bottom: 0cm\; border-top: 1px solid #000000\; border-bottom: 1px so
 lid #000000\; border-left: none\; border-right: none\; padding: 0.04cm 0cm
 \;"><span style="font-family: Segoe UI\, serif\;"><span style="font-size: 
 x-large\;"><strong><img style="display: block\; margin-left: auto\; margin
 -right: auto\;" src="https://www.starinux.org/wp-content/uploads/2025/11/B
 andeau-OK-STARINUX.png" alt="" width="1366" height="234"></strong></span><
 /span></p>\n<p class="western" style="line-height: 106%\; margin-bottom: 0
 cm\; border-top: 1px solid #000000\; border-bottom: 1px solid #000000\; bo
 rder-left: none\; border-right: none\; padding: 0.04cm 0cm\;"> </p>\n<p c
 lass="western" style="line-height: 106%\; margin-bottom: 0cm\; border-top:
  1px solid #000000\; border-bottom: 1px solid #000000\; border-left: none\
 ; border-right: none\; padding: 0.04cm 0cm\;"><span style="font-family: Se
 goe UI\, serif\;"><span style="font-size: x-large\;"><strong>ATELIER ADA S
 AMEDI 18 AVRIL 2026 </strong></span></span></p>\n<p class="western" style
 ="line-height: 106%\; margin-bottom: 0cm\; border-top: 1px solid #000000\;
  border-bottom: 1px solid #000000\; border-left: none\; border-right: none
 \; padding: 0.04cm 0cm\;"> </p>\n<p class="western" style="line-height: 1
 06%\; margin-top: 0.18cm\; margin-bottom: 0.18cm\;"> </p>\n<p class="west
 ern" style="line-height: 106%\; margin-top: 0.18cm\; margin-bottom: 0.18cm
 \;"><span style="font-family: Times New Roman\, serif\;"><span style="font
 -size: large\;">Comme beaucoup de Franciliens vous avez déjà pris sans d
 oute 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 tech
 nique est due à l’utilisation du langage ADA et du système de preuve f
 ormelle basé sur le langage B.</span></span></p>\n<p class="western" styl
 e="line-height: 106%\; margin-top: 0.18cm\; margin-bottom: 0.18cm\;"><span
  style="font-family: Times New Roman\, serif\;"><span style="font-size: la
 rge\;">Lors de cet atelier animé par des experts ADA nous découvrirons l
 es avantages de ce langage utilisé dans les systèmes temps réel critiqu
 es. Au cours de cette journée nous allons vous faire découvrir en quoi A
 da est plus qu’un langage \; c’est également une philosophie de prog
 rammation mettant en œuvre un certain nombre de paradigmes logiciels </sp
 an></span></p>\n<p class="western" style="line-height: 106%\; margin-top: 
 0.18cm\; margin-bottom: 0.18cm\;"> </p>\n<p class="western" style="line-h
 eight: 106%\; margin-top: 0.18cm\; margin-bottom: 0.18cm\;"><span style="f
 ont-family: Times New Roman\, serif\;"><span style="font-size: large\;">Pe
 tite Note historique :</span></span></p>\n<p class="western" style="line-
 height: 106%\; margin-top: 0.18cm\; margin-bottom: 0.18cm\;"><span style="
 font-family: Times New Roman\, serif\;"><span style="font-size: large\;">A
 DA tire son nom de ADA lovelace qui est considérée comme la première pr
 ogrammeuse du monde pour avoir dans les années 1830 programmer la machine
  analytique de Charles Babbage .</span></span></p>\n<p class="western" sty
 le="line-height: 106%\; margin-top: 0.18cm\; margin-bottom: 0.18cm\;"> </
 p>\n<p class="western" style="line-height: 106%\; margin-top: 0.18cm\; mar
 gin-bottom: 0.18cm\;"><span style="font-family: Times New Roman\, serif\;"
 ><span style="font-size: large\;">Objectifs :<br>   1.    Comprendre l
 es 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é.<br>   2.    Avoir quelques exemples concrets et les po
 inteurs nécessaires afin d'approfondir le sujet si nécessaire.<br>Plan :
 <br>   - Rappels historiques.<br>   - Les caractéristiques du langage
 .<br>   - Le processus de développement.<br>   - Mise en pratique : I
 nstallation et écriture d'un "hello world" en expliquant la structure du 
 code.<br>   - Les types composés (contraints et non contraints).<br>  
  - Les exceptions + tests run-time.<br>   - Le modèle de pointeurs &am
 p\; exemple pratique.<br>   - Les génériques &amp\; exemple pratique.<
 br>   - Objets et classes.<br>   - Bindings &amp\; exemple pratique.<b
 r>   - La programmation par contrat (+introduction Ada2012).<br>   - P
 reuve formelle SPARK</span></span></p>\n<p class="western" style="line-hei
 ght: 106%\; margin-top: 0.18cm\; margin-bottom: 0.18cm\;"> </p>\n<p class
 ="western" style="line-height: 106%\; margin-top: 0.18cm\; margin-bottom: 
 0.18cm\;"> </p>\n<p class="western" style="line-height: 106%\; margin-top
 : 0.18cm\; margin-bottom: 0.18cm\;"><span style="font-family: Times New Ro
 man\, serif\;"><span style="font-size: large\;"><strong>MODALITÉS</strong
 ></span></span><span style="font-family: Times New Roman\, serif\;"><span 
 style="font-size: large\;"> : être adhérent(e)\, 20€/an (10€ demand
 eurs d’emploi) valable 1 an pour p</span></span></p>
END:VEVENT
END:VCALENDAR