Tutoriel PPA_GTKAda de prise en main de la bibliothèque graphique GTKAda basée sur GTK pour construire des applications graphiques portables sur la plupart des plates-formes. (Exemples disponibles en ligne)

Le processus de standardisation du langage Ada 2022 a été lancé.

Mise à disposition du compilateur GNAT CE 2021 pour macOS.

Mise à disposition de la bibliothèque graphique GTKAda CE 2021 pour macOS.

Adalog a le plaisir d'annoncer son programme de formations pour le 2ème
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 stagiaire est limité à 5, sauf nouvelles mesures dans le
futur.

Ada cours complet:
   du 20 au 22 et du 27 au 29 septembre 2021
   du 14 au 16 et du 21 au 23 décembre 2021

Ada 2005 et 2012
   du 25 au 27 octobre 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/

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