{"id":1757,"date":"2026-03-20T12:00:34","date_gmt":"2026-03-20T11:00:34","guid":{"rendered":"https:\/\/www.starinux.org\/?p=1757"},"modified":"2026-03-27T19:39:41","modified_gmt":"2026-03-27T18:39:41","slug":"atelier-ada-samedi-18-avril-2026","status":"publish","type":"post","link":"https:\/\/www.starinux.org\/?p=1757","title":{"rendered":"ATELIER ADA SAMEDI 18 AVRIL 2026"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">\u2006 \u2006&nbsp;&nbsp; Comme beaucoup de Franciliens vous avez d\u00e9j\u00e0 pris sans doute la ligne 14 du m\u00e9tro parisien, cette ligne de m\u00e9tro inaugur\u00e9e en 1998 est enti\u00e8rement automatique et d\u00e9s sa mise en service a fonctionn\u00e9 sans aucun probl\u00e8me informatique.&nbsp; Une large part de cette r\u00e9ussite technique est due \u00e0 l\u2019utilisation du langage ADA et du syst\u00e8me de preuve formelle bas\u00e9 sur le langage B.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">&nbsp; Lors de cet atelier anim\u00e9 par des experts ADA nous d\u00e9couvrirons les avantages de ce langage . &nbsp;&nbsp;&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"> Petite note historique :<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"> &nbsp; ADA tire son nom de ADA lovelace qui est consid\u00e9r\u00e9e comme la &nbsp;premi\u00e8re informaticienne du monde pour avoir dans les ann\u00e9es 1830 programm\u00e9e  la machine analytique de Charles Babbage.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>MODALIT\u00c9S<\/strong>&nbsp;: \u00eatre adh\u00e9rent(e), 20\u20ac\/an (10\u20ac demandeurs d\u2019emploi) valable 1 an pour plus de 10 ateliers.<\/p>\n\n\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\"><\/div>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u2006 \u2006&nbsp;&nbsp; Comme beaucoup de Franciliens vous avez d\u00e9j\u00e0 pris sans doute la ligne 14 du m\u00e9tro parisien, cette ligne de m\u00e9tro inaugur\u00e9e en 1998 est enti\u00e8rement automatique et d\u00e9s sa mise en service a fonctionn\u00e9 sans aucun probl\u00e8me informatique.&nbsp; Une large part de cette r\u00e9ussite technique est due \u00e0 l\u2019utilisation du langage ADA et &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/www.starinux.org\/?p=1757\">Lire la suite<\/a><\/p>\n","protected":false},"author":13,"featured_media":1767,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_bbp_topic_count":0,"_bbp_reply_count":0,"_bbp_total_topic_count":0,"_bbp_total_reply_count":0,"_bbp_voice_count":0,"_bbp_anonymous_reply_count":0,"_bbp_topic_count_hidden":0,"_bbp_reply_count_hidden":0,"_bbp_forum_subforum_count":0,"_crdt_document":"","_piecal_is_event":true,"_piecal_start_date":"2026-04-18T09:30:00","_piecal_end_date":"2026-04-18T17:30:00","_piecal_is_allday":false,"footnotes":""},"categories":[3],"tags":[],"class_list":["post-1757","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ateliers-a-venir","item-wrap"],"publishpress_future_action":{"enabled":false,"date":"2026-04-15 12:21:12","action":"change-status","newStatus":"draft","terms":[],"taxonomy":"category","extraData":[]},"publishpress_future_workflow_manual_trigger":{"enabledWorkflows":[]},"_links":{"self":[{"href":"https:\/\/www.starinux.org\/index.php?rest_route=\/wp\/v2\/posts\/1757","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.starinux.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.starinux.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.starinux.org\/index.php?rest_route=\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/www.starinux.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1757"}],"version-history":[{"count":5,"href":"https:\/\/www.starinux.org\/index.php?rest_route=\/wp\/v2\/posts\/1757\/revisions"}],"predecessor-version":[{"id":1980,"href":"https:\/\/www.starinux.org\/index.php?rest_route=\/wp\/v2\/posts\/1757\/revisions\/1980"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.starinux.org\/index.php?rest_route=\/wp\/v2\/media\/1767"}],"wp:attachment":[{"href":"https:\/\/www.starinux.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1757"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.starinux.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1757"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.starinux.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1757"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}