Ada France

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

Appel à cotisation pour 2018

Par stephane.carrez

Bonjour,

En cette période printanière et pré-Ada-Europe, nous rappelons à nos membres qu'il est temps de renouveller 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

L'association

L'association Ada France est une association sans but lucratif (loi de 1901) dont le but est la promotion des bonnes pratiques d'ingénierie logicielle en général et du langage Ada en particulier.

Elle permet à tous ceux intéressés par Ada de se rencontrer et d'échanger de l'expérience; en 2014, elle a organisé la conférence Ada-Europe à Paris.

Mascotte Ada

Le langage Ada

Le langage Ada est un langage de programmation impératif, fortement typé, développé depuis les années 1980. Il a depuis connu plusieurs évolutions et re-normalisations en 1995, 2005 et 2012.

Les actions

L'association Ada-France organise un réseau offrant un lieu d'échange aux différents utilisateurs du langage Ada. L'association est également présente dans différents rassemblements majeurs de communautés du logiciel libre français et européens tels que « Solutions Linux » ou les « FOSDEM ».

Ada Europe

Ada france est membre de Ada europe. Cette organisation est éditrice du « Ada User Journal », et organise de manière annuelle la conférence « International Conference on Reliable Software Technologie ».

Rejoindre Ada-france

Rien de plus simple ! Il suffit de remplir le bulletin d'adhésion et de le renvoyer avec votre règlement par chèque à l'adresse indiquée.