Join the next Kawaiicon, New Zealand’s premier hacker conference, happening November 6–8, 2025 in Wellington.

4th International Workshop on Explainability of Real-time Systems and their Analysis (ERSA 2025) at the IEEE Real-Time Systems Symposium (RTSS 2025) in Boston, MA, USA. Today, almost all verification techniques provide answers to questions but do not provide explanations. We will address that.

We are pleased to invite you to participate in the 28th Brazilian Symposium
on Formal Methods (SBMF’25), which will be held at the
Northeast Strategic Technologies Center – CETENE, Brazil, from December
02-05, 2025.

The 18th Cyber Security Experimentation and Test Workshop (CSET) will be held on Monday December 8, 2025, in Honolulu, Hawaii, in conjunction with the 2025 Annual Computer Security Applications Co

The International Conference on Model-Based Software and Systems Engineering provides a platform for participants from all over the world to present research results and application experience in using model-based techniques for developing all sorts of systems. Model-based software engineering has emerged over many years as an approach for developing IT systems in which models take a central role, not only for the analysis of these systems but also for their construction.

SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of safe, performant, and cost-effective self-adaptive and autonomous systems that provide self-* properties like self-configuration, self-healing, self-optimization, and self-protection.

This conference will broadly focus on AI assurance and security and associated risks stemming from a variety of factors depending on use context, including AI system safety, equity, reliability, interpretability, robustness, privacy, and governability.