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(s):
2026/09/26:
High Integrity Software Conference (HISC'2026)
2026/09/26:
SAC2027 - 22nd Track on Dependable, Adaptive, and Secure Distributed
Systems (DADS'2027)
2026/09/23:
FSTTCS - Workshop on Research Highlights in Programming Languages
(RHPL'2026)
2026/09/23:
39th International Conference on Computer-Aided Verification
(CAV'2027)
2026/09/23:
49th IEEE/ACM International Conference on Software Engineering
(ICSE'2027)
2026/09/23:
ICSE2027 - 15th International Conference on Formal Methods in
Software Engineering (FormaliSE'2027)
2026/09/23:
30th ETAPS International Joint Conferences on Theory and Practice of
Software (ETAPS'2027)
2026/09/23:
19th NASA Formal Methods Symposium (NFM'2027)
2026/09/02:
29th Forum on specification & Design Languages (FDL'2026)
2026/09/02:
26th International Conference on Runtime Verification (RV'2026)
2026/09/02:
28th International Conference on Verification, Model Checking, and
Abstract Interpretation (VMCAI'2027)
2026/09/02:
20th IEEE International Conference on Software Testing, Verification
and Validation (ICST'2027)
2026/09/02:
54th EATCS International Colloquium on Automata, Languages and
Programming (ICALP'2027)
2026/08/21:
20th Innovations in Software Engineering Conference (ISEC'2027)
2026/08/20:
18th ACM/SPEC International Conference on Performance Engineering
(ICPE'2027)
2026/08/19:
12th International Symposium on Dependable Software Engineering:
Theories, Tools and Applications (SETTA'2026)
2026/08/19:
22nd European Dependable Computing Conference (EDCC'2027)
2026/08/19:
20th Cyber-Physical Systems and Internet of Things Week (CPS-IoT
Week'2027)
2026/08/19:
46th Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS'2026)
2026/08/17:
47th IEEE Real-Time Systems Symposium (RTSS'2026)
2026/08/17:
CPSWeek2027 - 33rd IEEE Real-Time and Embedded Technology and
Applications Symposium (RTAS'2027)
2026/08/17:
28th International Conference on Verification, Model Checking, and
Abstract Interpretation (VMCAI'2027)
2026/08/14:
High Integrity Software Conference (HISC'2026)
2026/08/14:
34th International Conference on Real-Time Networks and Systems
(RTNS'2026)
2026/08/14:
41st European COnference On Programming (ECOOP'2027)
No regular updates for some time. Sorry...
2026/07/30:
ACM/IEEE 29th International Conference on Model Driven Engineering
Languages and Systems (MODELS'2026)
2026/07/30:
39th International Conference on Computer-Aided Verification
(CAV'2027)
2026/07/29:
Embedded Systems Week 2026 (ESWEEK'2026)
2026/07/26:
47th IEEE Real-Time Systems Symposium (RTSS'2026)
2026/07/26:
CPSWeek2027 - 33rd IEEE Real-Time and Embedded Technology and
Applications Symposium (RTAS'2027)
2026/07/26:
49th IEEE/ACM International Conference on Software Engineering
(ICSE'2027)
2026/07/26:
12th International Conference on Fundamentals of Software
Engineering (FSEN'2027)
2026/07/24:
29th Brazilian Symposium on Formal Methods (SBMF'2026)
2026/07/23:
31st European Symposium on Research in Computer Security
(ESORICS'2026)
2026/07/22:
26th International Conference on Runtime Verification (RV'2026)
2026/07/22:
High Integrity Software Conference (HISC'2026)
2026/07/22:
25th Belgium-Netherlands Software Evolution Workshop
(BENEVOL'2026)
2026/07/22:
54th EATCS International Colloquium on Automata, Languages and
Programming (ICALP'2027)
2026/07/16:
5th Summer School on Security Testing and Verification
(ST&V'2026)
2026/07/16:
27th International Conference on Product-Focused Software Process
Improvement (PROFES'2026)
2026/07/15:
CONFEST umbrella conference (CONFEST'2026)
No regular updates for some time. Sorry...
2026/06/11:
31st Ada-Europe International Conference on Reliable Software
Technologies (AEiC'2027)
Announcements of
past events
remain available for some time (as disk space permits).
To the Ada-Belgium home page.
Last update: 2026/09/26.
Dirk Craeynest