These pages contain announcements, calls for papers, calls for
participation, programs, etc., of events that may be of interest
for the Ada community world-wide.
This top-page lists recent changes and how to be kept informed;
the full event list for the Ada community
is available separately.
If you are only interested in Ada-Belgium events, check the
Ada-Belgium Events, Meetings and Conferences
page.
Changes/additions to the full list
made during the last month:
- 2024/05/13:
AEiC'2024 - Ada Developers Workshop
- 2024/05/13:
16th NASA Formal Methods Symposium (NFM'2024)
- 2024/05/13:
51st International Colloquium on Automata, Languages and Programming
(ICALP'2024)
- 2024/05/13:
22nd ACM/IEEE International Symposium on Formal Methods and Models
for System Design (MEMOCODE'2024)
- 2024/05/13:
12th European Congress on Embedded Real Time Systems (ERTS'2024)
- 2024/05/13:
24th International Conference on Runtime Verification (RV'2024)
- 2024/05/13:
29th IEEE Pacific Rim International Conference on Dependable
Computing (PRDC'2024)
- 2024/05/13:
ETAPS2025 - 24rd European Symposium on Programming (ESOP'2025)
- 2024/05/13:
20th European Conference on Computer Systems (EuroSys'2025)
- 2024/05/12:
AEiC'2024 - Ada Developers Workshop
- 2024/05/10:
Ada Monthly Meetup 2024 May
- 2024/05/10:
17th Cyber-Physical Systems and Internet of Things Week (CPS-IoT
Week'2024)
- 2024/05/10:
36th Euromicro Conference on Real-Time Systems (ECRTS'2024)
- 2024/05/10:
2024 International Conference on Software Engineering Research &
Development (SERD'2024)
- 2024/05/10:
45th IEEE Real-Time Systems Symposium (RTSS'2024)
- 2024/05/10:
20th International Conference on Formal Aspects of Component Software
(FACS'2024)
- 2024/05/10:
ICSM2024 - 12th IEEE Working Conference on Software Visualization
(VISSOFT'2024)
- 2024/05/10:
28th ETAPS International Joint Conferences on Theory and Practice of
Software (ETAPS'2025)
- 2024/05/10:
20th International Conference on High Performance and Embedded
Architecture and Compilation (HiPEAC'2025)
- There will be fewer regular updates for some time due to being
too busy with "Real Life (tm)",
and with
Ada-Belgium,
Ada-Europe,
ACM SIGAda,
ISO/IEC JTC1/SC22/WG9,
the next issue of the
Ada User Journal,
the
Ada-Europe International Conference series on Reliable Software
Technologies (AEiC),
the
28th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2024 aka Ada-Europe 2024),
the
Ada Developers Workshop
at AEiC 2024,
etc...
- 2024/04/24:
37th International Conference on Architecture of Computing Systems
(ARCS'2024)
- 2024/04/24:
STAF2024 - 17th International Conference on Graph Transformation
(ICGT'2024)
- 2024/04/24:
22nd ACM/IEEE International Symposium on Formal Methods and Models
for System Design (MEMOCODE'2024)
- 2024/04/24:
16th System Analysis and Modelling Conference (SAM'2024)
- 2024/04/24:
24th International Conference on Formal Methods in Computer-Aided
Design (FMCAD'2024)
- 2024/04/24:
33rd ACM SIGSOFT International Symposium on Software Testing and
Analysis (ISSTA'2024)
- 2024/04/24:
ETAPS2025 - 24rd European Symposium on Programming (ESOP'2025)
- 2024/04/24:
20th International Conference on High Performance and Embedded
Architecture and Compilation (HiPEAC'2025)
- 2024/04/20:
Ada Monthly Meetup 2024 May
- 2024/04/20:
43rd International Conference on Computer Safety, Reliability and
Security (SafeComp'2024)
- 2024/04/20:
AEiC'2024 - 9th Workshop on Challenges and New Approaches for
Dependable and Cyber-Physical System Engineering (De-CPS'2024)
- 2024/04/20:
19th International Federated Conference on Distributed Computing
Techniques (DisCoTec'2024)
- 2024/04/17:
28th Ada-Europe International Conference on Reliable Software
Technologies (AEiC'2024)
- 2024/04/17:
36th International Conference on Computer-Aided Verification
(CAV'2024)
- 2024/04/15:
19th International Conference on Software Engineering Advances
(ICSEA'2024)
- 2024/04/13:
22nd Asian Symposium on Programming Languages and Systems
(APLAS'2024)
- 2024/04/13:
22nd International Conference on Software Engineering and Formal
Methods (SEFM'2024)
- 2024/04/11:
30th International European Conference on Parallel and Distributed
Computing (Euro-Par'2024)
- 2024/04/11:
21st International Symposium on Automated Technology for
Verification and Analysis (ATVA'2024)
- 2024/04/11:
38th European Conference on Object-Oriented Programming
(ECOOP'2024)
- 2024/04/11:
FM2024 - 18th International Conference on Tests And Proofs
(TAP'2024)
- 2024/04/11:
39th IEEE/ACM International Conference on Automated Software
Engineering (ASE'2024)
- 2024/04/11:
19th International Conference on integrated Formal Methods
(iFM'2024)
- 2024/04/10:
35th International Conference on Concurrency Theory
(CONCUR'2024)
- 2024/04/10:
31st Static Analysis Symposium (SAS'2024)
- 2024/04/10:
29th International Conference on Formal Methods for Industrial
Critical Systems (FMICS'2024)
- 2024/04/10:
26th International Symposium on Formal Methods (FM'2024)
- 2024/04/10:
22nd International Conference on Formal Modeling and Analysis of
Timed Systems (FORMATS'2024)
- 2024/04/10:
20th International Conference on High Performance and Embedded
Architecture and Compilation (HiPEAC'2025)
- 2024/04/09:
17th Cyber-Physical Systems and Internet of Things Week (CPS-IoT
Week'2024)
- 2024/04/09:
32nd ACM International Conference on the Foundations of Software
Engineering (FSE'2024)
- 2024/04/09:
24th International Conference on Runtime Verification (RV'2024)
- 2024/04/09:
45th IEEE Real-Time Systems Symposium (RTSS'2024)
- 2024/04/03:
Ada Monthly Meetup 2024 March
- 2024/04/03:
Ada Monthly Meetup 2024 April
- 2024/04/03:
36th Euromicro Conference on Real-Time Systems
(ECRTS'2024)
- 2024/04/03:
AEiC'2024 - Ada Developers Workshop
- 2024/04/03:
SPLASH2024 - Conference on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA'2024)
- 2024/04/03:
CPSWeek2024 - 29th IEEE Real-Time and Embedded Technology and
Applications Symposium (RTAS'2024)
- 2024/04/03:
50th Euromicro Conference on Software Engineering and Advanced
Applications (SEAA'2024)
- 2024/04/03:
Embedded Systems Week 2024 (ESWEEK'2024)
- There will be fewer regular updates for some time due to being
too busy with "Real Life (tm)",
and with
Ada-Belgium,
Ada-Europe,
ACM SIGAda,
ISO/IEC JTC1/SC22/WG9,
the next issue of the
Ada User Journal,
the
Ada-Europe International Conference series on Reliable Software
Technologies (AEiC),
the
28th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2024 aka Ada-Europe 2024),
the
Ada Developers Workshop
at AEiC 2024,
etc...
- 2024/03/07:
33rd International ACM Symposium on High-Performance Parallel and
Distributed Computing (HPDC'2024)
- 2024/03/07:
50th Euromicro Conference on Software Engineering and Advanced
Applications (SEAA'2024)
- 2024/03/06:
Ada Monthly Meetup 2024
- 2024/03/06:
AEiC'2024 - Ada Developers Workshop
- 2024/03/06:
37th International Conference on Architecture of Computing Systems
(ARCS'2024)
- 2024/03/06:
19th International Conference on Availability, Reliability and Security
(ARES'2024)
- No regular updates for some time. Sorry...
- 2024/02/16:
28th Ada-Europe International Conference on Reliable Software
Technologies (AEiC'2024)
- 2024/02/15:
17th International Summer School on Software Engineering
(ISSSE'2024)
- 2024/02/15:
18th International Symposium on Theoretical Aspects of Software
Engineering (TASE'2024)
- 2024/02/15:
28th ACM International Systems and Software Product Line Conference
(SPLC'2024)
- 2024/02/15:
35th IEEE International Symposium on Software Reliability
Engineering (ISSRE'2024)
- 2024/02/15:
20th European Informatics Leaders Summit (ECSS'2024)
- 2024/02/13:
ETAPS2024 - 8th Workshop on Learning in Verification (LiVe'2024)
- 2024/02/13:
36th Euromicro Conference on Real-Time Systems (ECRTS'2024)
- 2024/02/13:
19th International Federated Conference on Distributed Computing
Techniques (DisCoTec'2024)
- 2024/02/13:
43rd International Conference on Computer Safety, Reliability and
Security (SafeComp'2024)
- 2024/02/12:
International Conference on Advances in Parallel and Distributed
Computing (APDC'2024)
- 2024/02/12:
51st International Colloquium on Automata, Languages and Programming
(ICALP'2024)
- 2024/02/12:
20th European Informatics Leaders Summit (ECSS'2024)
- 2024/02/10:
CPSWeek2024 - 15th ACM/IEEE International Conference on
Cyber-Physical Systems (ICCPS'2024)
- 2024/02/10:
36th International Conference on Computer-Aided Verification
(CAV'2024)
Announcements of
past events
remain available for some time (as disk space permits).
To the Ada-Belgium home page.
Last update: 2024/05/13.
Dirk Craeynest