Conferences and events for the international Ada community
This is a list of announcements, calls for papers, calls for
participation, programs, etc., of events that may be of interest
for the Ada community world-wide.
If you are only interested in Ada-Belgium events, check the
Ada-Belgium Events, Meetings and Conferences
page.
If you want an overview of what's new, check this
list of recent changes and additions.
Periodically, a list of European and large world-wide events is
extracted here and reprinted in the "Conference Calendar" section of the
Ada User Journal.
![[Ada focus]](/~dirk/.image/ladyada-circle.gif)
and
![[Ada related]](/~dirk/.image/ladyada-icon2.gif)
indicate events resp. with a strong Ada focus and with topic(s) where
Ada has a strong advantage, in other words: consider attending or
submitting proposals there!
![[NEW!]](/~dirk/.image/new.gif)
![[NEW]](/~dirk/.image/new-s.gif)
and
![[UPDATE]](/~dirk/.image/upd-s.gif)
indicate recently added or modified entries
(i.e., within the last few weeks).
Announcements of
past events
remain available for (quite) some time (as disk space permits).
Copyright © 1994-2025 by
Dirk Craeynest
All Rights Reserved.
Major annual Ada-related events
2025
Brussels, Belgium
FOSDEM 2025 is a two-day event (Sat-Sun 1-2 Feb), held in hybrid mode.
This year's edition includes once more an Ada Developer Room, held on
Sunday morning 2 February,
and organized in cooperation with Ada-Belgium and Ada-Europe.
Deadline for submissions: November 30, 2024 (presentation
proposals)
Rennes, France
Topics include: variability across the software lifecycle, test and
verification of variable systems, evolution of variability-intensive
systems, runtime variability, variability mining, reverse-engineering of
variability, economic aspects of variability, variability and quality
requirements, industrial development of variable systems, experience
reports from managing variability in practice, etc.
Deadline for submissions: October 25, 2024 (abstracts), November 1,
2024 (papers)
Kurukshetra, India
Topics include: architecture and design, formal methods for software
engineering, industrial aspects of software engineering, security and
trustworthy computing, software development tools, software engineering
education, testing, program analysis, program synthesis, etc.
Deadline for submissions: July 19, 2024 (papers 1st round),
September 20, 2024 (papers 2nd round)
Karlsruhe, Germany
Event includes workshops: Automotive Software Engineering (ASE'25), 7th
Workshop on Avionics Systems and Software Engineering (AvioSE'25),
Working Workshop on Research Data Management for and in Software
Engineering (RDMxSE'25), 9th Workshop on Software Engineering for
Cyber-Physical Production Systems (SECPPS'25), etc.
Deadline for submissions: October 28, 2024 (scientific
contributions, workshop contributions, student research
contributions)
Internet
New edition of the monthly online meeting to gather the Ada community,
see each other, talk about some things, and let people present or
showcase their work and discuss the news.
Las Vegas, USA
Deadlines for paper submissions: May 30, 2024 (1st round), September
12, 2024 (2nd round)
Deadline for early registration: January 31, 2025
Montréal, Québec, Canada
Topics include: software tools for software evolution and maintenance;
software analysis, parsing, and fact extraction; software reverse
engineering and reengineering; program comprehension; software evolution
analysis; software architecture recovery and reverse architecting;
program transformation and refactoring; mining software repositories and
software analytics; software reconstruction and migration; software
maintenance and evolution; program repair; software release engineering,
continuous integration and delivery; empirical studies on all the above
topics; education related to all of the above topics; etc.
Deadline for submissions: October 4, 2024 (research track
abstracts), October 11, 2024 (research track papers), November 1, 2024
(industrial track abstracts, Reproducibility Studies and Negative
Results (RENE) track abstracts), November 4, 2024 (short papers and
posters track abstracts, Early Research Achievement (ERA) track
abstracts), November 6, 2024 (registered report track), November 8, 2024
(industrial track papers, Reproducibility Studies and Negative Results
(RENE) track papers), November 11, 2024 (short papers and posters track
papers, Early Research Achievement (ERA) track papers, tool demo track
papers), November 17-22, 2024 (workshop paper abstracts), November 8-29,
2024 (workshop papers), December 3, 2024 (Journal-First track
papers)
Turin, Italy
Topics include: embedded parallel systems; dependability, survivability,
fault-tolerance; programming languages, compilers, middleware; runtime,
systems software; performance prediction and analysis; simulation and
modeling of parallel/distributed systems; etc.
Deadline for submissions: November 5, 2024 (abstracts), November 12,
2024 (papers)
Rotterdam, the Netherlands
Co-located with ASPLOS'2025
Topics include: all areas of computer systems research, such as
distributed systems, language support and runtime systems, systems
security and privacy, dependable systems, analysis, testing and
verification of systems, parallelism, concurrency, and multicore
systems, real-time, embedded, and cyber-physical systems, etc.
Spring deadline for submissions: May 14, 2024 (abstracts), May 21,
2024 (submissions). Fall deadline for submissions: October 15, 2024
(abstracts), October 22, 2024 (submissions).
Deadline for registration: March 3, 2025 (early), March 17, 2025
(regular)
Catania, Italy
Topics include: latest developments, trends, experiences, and challenges
in applied computing. 42 specialized tracks, including: cyber-physical
systems; dependable, adaptive, and secure distributed systems; embedded
system; IoT and edge computing; interoperability; programming languages;
software engineering; computer security; software verification and
testing; etc.
Deadline for submissions: September 10, 2024 (papers)
-
2025/03/31-04/04:
SAC2025 - Track on Programming Languages (PL'2025)
Topics include: technical ideas and experiences relating to
implementation and application of programming languages, such as
compiling techniques, domain-specific languages, garbage collection,
language design and implementation, languages for modeling,
model-driven development, new programming language ideas and concepts,
practical experiences with programming languages, program analysis and
verification, etc.
Deadline for submissions: October 4, 2024 (full papers), January
9, 2025 (student travel award program application)
Deadline for author registration: December 6, 2024
-
2025/03/31-04/04:
SAC2025 - Software Verification and Testing Track (SVT'2025)
Topics include: new results in formal verification and testing,
technologies to improve the usability of formal methods in software
engineering, applications of mechanical verification to large scale
software, model checking, correct by construction development,
model-based testing, software testing, static and dynamic analysis,
abstract interpretation, analysis methods for dependable systems,
software certification and proof carrying code, fault diagnosis and
debugging, verification and validation of large scale software
systems, real world applications and case studies applying software
testing and verification, etc.
Deadline for submissions: October 13, 2024 (regular papers,
student research competition research abstracts)
-
2025/03/31-04/04:
SAC2025 - 20th Track on Dependable, Adaptive, and Secure Distributed
Systems (DADS'2025)
Topics include: Dependable, Adaptive, and secure Distributed Systems
(DADS); modeling, design, and engineering of DADS; foundations and
formal methods for DADS; applications of DADS; etc.
Deadline for paper submissions: October 4, 2024
Odense, Denmark
Topics include: linking architecture to requirements and/or
implementation; methods to address the intertwining of specification and
design; model-driven architecture; component-based software engineering;
architecture frameworks and architecture description languages;
evaluating quality aspects (e.g., security, performance, reliability,
evolvability); automatic extraction and generation of software
architecture descriptions; architecture & continuous
integration/delivery, and DevOps; refactoring and evolving architecture
design decisions and solutions; roles and responsibilities for software
architects; training, soft skills, coaching, mentoring, education, and
certification; etc.
Deadline for submissions: June 30, 2024 (OC/PC self-nominations),
September 23, 2024 (workshops), November 8, 2024 (abstracts), November
15, 2024 (full papers), December 20, 2024 (workshop papers)
Naples, Italy
Topics include: formal verification; replications, empirical studies,
case studies, experience reports; software reliability; static and
dynamic analysis; test automation; testability, test design, and
adequacy criteria; testing and development processes; testing,
debugging, and repair tools; testing in specific domains
(embedded/cyber-physical systems, concurrent, distributed, real-time
systems, ...); testing of non-functional properties such as security;
etc.
Deadline for submissions: September 25, 2024 (abstracts), October 2,
2024 (full papers), January 3, 2025 (workshop papers)
London, UK
Topics include: any topic related to programming languages.
Deadline for submissions: mid February 2025
Downtown Oklahoma City, OK, USA & Online
Topics include: parallel computing; parallel/distributed applications;
programming models/benchmarks/tools; formal methods and theoretical
foundations; parallel, distributed, and concurrent systems; etc.
Deadline for submissions: January 19, 2025 (abstracts, papers)
Internet
New edition of the monthly online meeting to gather the Ada community,
see each other, talk about some things, and let people present or
showcase their work and discuss the news.
Västerås, Sweden
Topics include: all aspects of formal methods, especially those related
to advancing the application of formal methods in the software industry
and promoting their integration with practical engineering techniques;
models of programs and software systems; software specification,
validation, and verification; software testing; software architectures
and their description languages; integration of formal and informal
methods; component-based and service-oriented software systems;
cyber-physical software systems; model checking and theorem proving;
software verification; CASE tools and tool integration; industrial
applications; etc.
Deadline for submissions: October 7, 2024 (abstracts), October 14,
2024 (papers)
Deadline for early registration: January 31, 2025 (paper presenters,
participants), February 21, 2025 (poster presenters)
Barcelona, Spain
Theme: "Social REsponsibility"
Deadline for submissions: October 25, 2024 (workshops), November 1,
2024 (research paper abstracts), November 8, 2024 (research papers),
February 7, 2025 (papers to workshops, education and training, posters
and tools, and doctoral symposium)
Lisbon, Portugal
Topics include: latest ideas and results on theory, experiments,
techniques, systems and tools for the design, validation, operation and
evaluation of dependable and secure computing systems; hardware and
software architecture of dependable systems; dependability and security
modelling, evaluation, and tools; safety-critical systems design and
analysis; mixed-criticality systems design and evaluation; testing and
validation methods; dependability and security of: artificial
intelligence systems, cyber-physical systems, e.g. intelligent vehicles,
(industrial) Internet of Things, ...; etc.
Deadline for submissions: September 30, 2024 (abstracts), October 7,
2024 (full papers)
Kiel, Germany
Theme: "Mastering novel HPC chip architectures"
Topics include: distributed systems; architectures for real-time and
mixed-criticality systems; programming models and runtime environments;
hypervisors and middleware for homogeneous and heterogeneous
multi-/many-core computing platforms; system management including but
not limited to scheduling, memory management, RTOS, ...; domain-specific
languages and programming models; mixed-criticality systems; support for
safety and security; etc.
Deadline for submissions: February 9, 2025 (papers)
Ottawa, Canada
Co-located with ICSE'2025
Topics include: human activities for comprehending the software as well
as methodologies and technologies for supporting such comprehension.
Ottawa, Canada
Co-located with ICSE'2025
Theme: "AI in support of Intelligent Reuse"
Topics include: new and innovative research results and industrial
experience reports dealing with all aspects of software reuse within the
context of the modern software development landscape, such as technical
aspects of reuse (variability management and software product lines; new
language abstractions for software reuse; open-source reuse and mining
strategies in open-source repositories; strategies and novel approaches
for modularization; sustainabile software reuse approaches; quality of
reusable assets, quality gates, and technical debt; use of LLM models
and tools to support the reuse process; AI/ML techiques for smart reuse;
...); software reuse in industry and in emerging domains (reuse success
stories, failures and lessons learned in industry; reuse obstacles,
success factors, and Return on Investment (ROI) studies in companies;
strategies to increase and reuse large software projects and lessons
learned; ...).
Deadline for submissions: November 18, 2024 (abstracts), December 3,
2024 (full papers)
Deadline for early registration: February 18, 2025
Ottawa, Ontario, Canada
Topics include: the full spectrum of Software Engineering (SE),
trustworthy AI for SE; AI-assisted software design and model driven
engineering; mining software repositories; software metrics (and
measurements); software design methodologies, principles, and
strategies; architecture quality attributes, such as security, privacy,
performance, reliability; modularity and reusability; dependency and
complexity analysis; patterns and anti-patterns; technical debt in
design and architecture; formal methods and model checking; reliability,
availability, and safety; resilience and antifragility; design for
dependability and security; vulnerability detection to enhance software
security; dependability and security for embedded and cyber-physical
systems; evolution and maintenance; API design and evolution; software
reuse; refactoring and program differencing; program comprehension;
reverse engineering; environments and software development tools; human
and social aspects (focusing on programming languages, environments, and
tools supporting individuals, teams, communities, and companies;
focusing on software development processes; ...); modeling and
model-driven engineering; variability and product lines; modeling
languages, techniques, and tools; empirical studies on the application
of model-based engineering; software testing; automated test generation
techniques such as fuzzing, search-based approaches, and symbolic
execution; testing and analysis of non-functional properties; program
analysis; debugging and fault localization; runtime analysis and/or
error recovery; etc.
Deadline for submissions: October 31, 2023 (PC self-nomination),
March 15, 2024 (1st cycle abstracts), March 22, 2024 (1st cycle
submissions), June 15, 2024 (workshops), July 24, 2024 (showdow PC
self-nomination), July 26, 2024 (2nd cycle abstracts), August 2, 2024
(2nd cycle submissions), October 1 - November 19, 2024 (abstracts
co-located conferences), October 8 - December 6, 2024 (papers co-located
conferences), October 21, 2024 (TCSE Award nomination intention),
October-November, 2024 (special tracks), November 4, 2024 (TCSE Award
nomination), November 11, 2024 (workshop papers)
Deadline for early registration: February 18, 2025
-
2025/04/27-28:
ICSE2025 - 13th International Conference on Formal Methods in Software
Engineering (FormaliSE'2025)
Topics include: approaches, methods and tools for verification and
validation; formal approaches to safety and security related issues;
scalability of formal method applications; integration of formal
methods within the software development lifecycle; model-based
engineering approaches; correctness-by-construction approaches for
software and systems engineering; application of formal methods to
specific domains, e.g., autonomous, cyber-physical, intelligent, and
IoT systems; formal methods in a certification context; case studies
developed/analyzed with formal approaches; experience reports on the
application of formal methods to real-world problems; guidelines to
use formal methods in practice; usability of formal methods; etc.
Deadline for submissions: November 11, 2024 (abstracts), November
18, 2024 (papers)
Deadline for early registration: February 18, 2025
-
2025/05/03:
ICSE2025 - 13th ACM/IEEE International Workshop on Software
Engineering for Systems-of-Systems and Software Ecosystems
(SESoS'2025)
Deadline for submissions: November 21, 2024
-
2025/05/03:
ICSE2025 - 2nd Workshop on Integrated Development Environments
(IDE'2025)
Topics include: the development of plugins, add-ons, and extensions
for IDEs; improving various IDE features, such as automated
refactorings, quick fixes, ...; program and static analysis inside
IDE; visualizations in IDEs; etc.
Deadline for submissions: November 18, 2024
Ottawa, Ontario, Canada
Co-located with ICSE'2025
Topics include: all dimensions of learning and teaching in the area of
software engineering.
Deadline for submissions: October 3, 2024 (abstracts), October 10,
2024 (papers)
![[CA]](/~dirk/.face/ca.gif)
2025/04/27-05/03:
47th International Conference on Software Engineering (ICSE'2025)
Ottawa, Ontario, Canada
Hamilton, Canada
Deadline for submissions: July 18, 2024 (satellite events), October
10, 2024 (TACAS, FoSSaCS, FASE), October 24, 2024 (TACAS artifacts),
January 9, 2025 (FASE, FoSSaCS artifacts), January 15, 2025 (nominations
ETAPS Doctoral Dissertation Award)
-
2025/05/04:
ETAPS2025 - 16th Workshop on Programming Language Approaches to
Concurrency- and communication-cEntric Software (PLACES'2025)
Topics include: general area of programming language approaches to
concurrency, communication and distribution, ranging from foundational
issues, through language implementations, to applications and case
studies; design and implementation of programming languages with first
class concurrency and communication primitives; models for concurrent
and distributed systems; concurrent data types, objects and actors;
verification and program analysis methods for safe and secure
concurrent and distributed software; etc.
Deadline for submissions: February 20, 2025 (abstracts), February
28, 2025 (papers)
-
2025/05/04:
ETAPS2025 - 1st International Workshop on Verification of Scientific
Software (VSS'2025)
Topics include: ways to specify scientific software; effective
verification techniques for programs that use concurrency interfaces
in scientific computing; precise reasoning about floating-point
computations; case studies applying verification tools to scientific
software; methods to decompose verification problems for scientific
programs, such as function contracts; etc.
Deadline for submissions: February 1, 2025
-
2025/05/04:
ETAPS2025 - Mentoring Workshop 2025
Deadline for early registration: April 1, 2025
-
2025/05/05-08:
ETAPS2025 - 24rd European Symposium on Programming (ESOP'2025)
Topics include: fundamental issues in the specification, design,
analysis, and implementation of programming languages and systems,
such as programming paradigms and styles, methods and tools to specify
and reason about programs and languages, programming language
foundations, methods and tools for implementation, concurrency and
distribution, etc.
Deadline for submissions: May 30, 2024 (round 1), October 10, 2024
(round 2)
-
2025/05/07-08:
ETAPS2025 - 31st International Symposium on Model Checking of Software
(SPIN'2025)
Topics include: automated tool-based techniques for the analysis of
software as well as models of software, for the purpose of
verification and validation.
Deadline for submissions: February 13, 2025, February 27, 2025
(tool artifacts), April 7, 2025 (non-tool artifacts)
Toronto, Canada
Deadline for submissions: October 4, 2024 (workshops), October 18,
2024 (research track abstracts, industry track abstracts), October 25,
2024 (research track papers, industry track papers), January 8, 2025
(emerging research track), January 10-24, 2025 (workshop papers),
January 15, 2025 (journal first, artifact track, posters and demos,
tutorials, data challenge), February 2, 2025 (industry
presentations)
Deadline for registration: March 10, 2025 (early), March 21, 2025
(regular), May 5, 2025 (late/onsite)
Irvine, USA
Event includes: 5 top conferences, HSCC, ICCPS, IoTDI, IPSN, and RTAS,
as well as poster and demo sessions, workshops, tutorials, competitions,
industrial exhibitions, PhD forums, and summits.
Deadline for submissions: February 29, 2024 (hosting
pre-proposals)
-
2025/05/06-09:
CPSWeek2025 - 31st IEEE Real-Time and Embedded Technology and
Applications Symposium (RTAS'2025)
Topics include: applications with timing requirements; real-time and
embedded operating systems; application profiling, WCET analysis,
compilers, tools, benchmarks and case studies; modelling languages,
modelling methods, model learning, model validation and calibration;
scheduling and resource allocation; schedulability and response time
analyses; verification and validation methodologies; etc.
Deadline for submissions: November 14, 2024 (papers), February 18,
2025 (brief presentations)
Deadline for early registration: April 2, 2025
-
2025/05/06-09:
CPSWeek2025 - 16th ACM/IEEE International Conference on Cyber-Physical
Systems (ICCPS'2025)
Topics include: safety and resilience for CPS; software platforms and
systems for CPS; specification languages and requirements; design,
optimization, and synthesis; testing, verification, certification,
assurance; security, trust, and privacy in CPS; tools, testbeds,
demonstrations and deployments; CPS applications in power systems,
infrastructure networks, transportation, healthcare, automotive,
aerospace, etc.
Deadline for submissions: November 7, 2024 (abstracts), November
14, 2024 (papers), February 7, 2025 (posters, demos)
Deadline for early registration: April 2, 2025
Annapolis, Maryland, USA
Topics include: use of advanced languages and tools, etc.
Deadline for submissions: January 13, 2025 (abstracts)
Ciudad Real, Spain
Topics include: community-based software engineering (SE) (e.g., open
source, crowdsourcing); ethics in SE; industrial experience reports in
SE; software architecture and variability; software ecosystems and
systems of systems; SE education and training; SE for emerging
application domains (cyber-physical systems, Internet of Things, ...);
software evolution and modernisation; software modeling and model-driven
engineering; software processes; software product lines and processes;
software quality, quality models and technical debt management; software
reliability; software repository mining and software analytics; software
reuse; software testing; etc.
Deadline for submissions: January 17, 2025 (abstracts), January 31,
2025 (papers, doctoral symposium, journal first)
Nice, France
Topics include: software designing and production; software reuse;
software sustainability; software testing and validation; maintenance
and life-cycle management; software reliability, robustness, safety;
software security; challenges for dedicated software, platforms, and
tools; etc.
Deadline for submissions: February 4, 2025
Atlanta, Georgia, USA
Topics include: tools and approaches for automatic validation and
verification of robot software architectures, language- and model-based
approaches for designing robot software architectures, etc.
Deadline for submissions: March 16, 2025 (extended abstracts)
Munich, Germany
Theme: "Balancing Software Innovation and Regulatory Compliance"
Topics include: all topics related to software and systems quality;
methods and tools for constructive and analytical quality assurance;
testing of software and software-intensive systems; process improvement
for development and testing; automation in quality assurance and
testing; domain-specific quality issues such as embedded, medical, and
automotive systems; continuous integration, deployment, and delivery;
project and risk management; secure coding, software engineering, and
system design; detection and prevention of vulnerabilities and security
threats; etc.
Deadline for submissions: October 31, 2024
Toulouse, France
Topics include: all aspects of object real-time distributed computing
(ORC) technology; such as software architectures for distributed and/or
real-time computing; cybersecurity, and trust for distributed and/or
real-time IoT systems; formal verification and model checking for
distributed and real-time computing; dependability, fault tolerance, and
resilience; distributed and/or real-time computing applications in IoT,
CPS, edge-cloud, etc.
Deadline for submissions: January 15, 2025 (workshops), February 2,
2025 (papers)
Bertinoro, Italy
Topics include: current research and future trends in programming
language design and implementation, such as compiler and allocator
optimisations, human and design factors in language design and
implementation, language security and interactions with hardware, etc.
Cagliari, Italy
Topics include: distributed systems; IoT, CPS, edge and embedded
computing systems; system software and runtime frontiers; compilers and
optimizations for heterogeneous systems; designing for scale and
performance; security and privacy, impact of quantum and AI;
reliability, resiliency and dependability; etc.
Deadline for submissions: January 13, 2025 (abstracts), January 20,
2025 (papers)
Las Vegas, USA
Topics include: software testing and analysis; software requirements,
modeling and design; software security and privacy; parallel and
distributed computing; software evolution and understanding; software
engineering education; embedded/ cyber-physical systems; Internet of
Things (IoT); software architecture; SW architecture description
language; object-oriented SW engineering with UML; software metrics and
measurements; software architecture design tools; software engineering
tools and techniques; agile development; etc.
Deadline for submissions: January 10, 2025 (workshops, special
sessions), February 21, 2025 (full papers)
![[CZ]](/~dirk/.face/cz.gif)
2025/06/02-06:
International Conference on the Art, Science, and Engineering of
Programming (Programming'2025)
Prague, Czech Republic
-
2025/06/02:
Programming2025 - 9th Workshop on Modern Language Runtimes and
Ecosystems (MoreVMS'2025)
Topics include: design, implementation, and usage of modern languages
and runtimes; interoperability between languages, tooling support
(e.g. debugging, profiling, etc.), programming language development
environments, case studies of existing language implementation
approaches, language implementation challenges and trade-offs, surveys
and usage reports to understand usage in the wild, ideas for how we
should build languages in the future, etc.
Deadline for submissions: March 25, 2023 (extended abstracts,
talks)
Brugg-Windisch, Switzerland
Deadline for submissions: December 1, 2024 (research workshops),
January 19, 2025 (research paper abstracts), January 26, 2025 (research
papers, Industry and Practice submissions, experience reports, Agile
Training and Education submissions), March 1, 2025 (workshop papers),
March 12, 2025 (posters)
Milan, Italy
Topics include: research in high performance computing in parallel and
distributed processing; real-world applications that use parallel and
distributed computing concepts; experiments and performance-oriented
studies in the practice of parallel and distributed computing;
programming models, compilers, and runtime systems (ranging from the
design of parallel programming models and paradigms, to languages and
compilers supporting these models and paradigms, to runtime and
middleware solutions); etc.
Deadline for submissions: October 3, 2024 (abstracts), October 10,
2024 (papers), January 17 - February 14, 2025 (workshop papers)
Paris, France
#AEiC2025 #AdaEurope #AdaProgramming
Organized by Ada-Europe and Ada-France.
In cooperation with ACM SIGPLAN.
Deadline for submissions: February 7, 2025 (journal track papers),
March 7, 2025 (industrial track and work-in-progress papers, tutorial
and workshop proposals)
Submit early: acceptance decisions for the journal track and workshops
are made on a rolling basis!
-
2025/06/13: (hybrid)
AEiC'2025 - 2nd Ada Developers Workshop
Topics include: everything related to Ada software development,
i.e. similar to last year's Ada Developers Workshp and to the Ada
DevRooms at FOSDEM, technical presentations, tutorials, demos, live
performances, project status reports, discussions, etc, offering
a place where the Ada community can meet and share their work and
projects.
Deadline for submissions: April 6, 2025 (round 1), open (round
2).
-
2025/06/13:
AEiC'2025 - 4th ADEPT workshop, AADL by its practitioners (ADEPT'2025)
Topics include: current projects in the field of design,
implementation and verification of critical systems where AADL is a
first-citizen technology.
Deadline for submissions: April 30, 2025 (abstracts)
Koblenz, Germany
Topics include: practical and foundational advances in software
technology.
Deadline for submissions: December 15, 2024 (workshops)
Deadline for early registration: May 9, 2025
![[DE]](/~dirk/.face/de.gif)
2025/06/12-13:
Software Technologies: Applications and Foundations (STAF'2025)
Koblenz, Germany
-
2025/06/10-13:
STAF2025 - 18th International Conference on Graph Transformation
(ICGT'2025)
Topics include: analysis and verification of graph transformation
systems; parallel, concurrent, and distributed graph transformation;
model-driven development and model transformation; model checking,
program analysis and verification, simulation and animation; syntax,
semantics and implementation of programming languages; graph
transformation languages and tool support; applications and case
studies in software engineering (e.g. software architectures,
refactoring, ...); graph transformation and artificial intelligence;
etc.
Deadline for submissions: January 28, 2025 (research paper
abstracts), February 4, 2025 (research papers), April 22, 2025
(journal-first submissions)
-
2025/06/12-13:
STAF2025 - 18th ACM SIGPLAN International Conference on Software
Language Engineering (SLE'2025)
Topics include: software language engineering in general, rather than
engineering a specific software language, such as software language
design and implementation, software language validation (verification
and formal methods for languages, testing techniques for languages,
simulation techniques for languages, ...), software language
integration and composition, software language maintenance (software
language reuse; language evolution; language families and variability,
language and software product lines), domain-specific approaches for
any aspects of SLE (design, implementation, validation, maintenance),
empirical evaluation and experience reports of language engineering
tools (user studies evaluating usability, performance benchmarks,
industrial applications), etc.
Deadline for submissions: February 7, 2025 (abstracts), February
14, 2025 (papers)
Seoul, South Korea
Co-located with PLDI'2025
Topics include: programming language challenges (domain-specific
languages; features to exploit multicore architectures; features for
distributed and real-time control embedded systems; capabilities for
specification, composition, and construction of embedded systems;
language features and techniques to enhance reliability, verifiability,
and security; compiler challenges; ...), interaction between embedded
architectures, operating systems, and compilers (support for enhanced
programmer productivity; support for enhanced debugging, profiling, and
exception/interrupt handling; optimization for low power/energy,
code/data size, and real-time performance; tools for analysis,
specification, design, and implementation; hardware, system software,
application software, and their interfaces; distributed real-time
control; system integration and testing; run-time system support for
embedded systems; support for system security and system-level
reliability; ...), predictability of resource behavior: energy, space,
time (validation and verification, in particular of concurrent and
distributed systems; formal foundations of model-based design as the
basis for code generation, analysis, and verification; ...), design and
implementation of novel architectures (architecture support for new
language features, virtualization, compiler techniques, debugging tools;
...), etc.
Deadline for submissions: March 7, 2025 (abstracts), March 14, 2025
(papers), April 28, 2025 (artefacts)
Lille, France
Includes the COORDINATION, DAIS, and FORTE conferences.
Topics include: a broad spectrum of distributed computing subjects, from
theoretical foundations and formal description techniques, testing and
verification methods, to language design and system implementation
approaches.
Deadline for submissions: January 31, 2025 (abstracts), February 7,
2025 (papers), February 10, 2025 (workshops, tutorials), February 14,
2025 (artefacts), mid April, 2025 (workshop papers)
-
2025/06/16-20:
DisCoTec2025 - 45th International Conference on Formal Techniques for
Distributed Objects, Components and Systems (FORTE'2025)
Topics include: foundational aspects of distributed software systems,
approaches or tools to formally model, soundly implement, and
rigorously validate these demanding but ever more necessary systems
and applications; language concepts for concurrency and distribution,
supported by rigorous semantics, well-supported pragmatics, and/or
expressive illustrative use-cases; analyses techniques, methodologies,
and/or algorithms, using testing and/or verification, to validate
(aspects of) the soundness of various types of concurrent and
distributed systems; applications of formal methods and techniques for
studying the quality, reliability, availability, and safety of
concrete distributed systems; "real-life" case studies and industrial
applications involving real distributed systems; etc.
Deadline for submissions: January 31, 2025 (abstracts), February
7, 2025 (papers), February 14, 2025 (artefacts)
Istanbul, Turkiye
Topics include: evidence-based software engineering, and its
implications for software practice; infrastructure and techniques for
conducting empirical studies on SE; applications of evaluation and
assessment in specific contexts, such as software requirements, design,
construction, testing, engineering operations, maintenance, engineering
models and methods, engineering process, quality, security, engineering
professional practice, ...; evaluation and comparison of technologies
and approaches; etc.
Deadline for submissions: January 24, 2025 (abstracts), January 31,
2025 (papers)
Deadline for early registration: May 2, 2025
![[IT]](/~dirk/.face/it.gif)
2025/06/23-??:
55th IEEE/IFIP International Conference on Dependable Systems and
Networks (DSN'2025)
Naples, Italy
Trondheim, Norway
Topics include: debugging and fault localization; dependability, safety,
and reliability; embedded software, safety-critical systems, and
cyber-physical systems; model checking; model-driven engineering;
parallel, distributed, and concurrent systems; program analysis;
programming languages; software architectures; software engineering
education; software evolution; software security; software testing;
software traceability; symbolic execution; tools and environments; etc.
Deadline for submissions: February 26, 2024 (PC self-nomination),
September 5, 2024 (abstracts research track), September 12, 2024 (full
papers research track), February 25, 2025 (workshop papers)
Deadline for early registration: April 16, 2025
Trondheim, Norway
Topics include: theory, design, implementation, optimization, testing,
and analysis of software systems, programs and programming languages.
Deadline for submissions: January 3, 2025 (impact paper award
nominations), January 10, 2025 (workshops)
Samos Island, Greece
Topics include: improving performance, power efficiency, reliability,
dependability, ..., in embedded systems in fields such as automotive,
space, avionics, medical, edge computing, ...; design methodologies
and tools for embedded systems; modeling and simulation; compilation
techniques; reliability analysis; system-level design; programming
models and development tools for embedded systems; profiling,
measurement, and performance analysis techniques; compilation,
optimization strategies, and code generation; verification, testing,
and debugging methodologies; etc.
Deadline for submissions: March 24, 2025 (abstracts), March 28, 2025
(special-session proposals), March 31, 2025 (papers), April 22, 2025
(special-session submissions)
Bergen, Norway
Topics include: all topics related to programming languages, software
development, systems and applications; all practical and theoretical
investigations of programming languages, systems and environments;
innovative solutions to real problems as well as evaluations of existing
solutions.
Deadline for submissions: January 6, 2025 (round 1), January 24,
2025 (workshops), January 31, 2025 (nominations for Dahl-Nygaard
prizes), March 5, 2025 (round 2)
Hangzhou, China
Topics include: engineering of complex computer systems, such as
distributed systems, autonomous intelligent systems, and cyber-physical
systems; requirements, modeling and formal methods; software
engineering; simulation, testing, and validation; security, reliability
and dependability; etc.
Deadline for submissions: January 28, 2025 (abstracts), February 11,
2025 (full papers)
Kloster Irsee, Bavaria, Germany
Topics include: patterns in software and systems architecture, design &
implementation; patterns for improving software quality and software
verification; reports, studies, or empirical evaluations of using
patterns and pattern languages; education and learning patterns;
gamification patterns; patterns in (industrial) IoT,
cyber-physical-systems, embedded devices, control systems; patterns
about safety, security, reliability, or dependability; etc.
Deadline for submissions: February 3, 2025 (papers), May 16, 2025
(focus groups)
Deadline for registration: June 4, 2025 (authors), June 23, 2025
Aarhus, Denmark
Topics include: all aspects of theoretical computer science, such as
data structures, distributed computing, parallel computing, models of
concurrent and distributed systems, models of reactive systems,
principles and semantics of programming languages, program analysis,
verification, and synthesis, type systems, etc.
Deadline for submissions: February 8, 2025
Brussels, Belgium
Topics include: all aspects of timing requirements in computer systems;
elements of time-sensitive software systems, such as operating systems,
hypervisors, middlewares and frameworks, programming languages and
compilers, runtime environments, ...; real-time applications, such as
modeling, design, simulation, testing, debugging, and evaluation in
domains such as automotive, avionics, control systems, industrial
automation, robotics, space, railways telecommunications, ...;
foundational scheduling and predictability questions, such as
schedulability analysis, synchronization protocols, multi-core
scheduling, ...; static and dynamic techniques for resource demand
estimation, such as classic worst-case execution time (WCET) analysis,
...; formal methods for the verification and validation of real-time
systems, such as model checking, computer-assisted proofs, ...; the
interplay of timing predictability and other non-functional qualities,
such as reliability, quality of control, testability, scalability, ...;
etc.
Deadline for submissions: December 5, 2024 (workshops, tutorials),
February 28, 2025 (papers), May 8, 2025 (workshop contributions)
Limassol, Cyprus
Topics include: software architectures and design; software product
lines; model-driven software engineering; software testing and quality
assurance; software safety, security and reliability; reverse
engineering and software maintenance; component-based software
engineering; formal methods; deductive verification; model checking;
theorem proving; specification languages; run-time verification and
monitoring; integration of formal methods; formal methods for AI
systems, and vice versa; programming language design and technology;
abstract interpretation and program analysis; type systems; compiler
design; software tools putting theory into practice; cyber-physical,
embedded, and real-time systems; distributed and concurrent systems;
etc.
Deadline for submissions: March 1, 2025 (abstracts), March 8, 2025
(papers)
Hangzhou, China
Topics include: reliability, security, availability, and safety of
software systems; software testing, verification, and validation;
program debugging and comprehension; fault tolerance for software
reliability improvement; modeling, prediction, simulation, and
evaluation; metrics, measurements, and analysis; software
vulnerabilities; formal methods; operating system security and
reliability; benchmark, tools, industrial applications, and empirical
studies; etc.
Deadline for submissions: March 25, 2025 (abstracts), April 1, 2025
(regular and short papers, workshop papers, fast abstracts, industry
track, posters)
Amsterdam, the Netherlands
Deadline for submissions: March 17, 2025 (abstracts, papers,
tutorials)
Deadline for registration: May 26, 2025 (authors), July 15, 2025
(early)
Singapore
Topics include: real-time scheduling, timing analysis, formal methods
for temporal guarantees, programming languages and run-time systems,
applications and case studies of IoT and CPS, cyber-physical co-design,
medical CPS, CPS software/system engineering, multi-core embedded
system, compiler and embedded software, embedded system design tools and
methodologies, fault tolerance, reliability and security, etc.
Deadline for submissions: March 28, 2025 (abstracts), March 31, 2025
(full papers)
Aarhus, Denmark
Events include: CONCUR (36th International Conference on Concurrency
Theory), QEST (22nd International Conference on Quantitative Evaluation
of SysTems), and FORMATS (23rd International Conference on Formal
Modeling and Analysis of Timed Systems).
Deadline for submissions: February 7, 2025 (workshops,
tutorials)
Aarhus, Denmark
Co-located with QEST+FORMATS and FMICS as part of CONFEST 2025
Topics include: theory and practice of concurrent systems; verification
and analysis techniques for concurrent systems (abstract interpretation,
model checking, race detection, run-time verification, static analysis,
testing, theorem proving, type systems, security analysis, ...);
distributed/parallel algorithms and concurrent data structures (design,
analysis, complexity, correctness, fault tolerance, reliability,
availability, consistency, ...); theoretical foundations, tools, and
empirical evaluations of architectures, execution environments, and
software development for concurrent systems such as multiprocessor and
multi-core architectures; compilers and tools for concurrent
programming; programming models such as component-based,
object-oriented, ...; etc.
Deadline for submissions: April 3, 2025 (abstracts), April 9, 2025
(papers)
Aarhus, Denmark
Co-located with CONCUR and FMICS as part of CONFEST 2025
Topics include: models and metrics for the correctness, performance,
reliability, safety, and security of systems; languages and methods for
the specification of quantitative properties of systems; techniques,
algorithms, and data structures for analysis, evaluation, and
verification of the above models, e.g., for model checking, testing,
constraint solving, scheduling, optimization, and worst-case execution
time analysis; etc.
Deadline for submissions: April 4, 2025 (abstracts), April 11, 2025
(papers), April 18, 2025 (artifacts)
Valencia, Spain
Deadline for submissions: December 10, 2024 (RE Open Data
Initiative), January 20, 2025 (workshops), March 3, 2025 (research paper
abstracts), March 10, 2025 (research papers), March 24, 2025 (RE@Next! &
Industrial Innovation paper abstracts), April 7, 2025 (RE@Next! &
Industrial Innovation papers), April 28, 2025 (Journal-First &
tutorials), June 2, 2025 (workshop papers), June 16, 2025 (Doctoral
Symposium papers, poster and tool demos
Auckland, New Zealand
Topics include: change and defect management, continuous
integration/deployment, empirical studies of software maintenance and
evolution, maintenance and evolution of model-based methods, maintenance
versus release process, mining software repositories, productivity of
software engineers during maintenance and evolution, release
engineering, reverse engineering and re-engineering, software and system
comprehension, software migration and renovation, software quality
assessment, software refactoring and restructuring, software testing
theory and practice, source code analysis and manipulation, technical
debt, etc.
Deadline for submissions: March 6, 2025 (research track abstracts),
March 13, 2025 (research track papers), May 11, 2025 (industry track
abstracts), May 18, 2025 (industry track papers), May 29, 2025 (tool
demo papers), May 30, 2025 (New Ideas and Emerging Results (NIER)
abstracts), June 5, 2025 (New Ideas and Emerging Results (NIER) papers),
June 6, 2025 (Journal-First track submissions), June 12, 2025 (Doctoral
Symposium papers)
Stockholm, Sweden
Topics include: all aspects related to the development, assessment,
operation, and maintenance of safety-related and safety-critical
computer systems; fault detection and recovery mechanisms; safety
guidelines and standards; safety/security co-engineering and trade-offs;
safety and security qualification, quantification, assurance and
certification; threats and vulnerability analysis; model-based analysis,
design, and assessment; formal methods for verification, validation, and
fault tolerance; testing, verification, and validation methodologies and
tools; etc.
Domains of application include: railways, automotive, space, avionics &
process industries; highly automated and autonomous systems;
telecommunication and networks; safety-related applications of smart
systems and IoT; critical infrastructures, smart grids, SCADA; medical
devices and healthcare; surveillance, defense, emergency & rescue;
logistics, industrial automation, off-shore technology; education &
training.
Deadline for submissions: 7 February 2025 (workshops, abstracts), 14
February 2025 (full papers)
Salerno, Italy
Topics include: information technology for software-intensive systems;
tracks on Cyber-Physical Systems (CPS), Emerging Computing Technologies
(ECT), Model-Driven Engineering and Modeling Languages (MDEML),
Software Process and Product Improvement (SPPI), Practical Aspects of
Software Engineering (KKIO), etc.
Deadline for paper submissions: April 15, 2025
Limassol, Cyprus
Theme: "Impactful software architecture"
Deadline for submissions: February 24, 2025 (workshops), March 21,
2025 (research/industry paper abstracts), March 28, 2025
(research/industry papers), May 12, 2025 (workshop paper abstracts), May
16, 2025 (tool and demo abstracts), May 19, 2025 (workshop papers), May
23, 2025 (tutorials, Journal First papers, tool and demo papers)
Deadline for early registration: June 27, 2025
Graz, Austria
Topics include: monitoring and analysis of runtime behavior of software,
hardware, and cyber-physical systems; program instrumentation; logging,
recording, and replay; combination of static and dynamic analysis;
monitoring techniques for concurrent and distributed systems; fault
localization, containment, resilience, recovery, and repair; etc.
Deadline for submissions: May 30, 2025 (papers)
Taipei, Taiwan
Includes CASES'2025 (International Conference on Compilers,
Architectures, and Synthesis for Embedded Systems), CODES+ISSS'2025
(International Conference on Hardware/Software Codesign and System
Synthesis), EMSOFT'2025 (International Conference on Embedded Software).
Deadline for submissions: March 23, 2025 (journal track abstracts),
March 30, 2025 (journal track full papers, special sessions, workshops,
tutorials, education classes), June 18, 2025 (late breaking track
papers)
Ilmenau, Germany
Theme: "Engineering of Complex Hard- and Software-Systems".
Topics include: applying scientific principles to design, develop,
verify, evaluate, and maintain software, while coping with complexity,
helping to avoid omissions and invalid assumptions, managing real world
changing issues, and producing the most efficient, economic and robust
solutions.
Deadline for submissions: February 21, 2025 (abstracts), February
28, 2025 (papers)
Deadline for early registration: June, 2025
Menlo Park, California, USA
Topics include: formal aspects of computer-aided system design,
including verification, specification, synthesis, and testing;
groundbreaking methods, technologies, theoretical results, and tools for
reasoning formally about computing systems; etc.
Deadline for submissions: April 20, 2025 (abstracts), April 27, 2025
(papers)
Singapore
Deadline for submissions: January 16, 2025 (workshops), May 8, 2025
(tutorials)
Singapore
Co-located with SPLASH'2025
Topics include: static analysis as fundamental tool for program
verification, bug detection, compiler optimization, program
understanding, and software maintenance.
Deadline for submissions: May 4, 2025 (papers, artifacts)
Bangalore, India
Topics include: theoretical and practical aspects of automated analysis,
synthesis, and verification of hardware and software systems; program
analysis and software verification; analytical techniques for safety,
security, and dependability; testing and runtime analysis based on
verification technology; analysis and verification of parallel and
concurrent systems; verification in industrial practice; applications
and case studies of verification; automated tool support for
verification; ect.
Deadline for submissions: April 11, 2025 (abstracts), April 18, 2025
(papers)
Paris, France
Topics include: analysis of computer and communication systems, where
functional and extra-functional properties are inter-related;
cross-fertilization between various formal verification and evaluation
approaches, methods and techniques, especially those developed for
concurrent and distributed hardware/software systems.
Deadline for submissions: June 23, 2025
Pisa, Italy
Topics include: real-time applications design and evaluation
(automotive, avionics, space, railways, telecommunications, process
control, ...), real-time aspects of emerging smart systems
(cyber-physical systems and emerging applications, ...), real-time
system design and analysis (real-time tasks modeling, task/message
scheduling, mixed-criticality systems, Worst-Case Execution Time (WCET)
analysis, security, ...), software technologies for real-time systems
(model-driven engineering, programming languages, compilers, WCET-aware
compilation and parallelization strategies, middleware, Real-Time
Operating Systems, ...), formal specification and verification,
real-time distributed systems, etc.
Deadline for submissions: January 30, 2025 (1st round), May 29, 2025
(2nd round), August 14, 2025 (3rd round)
Seoul, South Korea
Topics include: foundations, techniques, and tools for automating
analysis, design, implementation, testing, and maintenance of large
software systems.
Deadline for submissions: Apr 4, 2025 (workshops), May 30, 2025
(research papers), Jul 12, 2025 (tool demonstrations, NIER track
papers), Aug 1, 2025 (industry showcase submissions), Aug 26, 2025
(workshop papers), Sep 1, 2025 (journal-first papers)
Pisa, Italy
Topics include: safety in development processes and safety management;
combined approaches to safety and security; system and software safety
analysis; formal modelling and verification techniques; system
reliability; validation according to the standards; tool and model
integration, tool chain; domain-specific languages and modelling
frameworks; model reuse for reliability, safety and security; etc.
Deadline for submissions: June 6, 2025 (abstracts), June 12, 2025
(papers), September 26, 2025 (posters)
Boston, Massachusetts, USA
Deadline for submissions: October 15, 2023 (hosting proposals), May
22, 2025 (papers)
Happy Programmers' Day!
2026
Rio de Janeiro, Brazil
Deadline for submissions: November 12, 2024 (program committee
member self-nominations)
Europe
Event includes: 5 top conferences, HSCC, ICCPS, IoTDI, IPSN, and RTAS,
as well as poster and demo sessions, workshops, tutorials, competitions,
industrial exhibitions, PhD forums, and summits.
Deadline for submissions: January 15, 2025 (hosting pre-proposals),
March 15, 2025 (full proposals)
Europe
Deadline for submissions: September 20, 2024 (statement of interest
for organizing), October 18, 2024 (detailed organizing proposal)
Montréal, Canada
Deadline for submissions: March 14, 2025 (PC self-nomination)
Other places to look for this kind of information are:
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif)
To the Ada-Belgium home page.
Last update: 2025/03/26.
Copyright © 1994-2025 by
Dirk Craeynest
All Rights Reserved.
![[Ada-Belgium event logo]](/~dirk/.image/ada-belgium-48.gif)
![[AEiC'2025 logo]](/~dirk/.image/aeic2025.jpg){kind=small}
![[AEiC'2024 logo]](/~dirk/.image/aeic2024.png){kind=small}
![[AEiC'2023 logo]](/~dirk/.image/aeic2023-small.png)
![[AEiC'2022 logo]](/~dirk/.image/aeic2022-small.png)
![[AEiC'2021 logo]](/~dirk/.image/aeic2021-small.png)
![[AEiC'2020 logo]](/~dirk/.image/aeic2020-small.png)
![[Ada-Europe'2019 logo]](/~dirk/.image/ada-europe2019-small.png)
![[Ada-Europe'2018 logo]](/~dirk/.image/ada-europe2018-small.png)
![[Ada-Europe'2017 logo]](/~dirk/.image/ada-europe2017-small.png)
![[Ada-Europe'2016 logo]](/~dirk/.image/ada-europe2016-small.png)
![[Ada-Europe'2015 logo]](/~dirk/.image/ada-europe2015-small.png)
![[Ada-Europe'2014 logo]](/~dirk/.image/ada-europe2014-small.png)
![[Ada-Europe'2013 logo]](/~dirk/.image/ada-europe2013-small.png)
![[Ada-Europe'2012 logo]](/~dirk/.image/ada-europe2012-small.png)
![[Ada-Europe'2011 logo]](/~dirk/.image/ada-europe2011-small.jpg)
![[Ada-Europe'2010 logo]](/~dirk/.image/ada-europe2010-small.jpg)
![[Ada-Europe'2009 logo]](/~dirk/.image/ada-europe2009-small.gif)
![[Ada-Europe'2008 logo]](/~dirk/.image/ada-europe2008-small.jpg)
![[Ada-Europe'2007 logo]](/~dirk/.image/ada-europe2007-small.jpg)
![[Ada-Europe'2006 logo]](/~dirk/.image/ada-europe2006-small.gif)
![[Ada-Europe'2005 logo]](/~dirk/.image/ada-europe2005-small.jpg)
![[Ada-Europe'2004 logo]](/~dirk/.image/ada-europe2004-small.jpg)
![[Ada-Europe'2003 logo]](/~dirk/.image/ada-europe2003-small.jpg)
![[Ada-Europe'2002 logo]](/~dirk/.image/ada-europe2002-small.jpg)
![[Ada-Europe'2001 logo]](/~dirk/.image/ada-europe2001-small.jpg)
![[SIGAda conference logo]](/~dirk/.image/sigadaconf-small.jpg)
![[BE]](/~dirk/.face/be.gif)
![[FR]](/~dirk/.face/fr.gif)
2025/02/04-06:
![[IN]](/~dirk/.face/in.gif)
2025/02/20-22:
![[Internet]](/~dirk/.face/internet.gif)
![[US]](/~dirk/.face/us.gif)
2025/03/01-05:
![[NL]](/~dirk/.face/nl.gif)
2025/03/30-04/03:
![[DK]](/~dirk/.face/dk.gif)
2025/03/31-04/04:
![[UK]](/~dirk/.face/uk.gif)
2025/04/01:
![[SE]](/~dirk/.face/se.gif)
2025/04/07-08:
![[ES]](/~dirk/.face/es.gif)
2025/04/07-10:
![[PT]](/~dirk/.face/pt.gif)
2025/04/08-11:
![[CH]](/~dirk/.face/ch.gif)
2025/06/02-05:
![[KR]](/~dirk/.face/kr.gif)
![[TR]](/~dirk/.face/tr.gif)
2025/06/17-20:
![[NO]](/~dirk/.face/no.gif)
2025/06/23-27:
![[GR]](/~dirk/.face/gr.gif)
2025/06/28-07/03:
![[CN]](/~dirk/.face/cn.gif)
2025/07/02-04:
![[CY]](/~dirk/.face/cy.gif)
2025/07/14-16:
![[SG]](/~dirk/.face/sg.gif)
![[NZ]](/~dirk/.face/nz.gif)
2025/09/07-12:
![[RV]](/~dirk/.face/rv.gif)
2025/09/15-19:
![[TW]](/~dirk/.face/tw.gif)
2025/09/28-10/03:
![[BR]](/~dirk/.face/br.gif)
2026/04/xx: