[#]AdaEurope Conf. on Reliable Software Technologies #AEiC2025, 10-13 Jun, #Paris, #France, deadline 20 Jan journal track & 24 Feb all other, ada-europe.org/conference2024, #AdaProgramming
Submit early: acceptance decisions for journal track & workshops are made on a rolling basis!
=> More informations about this toot | View the thread
Reminder:
The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) will take place in Paris, at Ecole des Mines, from the 10th to 13th of June 2025.
You can submit journal tracks papers before 20th of January, Industrial tracks, WIP, tutorials and workshops before the 24th of February.
See https://www.ada-europe.org/conference2025/
Please share to make this conference a success
[#]conference #ada #adaprogramming #adaeurope
=> More informations about this toot | View the thread
Petit rappel:
La 29ème conférence internationale pour les technologies de logiciels sûrs organisée par Ada-Europe (AEiC 2025) aura lieu à Paris, à l'école des Mines, du 10 au 13 juin 2025.
Vous pouvez soumettre, jusqu'au 20 janvier, les journal tracks, et jusqu'au 24 février les Industrial tracks, WIP, propositions de tutoriaux et d'ateliers.
Toutes les informations sont disponibles ici
https://www.ada-europe.org/conference2025/
N'hésitez pas à partager pour que cette conférence soit un succès.
[#]conference
=> More informations about this toot | View the thread
Vous faites quoi du 10 au 13 juin prochain ?
Ça vous dirait de présenter un projet à la 29ème conférence internationale sur les technologies de logiciels sûrs ?
Parce que c'est à Paris et c'est làqu'on s'inscrit!😊
https://www.ada-europe.org/conference2025/cfp.html
=> More informations about this toot | View the thread
Noël approche et ses calendriers de l'Avent avec.
Celui-ci pourrait décorer votre CV en plus 😁
Et en plus, AdaCore fera un don pour chaque énigme résolu à https://adadevelopersacademy.org/
https://blog.adacore.com/announcing-advent-of-ada-2024-coding-for-a-cause
Alors ? C'est un bon moyen d'apprendre à faire du Spark et/ou de l'Ada, non ?
A vos claviers
[#]adaprogramming #ada #AdaLanguage #adventofcode
@AdaProgrammers
=> More informations about this toot | View the thread
Vous avez envie de lire des articles sur Ada en français et bien en voici quelques uns.
En plus, gage de qualité, ça vient de Systerel.
https://blog.systerel.fr/fr/tags/ada/
[#]ada #adalang #adaprogramming
=> More informations about this toot | View the thread
Vous avez envie de parler d'Ada dans un contexte international ?
L'appel à papier est lancé pour le #fosdem2025 https://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/25/250202-fosdem.html
@fosdem
=> More informations about this toot | View the thread
Au fait, il y aura une demie devroom Ada @fosdem :)
Pourquoi demie ? Parce qu'avec l'affluence, nous n'aurons qu'une demi-journée.
Pour l'instant, c'est le dimanche matin mais on essaye d'avoir samedi après-midi à cause des conférenciers qui viennent de loin et qui auraient des soucis de jetlag :)
[#]ada #adalanguage #fosdem2025
=> More informations about this toot | View the thread
Je manque à tous mes devoirs.
La conférence AEiC 2025 d'Ada-Europe aura lieu à... Paris !!
Petit rappel, il s'agit d'une conférence sur les logiciels sûrs donc c'est plus large qu'Ada seulement.
Le CfP (call for paper) ayant été fait, vous pouvez postuler.
https://www.ada-europe.org/conference2025/
[#]AEiC2025 #AdaEurope #Ada #adaprogramminglanguage #reliable_software
=> More informations about this toot | View the thread
On parle souvent de Rust en complément du C pour les développements dans le noyau Linux mais saviez-vous qu'on peut tout à fait faire de l'Ada ?
C'est ce qu'Olivier Henley montre ici https://embeddedcomputing.com/technology/open-source/linux-freertos-related/hacking-the-linux-kernel-in-ada-part-1
[#]Ada #adaprogramminglanguage #adaprogramming #linux #kernel
=> More informations about this toot | View the thread
Héééé, Adacore a 30 ans :)
Du coup, il y a une petite interview sur leur blog
https://blog.adacore.com/adacore-memories-the-stories-behind-the-first-30-years-of-adacore
[#]ada #adaprogramming #AdaLanguage
=> More informations about this toot | View the thread
Comment faisait-on de l'Ada en 1985 sur un... Commodore 64 ???
Petit saut dans le passé avec @DesChips
Ca rappellera à quel point il est facile de développer maintenant :D
https://blog.adacore.com/ada-programming-like-its-1985
[#]AdaLanguage #adaprogramming #ada
=> More informations about this toot | View the thread
TSoding (https://www.youtube.com/@Tsoding ) est un développeur qui a décidé de programmer un jeu en Ada en 20 jours.
Il explique ici rapidement comment il a fait et ce qu'il a trouvé intéressant dans ce très beau langage :)
https://youtu.be/MUISz2qA640?feature=shared
[#]AdaLanguage #ada #programming #gamedev
=> More informations about this toot | View the thread
Cette année, il n'y aura aucune présence Ada au @fosdem.
La devroom avait été refusée il y a quelques semaines et c'est au tour du stand d'être refusé.
On regarde s'il y aurait moyen de faire un petit truc par ailleurs.
On vous tient au courant.
[#]ada #adalanguage #fosdem2024 #fosdem
=> More informations about this toot | View the thread
Unfortunately, there won't be any @fosdem event for Ada programmers next year.
Devroom was refused few weeks ago and we won't have a stand in the corridor.
For those who can afford it, Ada Europe will be in Barcelona in June.
=> More informations about this toot | View the thread
Aujourd'hui encore nous sommes présents sur le salon @osxp_paris
En prime, notre président présente "Ada, le langage vraiment sûr, a un nouveau standard" à 11h30.
C'est maintenant en salle 153b !!
[#]ada #adalanguage #adaprogramming
=> More informations about this toot | View the thread
Vous êtes à @osxp_paris ? Nous sommes sur le village associatif, venez découvrir ou redécouvrir le langage Ada
[#]osxp2023 #ada #AdaLanguage
=> More informations about this toot | View the thread
Latitude, société rémoise dans l'aérospatiale, a décidé de faire de l'Ada... Et en plus, ils recrutent 😊
Venez en parler avec nous à l' @osxp_paris aujourd'hui
https://www.adacore.com/papers/latitude-adopts-ada-and-spark-for-light-launcher-software-in-new-space-industry?utm_source=Twitter&utm_medium=Twitter+Organic&utm_campaign=Latitude+Case+Study&utm_id=Latitude+Case+Study
https://www.latitude.eu/
[#]osxp2023 #ada #AdaLanguage #adalang
=> More informations about this toot | View the thread
N'oubliez pas, c'est à partir de demain :)
=> More informations about this toot | View the thread
J-7 !
Cette année encore, Ada-France sera présent à l'Open Source Experience pour vous faire connaitre le langage Ada et ses dernières évolutions
https://www.ada-france.org/adafr/blogs/post.html?post=2023/10/07/Ada-France-au-salon-Open-Source-Experience-2023
[#]Ada #AdaProgramming #adalanguage #OpenSourceExperience
=> More informations about this toot | View the thread
=> This profile with reblog | Go to adafrance account This content has been proxied by September (3851b).Proxy Information
text/gemini