|
[Webinar] Jan 31- AdaCore “Memory Safety with Formal Proof”
|
|
0
|
197
|
January 30, 2024
|
|
AEiC 2024 - Ada-Europe conference - Journal Track Deadline Extended
|
|
0
|
153
|
January 8, 2024
|
|
AEiC 2024 - Ada-Europe conference - grants for Open Access publication
|
|
0
|
219
|
December 21, 2023
|
|
AEiC 2024 - Ada-Europe conference - 2nd Call for Contributions
|
|
0
|
225
|
November 22, 2023
|
|
FOSDEM'24 Calls open
|
|
11
|
537
|
November 21, 2023
|
|
AEiC 2024 - Ada-Europe conference - 1st Call for Contributions
|
|
0
|
273
|
September 26, 2023
|
|
Upcoming Ada-Related Conferences and Workshops
|
|
0
|
365
|
October 4, 2022
|
|
GAP Workshop 2023 (June 21st)
|
|
1
|
377
|
June 28, 2023
|
|
AEiC 2023 - 27th Ada-Europe Int'l Conference on Reliable Software Technologies
|
|
0
|
293
|
June 9, 2023
|
|
AEiC 2023 - Ada-Europe conference - program info
|
|
1
|
468
|
May 21, 2023
|
|
AEiC 2023 - Ada-Europe conference - Final Deadline Approaching
|
|
1
|
452
|
February 25, 2023
|
|
Ada stand at FOSDEM 2023
|
|
4
|
899
|
February 9, 2023
|
|
AEiC 2023 - Ada-Europe conference - Call for Contributions
|
|
1
|
342
|
January 9, 2023
|
|
[Ada FOSDEM] No Ada DevRoom for 2023, alternative rooms and Ada-Europe support
|
|
1
|
434
|
November 9, 2022
|