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...

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.

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

Ada-France organise la conférence Ada-Europe 2014

Ada-France est fière d’organiser la dix-neuvième conférence Ada Europe, International Conference on Reliable Software Technologies, aura lieu du 23 au 27 juin 2014 à Paris, dans les locaux de l’école d’ingénieurs ECE. Inscrivez-vous dès maintenant !

À l’instar de nos amis d’Ada-Belgique, c’est au tour d’Ada-France d’organiser un barbecue convivial. En plus du plaisir de se retrouver entre passionnés du langage Ada, nous comptons profiter de cette rencontre pour impulser, en autre, la création d’un « Ada Quick Reference Guide » en vue de publication chez O’Reilly. Le barbecue se déroulera dans le sud Essonne (à 5 minutes d’Etampes). Si vous venez en train, on se débrouillera pour faire la navette depuis la gare de Saint Martin d’Etampes, RER C, c’est le terminus (compter une heure depuis Paris).

2nd CALL FOR PAPERS The Ada Connection 16th International Conference on Reliable Software Technologies – Ada-Europe 2011 + Ada Conference UK 2011 20 – 24 June 2011, Edinburgh, UK

Les vidéos de la « Ada UK Conference 2006 » sont disponibles sur le site d’AdaCore. Voir en ligne : Site des vidéos

Ada-Belgium organise le 18 mars 2004 une présentation de Pascal Leroy intitulée «An invitation to Ada 2005». Voir en ligne : Ada-Belgium Meetings and Conferences

Les inscriptions pour la conférence Ada-Europe 2003 sont ouvertes. Voir en ligne : Enregistrement pour Ada Europe 2003