AdaCore
adacore.com
Upcoming events
No events
On demand events
TA
Introduction to Formal Verification with SPARK
בערך 1 שעה
Watch now
SH
Navigating Mars with Rust: Putting Rust to the Test with the M.A.R.S. Rover
בערך 1 שעה
Watch now
JA
ER
PB
TA
RA
1
What’s New in GNAT Pro: Key Features and Roadmap
בערך 1 שעה
Watch now
Past events
SE
TEST SEAN - CodeSonar: Finding the Needle in a Haystack
about 1 month ago
בערך 1 שעה
2025-10-30T16:00:00+0100
2025-11-03T18:00:00+0100
2025-11-04T18:00:00+0100
2025-10-30T16:00:00+0100
2025-11-03T18:00:00+0100
2025-11-04T18:00:00+0100
CodeSonar: Finding the Needle in a Haystack
about 1 month ago
בערך 1 שעה
2025-11-04T17:00:00+0100
2025-11-04T17:00:00+0100
ONBOARDING TEST - Navigating Mars with Rust: Putting Rust to the Test with the M.A.R.S. Rover - Copy - Copy
4 months ago
בערך 1 שעה
2025-08-06T16:02:00+0200
2025-08-06T16:02:00+0200
SH
TEST EVENT - Navigating Mars with Rust: Putting Rust to the Test with the M.A.R.S. Rover - Copy
5 months ago
בערך 1 שעה
2025-07-01T18:00:00+0200
2025-07-01T18:00:00+0200
ER
RA
PB
TA
JA
1
Test Event 1 - What’s New in GNAT Pro: Key Features and Roadmap
9 months ago
בערך 1 שעה ו-15 דקות
2025-03-01T18:45:00+0100
2025-03-03T11:30:00+0100
2025-03-04T14:00:00+0100
2025-03-05T15:00:00+0100
2025-03-01T18:45:00+0100
2025-03-03T11:30:00+0100
2025-03-04T14:00:00+0100
2025-03-05T15:00:00+0100