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:
- 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)
- 2024/02/09:
ACM/IEEE International Symposium on Code Generation and Optimization
(CGO'2024)
- 2024/02/09:
CAiSE2024 - 29th International Conference on Exploring Modeling
Methods for Systems Analysis and Development (EMMSAD'2024)
- 2024/02/09:
29th European Conference on Pattern Languages of Programs
(EuroPLoP'2024)
- 2024/02/09:
12th International Conference on Cyber-Physical Systems and
Internet-of-Things (CPS&IoT'2024)
- 2024/02/09:
33rd ACM SIGSOFT International Symposium on Software Testing and
Analysis (ISSTA'2024)
- 2024/02/09:
47th International Conference on Software Engineering
(ICSE'2025)
- 2024/02/09:
33rd ACM International Conference on the Foundations of Software
Engineering (FSE'2025)
- 2024/02/09:
17th International Conference on Verification and Evaluation of Computer
and Communication Systems (VECoS'2024)
- 2024/02/07:
37th International Conference on Architecture of Computing Systems
(ARCS'2024)
- 2024/02/06:
15th ACM/SPEC International Conference on Performance Engineering
(ICPE'2024)
- 2024/02/06:
20th International Conference on Formal Aspects of Component
Software (FACS'2024)
- 2024/02/06:
28th Ada-Europe International Conference on Reliable Software
Technologies (AEiC'2024)
- 2024/02/05:
ETAPS2024 - Mentoring Workshop 2024
- 2024/02/05:
19th International Conference on Availability, Reliability and
Security (ARES'2024)
- 2024/02/05:
DisCoTec2024 - 26th International Conference on Coordination Models
and Languages (Coordination'2024)
- 2024/02/05:
DisCoTec2024 - 44th International Conference on Formal Techniques for
Distributed Objects, Components and Systems (FORTE'2024)
- 2024/02/03:
27th European Joint Conferences on Theory and Practice of Software
(ETAPS'2024)
- 2024/02/03:
36th International Conference on Software Engineering Education and
Training (CSEET'2024)
- 2024/02/03:
19th International Federated Conference on Distributed Computing
Techniques (DisCoTec'2024)
- 2024/02/02:
25th International Conference on Agile Software Development
(XP'2024)
- 2024/02/02:
PLDI24 - 25th ACM SIGPLAN/SIGBED International Conference on
Languages, Compilers, Tools and Theory of Embedded Systems
(LCTES'2024)
- 2024/01/31:
IPDPS2024 - 25th IEEE International Workshop on Parallel and
Distributed Scientific and Engineering Computing (PDSEC-2024)
- 2024/01/31:
DisCoTec2024 - 17th Interaction and Concurrency Experience Workshop
(ICE'2024)
- 2024/01/29:
33rd ACM SIGPLAN International Conference on Compiler Construction
(CC'2024)
- 2024/01/29:
10th International Conference on Advances and Trends in Software
Engineering (SOFTENG'2024)
- 2024/01/29:
20th European Conference on Modelling Foundations and Applications
(ECMFA'2024)
- 2024/01/29:
30th International European Conference on Parallel and Distributed
Computing (Euro-Par'2024)
- 2024/01/29:
17th International Conference on the Quality of Information and
Communications Technology (QUATIC'2024)
- 2024/01/29:
18th International Symposium on Theoretical Aspects of Software
Engineering (TASE'2024)
- 2024/01/29:
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'2024)
- 2024/01/25:
37th International Conference on Architecture of Computing Systems
(ARCS'2024)
- 2024/01/25:
36th Euromicro Conference on Real-Time Systems (ECRTS'2024)
- 2024/01/25:
29th International Conference on Formal Methods for Industrial
Critical Systems (FMICS'2024)
- 2024/01/25:
19th International Conference on Availability, Reliability and
Security (ARES'2024)
- 2024/01/25:
18th European Conference on Software Architecture (ECSA'2024)
- 2024/01/22:
19th European Conference on Computer Systems (EuroSys'2024)
- 2024/01/22:
18th International Symposium on Theoretical Aspects of Software
Engineering (TASE'2024)
- 2024/01/22:
18th International Conference on Software and Systems Processes
(ICSSP'2024)
- 2024/01/20:
36th International Conference on Software Engineering Education and
Training (CSEET'2024)
- 2024/01/20:
26th International Symposium on Formal Methods (FM'2024)
Announcements of
past events
remain available for some time (as disk space permits).
To the Ada-Belgium home page.
Last update: 2024/03/07.
Dirk Craeynest