Formation Ada supplémentaire chez Adalog

Par Jean-Pierre Rosen

Adalog organise une session supplémentaire de sa formation complète à Ada les 17, 18, 19 et 24, 25, 26 février 2021. Cette formation est organisée en présentiel, dans le strict respect des règles sanitaires. https://adalog.fr/fr/covid19.html
ATTENTION: cette formation est très proche, merci de vous inscrire ou de réserver rapidement!

Cette formation couvre tout Ada83+95, et présente les points les plus importants d~'Ada 2005/2012.

Elle s'adresse à tous ceux qui sont amenés à développer ou à s'occuper de projets en Ada. Seule la connaissance d'un autre langage de programmation est requise. Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter https://www.adalog.fr/fr/formation ada.html

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Programme des formations Adalog, 1er semestre 2021

Par Jean-Pierre Rosen

Adalog a le plaisir d'annoncer son programme de formations pour le 1er semestre 2021.  Ces formations ont lieu en présentiel, dans le strict respect des règles sanitaires (présentes ou à venir). Noter que le nombre de stagiaires est limité à 5, sauf nouvelles mesures dans le futur.

Ada cours complet:
   du 03 au 05 et du 10 au 12 février 2021
   du 16 au 18 et du 23 au 25 juin 2021

Ada 2005 et 2012
   du 15 au 17 mars 2021

Méthodes formelles avec Ada et SPARK
   du 12 au 14 avril 2021

Tous les détails sur:
https://adalog.fr/fr/formation_dates.html

Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter
https://www.adalog.fr/
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Compte rendu assemblée générale du 27 Mai 2020

Par Stephane Carrez

Le compte rendu de l'assemblée générale est disponible: CR-AG-2020-05-27.pdf

Les anciens comptes rendus sont aussi disponibles: Comptes rendus des assemblées générales d'Ada-France

Convocation Assemblée Générale Ada-France 2020

Par Stephane Carrez

L'Assemblée Générale d'Ada-France aura lieu le mercredi 27 Mai 2020 à 18h par vision conférence.

Voir plus
Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Webinar Ada-France, AdaCore, AdaLog, Systerel

Par Stephane Carrez

Vous souhaitez découvrir le langage Ada et ses atouts pour vos développements logiciels ?

Ada-France et les sociétés AdaCore, AdaLog et Systerel, vous convient à un webinar d'une heure.

Une découverte du langage Ada, le 26 mai 2020 à 10h.

Événement gratuit en ligne.

Après une introduction générale au langage Ada, découvrez plus en détails quelques-uns de ses atouts :

  • Maintenabilité et portabilité,
  • Programmation Orientée Objet (POO),
  • Programmation Par Contrat (PPC) et approche formelle (SPARK),
  • Programmation temps réel & concurrente.

Pour s’inscrire : https://adacore.webex.com/adacore/onstage/g.php?MTID=e4d1b4272b82b806d12c8b78e5fe6a765

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Le Meetup Ada-France est reporté

Par Rosen Jeanpierre

Sans surprise vu les circonstances actuelles, le meetup Ada-France est reporté à une période plus propice. Nous vous tiendrons informés...

Appel à cotisation pour 2020

Par Stephane Carrez

Bonjour,

En cette période pré-Ada-Europe, nous rappelons à nos membres qu'il est temps de renouveler leur cotisation à Ada-France et Ada-Europe.

En adhérant à Ada-France, vous aidez l'association dans ses activités de promotion du langage (Stand à OSS, présentation à Starinux, Meetup Ada France) et à maintenir notre serveur qui héberge notamment le site Ada/Debian.

En adhérant de plus à Ada-Europe, vous recevez une copie du Ada User Journal publié tous les trimestres, et vous augmentez le nombre de voix d'Ada-France au sein d'Ada-Europe.

  • Le montant de la cotisation pour Ada-France et Ada-Europe est de 65 euros,
  • Le montant de la cotisation pour Ada-France seul est de 30 euros.

Pour acquitter votre cotisation, merci de remplir le formulaire d'adhésion (Adhesion.pdf) et de le renvoyer signé avec votre règlement par chèque à notre trésorière (adresse indiquée dans le PDF).

Vous pouvez aussi payer par virement bancaire. Dans ce cas, vous pouvez nous envoyer le formulaire par mail à: bureau at ada-france.org.

Nous vous remercions de votre soutien,

Le bureau

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Programme du Meetup Ada-France

Par Stephane Carrez

Voici le programme du Meetup Ada-France prévu le 26 Mars prochain avec les sociétés AdaCore, AdaLog et Systerel:

9h – Introduction : présentation du langage

9h15 – Focus sur quelques atouts du langage Ada

  • La maintenabilité & portabilité, Robert CHOLAY (Systerel)
  • La Programmation Orientée Objet (POO), Jean-Pierre ROSEN (Adalog)
  • La Programmation Par Contrat (PPC) & approche formelle (SPARK), Yannick MOY (AdaCore)
  • La programmation temps réel & concurrente, Fabien CHOUTEAU (AdaCore)

10h – Présentations d'utilisateurs ou d'industriels

  • Conclusion sur 25 ans de retour d’expérience, Frédéric PINOT (Hitachi)
  • Le Fuzzing en Ada, Lionel MATIAS (Thales)
  • Projets embarqués et connectés sur STM32, Stéphane CARREZ (Twinlife)

11h – Discussion informelle

Inscrivez-vous sur Meetup Ada France.

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Meetup Ada France

Par Stephane Carrez

Ada France organise un Meetup le 26 Mars à 9h00 avec les sociétés AdaCore, AdaLog et Systerel.

Le Meetup aura lieu à l'université Pierre et Marie Curie le Jeudi 26 Mars de 9h00 à 12h00. Le programme est en cours de finalisation. Nous avons prévu plusieurs présentations autour de la fiabilité, la sûreté et la sécurité, la maintenabilité & portabilité,... Des utilisateurs d'Ada viendront aussi présenter certains de leur projets. L'événement se terminera par des discussions autour d'un apéro.

Inscrivez-vous sur Meetup Ada France.

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Prochaines formations Ada

Par Stephane Carrez

Adalog

La société Adalog donne des formations sur Ada, plusieurs cours et sessions sont planifiés sur le premier semestre 2020:

  • Un cours complet sur Ada est prévu du 17 au 19 et du 22 au 24 juin 2020
  • Un cours Ada 2005 et 2012 (pour ceux qui connaissent Ada 95) est prévu du 16 au 18 mars 2020,
  • Un cours sur le développement d'outils avec ASIS est prévu du 06 au 07 avril 2020.

D'autres cours sont possibles sur AADL, les développements autour d'AWS ou la méthode HOOD. Pour vous inscrire et pour plus d'information consultez le Calendrier des formations Adalog, premier semestre 2020.

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Paris Open Source Summit 2019

Par Stephane Carrez

Ada France sera présent au Paris Open Source Summit les 10 et 11 décembre 2019.

Venez nombreux pour découvrir le language Ada si vous ne le connaissez pas, voir comment il a évolué et comment il peut résoudre beaucoup de vos problèmes efficacement.

Plusieurs démonstrations sont prévues...

Pas encore convaincu par Ada, venez voir la présentation d'AKT dans la session Sécurité le mardi 10, cet outil pour sécuriser vos données et documents sensibles est écrit entièrement en Ada.

Compétition Make with Ada 2019

Par Stephane Carrez

Make with Ada

La saison 4 de la compétition Make with Ada vient de débuter. Organisé par la société AdaCore depuis 2016, cette compétition fait la promotion du language Ada ou SPARK dans des environnements embarqués.

Cette année, AdaCore a changé un peu les règles afin de récompenser plus de projets. Cette fois, les 10 projets finalistes recevront 600$ et le premier recevra en plus 2000$. Vous êtes débutant en Ada, pas de problème, vous avez toutes vos chances mais voici quelques conseils pour vous aider:

  • Apprenez Ada en ligne avec Learn.adacore.com
  • Jetez un œil aux exemples du projet Ada_Drivers_Library. Étudiez les, ils vous donneront des idées pour réaliser votre projet.
  • Commencez petit, faites évoluer votre projet tout en adoptant les bonnes pratiques de développement. Vérifiez et corrigez les warnings du compilateur!
  • Votre projet fonctionne, très bien! Mais documentez et donnez des explications sur votre projet.
  • Amusez-vous et montrez cela dans votre code et sur hackster.io!

Enregistrez vous sur hackster.io

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

GNAT Community 2019

Par Stephane Carrez

La version 2019 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

  • Comme pour la version 2018, le compilateur SPARK est inclu et cette version supporte les pointeurs (si vous ne connaissez pas, jetez un oeil sur l'article de Claire Dross Using Pointers in SPARK),
  • Le compilateur Ada est maintenant basé sur gcc 8.3.1 et gdb 8.3,
  • La librairie libadalang est disponible. Cette librairie permet d'analyser des programmes Ada, n'étant pas évidente à construire, son intégration dans GNAT 2019 va faciliter énormément son utilisation.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V. Ce compilateur comporte de plus en plus d'outils, prévoyez 2.7 Go pour l'installation.

L'annonce officielle: GNAT Community 2019

Appel à cotisation pour 2019

Par Stephane Carrez

Bonjour,

En cette période printanière et pré-Ada-Europe, nous rappelons à nos membres qu'il est temps de renouveler leur cotisation à Ada-France et Ada-Europe.

En adhérant à Ada-France, vous aidez l'association dans ses activités de promotion du langage (Stand à OSS, présentation à Starinux cette année) et à maintenir notre serveur qui héberge notamment le site Ada/Debian.

En adhérant de plus à Ada-Europe, vous recevez une copie du Ada User Journal publié tous les trimestres, et vous augmentez le nombre de voix d'Ada-France au sein d'Ada-Europe.

  • Le montant de la cotisation pour Ada-France et Ada-Europe est de 65 euros,
  • Le montant de la cotisation pour Ada-France seul est de 30 euros.

Pour acquitter votre cotisation, merci de remplir le formulaire d'adhésion (Adhesion.pdf) et de le renvoyer signé avec votre règlement par chèque à notre trésorière (adresse indiquée dans le PDF).

Nous vous remercions de votre soutien,

Le bureau

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Offre d'emploi chez SOPRA Steria

Par Rosen Jeanpierre

SOPRA Steria recherche des compétences Ada pour le secteur de l'aéronautique. Tous les détails (en anglais) ici:

https://www.ada-france.org/adafr/wikis/view/1/Offre%20SOPRA%20Steria

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

FOSDEM 2019: présentations Ada

Par Stephane Carrez

FOSDEM, le rendez-vous européen des développeurs de logiciels libres, est un week-end de deux jours, gratuit et non commercial, organisé au début de chaque année à Bruxelles, en Belgique. Il est fortement axé sur les développeurs et regroupe plus de 8 000 participants du monde entier. L’objectif est de fournir aux développeurs et aux communautés open source un lieu de rencontre avec d’autres développeurs et projets, de se tenir informé des derniers développements du monde de l’open source, d’assister à des débats et présentations intéressants sur divers sujets par des chefs de projets et des responsables, et de promouvoir le développement et les avantages des solutions open source. L'édition 2019 aura lieu les samedi 2 et dimanche 3 février. La participation est gratuite et aucune inscription n'est nécessaire.

Ada FOSDEM 2019

Dans cette édition, Ada-Belgique organise une nouvelle fois une série de présentations sur le langage de programmation Ada et les logiciels libres ou ouverts. Le "Ada DevRoom" au FOSDEM a lieu le premier jour de l'événement, le samedi 2 février 2019.

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Ada developer role chez Eurocontrol

Par Stephane Carrez

Eurocontrol est une organisation intergouvernementale européenne pour la sécurité de la navigation aérienne. Sa mission est d'harmoniser et d'unifier la gestion de la navigation aérienne en Europe, en promouvant un système uniforme pour les usagers civils et militaires, dans des conditions de sécurité maximale tout en minimisant les coûts et les impacts environnementaux.

Ada est le langage de programmation idéal pour développer les systèmes de navigation aérienne, où la sécurité, la rigueur et la fiabilité doivent être respectés. Ada est donc le langage de programmation parfait pour les systèmes d’Eurocontrol.

Eurocontrol recherche des ingénieurs software qui seraient intéressés de travailler avec Ada ou qui auraient déjà travaillé avec ce langage dans le passé, pour le siège d’Eurocontrol à Bruxelles.

Le durée de ce contrat serait long terme, nous parlons ici d’un contrat de 5 ans + 2 ans d’extension.

Pour plus d'information, contactez Emma Claus société Eurocity (emma.claus at eurocity.be).

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

Paris Open Source Summit 2018

Par Stephane Carrez

Comme l'année précédente, Ada France sera présent au Paris Open Source Summit les 5 et 6 décembre 2018.

Venez nombreux pour découvrir le language Ada si vous ne le connaissez pas, voir comment il a évolué et comment il peut résoudre beaucoup de vos problèmes efficacement.

Plusieurs démonstrations sont prévues...

Cette année la société AdaCore sera aussi présente. Ne manquez pas la présentation de Yannick Moy sur Ada et SPARK.

AdaCore organise les Tech Days à Paris le 4 Octobre 2018

Par Stephane Carrez

Le jeudi 4 Octobre 2018, AdaCore présente les évolutions à venir sur ses différents produits: GNAT Pro, CodePeer, SPARK Pro, et QGen.

Sur l'agenda d'une journée bien remplie, on notera que l'on obtiendra des informations sur:

  • L'avancée dans l'utilisation des GPUs pour les programmes classiques,
  • Une découverte de l'offre C/C++ d'AdaCore,
  • Les évolutions de libadalang dans l'analyse sémantique des programmes Ada,
  • Des informations sur l'intégration de Python dans GPS,
  • Des présentations de clients.

Cet événnement est libre, plus d'informations sur: https://www.adacore.com/tech-days-eu

Pour ajouter un commentaire, vous devez être connecté. Connectez vous pour ajouter un commentaire

GNAT Community 2018

Par Stephane Carrez

Voila, le cru 2018 du compilateur Ada d'AdaCore est disponible.

Vous pouvez le télécharger gratuitement en allant sur la page: https://www.adacore.com/download

Parmi les nouveautés, on notera:

  • Le support des cartes BBC micro:bit (ARM Cortex-M0),
  • Le support du RISC-V,
  • Le compilateur SPARK est désormais inclu pas défaut,
  • Le compilateur Ada est maintenant basé sur gcc 7.3.1,
  • Longtemps attendue, une version Windows 64 bits est disponible,
  • Les utilisateurs de MacOS pourront aussi profiter du compilateur croisé Ada pour ARM.

Disponibles en natif pour Linux x86-64, Windows 64 bits, MacOS x86-64, le nouveau compilateur est aussi disponible en croisé pour ARM-ELF et RISC-V.

Il ne vous reste plus qu'à télécharger cette nouvelle version, et ensuite de vous excercer avant de vous inscrire à la prochaine compétition de développement Ada sur makewithada.org

L'annonce officielle: GNAT Community 2018