Vous aimez faire de l'Ada ou vous débutez en Ada ?

Vous cherchez un moyen amusant de vous entraîner ?

Voici quelques liens qui vous permettront de le faire. Ce sont des sites proposant des énigmes simples ou complexes et surtout permettant de fournir une solution en Ada.

• DM::OJ : Site anglophone proposant des énigmes qui vont du simple "hello world" à des puzzles algorithmiques impliquant des connaissances en théorie des graphes.
  
• CodeChef : Site anglophone proposant des concours de code mais avec la possibilité de s'entraîner sur les anciennes compétitions. On peut aussi choisir par niveau
• Sphere Online Judge : Dans le même style que DM::OJ, peut-être plus joli :)

Et voilà

Amusez-vous bien

La société AdaCore vient d'annoncer la disponibilité du compilateur GNAT Community 2021.

Vous pouvez le télécharger sur leur site: https://www.adacore.com/download

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

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 (Meetup, ...) et à maintenir notre serveur qui héberge notamment le site Ada France.

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.

La diffusion du Ada User Journal ayant été perturbée par la COVID-19, Ada-Europe a décidé de prolonger la cotisation Ada-Europe 2020 jusqu'au 31 mars 2022.

Le montant des cotisation est donc:

• Pour un nouveau membre Ada-France et Ada-Europe: 65 euros,
• Pour un renouvellement Ada-France et Ada-Europe: 30 euros,
• Adhésion Ada-France seul: 30 euros.

  Vous pouvez renouveler votre adhésion en ligne directement sur Adhésion (le plus simple pour nous), ou remplir le formulaire d'adhésion: Formulaire papier.

  Pour acquitter votre cotisation, vous pouvez faire un virement bancaire avec le RIB (le plus simple pour nous). Sinon vous pouvez envoyer votre règlement par chèque à notre trésorière (adresse indiquée dans le PDF).

  Nous vous remercions de votre soutien.

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

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/

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

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

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

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

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

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.

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.

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.

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.

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

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

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

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

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.

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.