- A-MOST - Workshop on Advances in Model Based
Testing
- A-TEST – Workshop on Automating Testing
- AIST - Workshop on Artificial Intelligence in
Software Testing
- CCIW - CI/CD Industry Workshop
- ITEQS - Workshop on Testing Extra-Functional
Properties and Quality Characteristics of Software Systems
- IWCT - Workshop on Combinatorial Testing
- InSTA - Workshop on Software Test
Architecture
- Mutation - Workshop on Mutation Analysis
- NEXTA - Workshop on the Next Level of Test
Automation
- SAFE-ML – Workshop on Secure, Accountable, and
Verifiable Machine Learning
- FAACS - Int. Workshop on Formal Approaches for
Advanced Computing Systems
- QA&TEST – Int. Conf. on Software Quality
Assurance and Testing for Safety and Security
- ICCPS - ACM/IEEE Int. Conf. on
Cyber-Physical Systems
- HCSS - High Confidence Software and Systems
Conference
- ANNSIM – Annual Modeling and Simulation
Conference
- VERDI - Int. Workshop on Verification &
Validation of Dependable Cyber-Physical Systems
- SAMOS - Int. Conf. on embedded computer Systems:
Architectures, MOdeling and Simulation
· TACPS - Int. Workshop on Trustworthy Autonomous
Cyber-Physical Systems
o
TACPS 2025
Zagreb, Croatia, July 21, 2025, co-located with CAV 2025
https://www.tacps.org/
- SPLC - Int. Systems and Software Product Line
Conference
- QUATIC - Int. Conf. on Quality of
Information and Communications Technology
- SAFECOMP - Int. Conf. on Computer Safety,
Reliability, and Security
- FDL - Forum on Specification and Design
Languages
- GandALF - Int. Symp. on Games,
Automata, Logics, and Formal Verification
- RV - Int. Conf. on Runtime Verification
- RVCase - Runtime Verification
Case-Studies Workshop
- FROM – Working Formal Methods Symposium
- ICSEA - Int. Conf. on Software Engineering
Advances
- SRDS - Int. Symposium on Reliable Distributed
Systems
- ECBS - Int. Conf. on the Engineering of Computer
Based Systems
- SERD - Int. Conf. on Software Engineering
Research & Development
· SAM - System Analysis and Modelling Conference
o
SAM 2025
Michigan, US, Oct. 5-10, 2025, co-located with MODELS 2025
http://sdl-forum.org/Events/SAM2025
- QA&TEST – Int. Conf. on Embedded
Software Testing
- ATVA – Int. Symp. on Automated Technology
for Verification and Analysis
- SEFM - Int. Conf. on Software Engineering
and Formal Methods
- ASE - IEEE/ACM Int. Conf. on Automated
Software Engineering
- FMAS - Workshop on Formal Methods for
Autonomous Systems
- iFM - Int.
Conf. on integrated Formal Methods
- DSA - Dependable Systems and Their Applications
- TASSDC - Workshop on Trustworthy Autonomous
Systems and Self-Driving Cars
- OVERLAY - Workshop on Artificial Intelligence and
fOrmal VERification,
Logic, Automata, and sYnthesis
- BENEVOL - Belgium-Netherlands Software Evolution
Workshop
- RSSRail - Int. Conf. on Reliability,
Safety and Security of Railway Systems: Modelling, Analysis, Verification
and Certification
- SETTA - Symp. on Dependable Software Engineering:
Theories, Tools and Applications
- APSEC - Asia-Pacific Software Engineering
Conference
- FSTTCS - Ann. Conf. on Foundations of Software
Technology and Theoretical Computer Science
- VERIFAI - Workshop on the Interplay between
Artificial Intelligence and Software Verification
- SANER - IEEE Int. Conf. on Software
Analysis, Evolution, and Reengineering
- VST - Workshop on Validation, Analysis and
Evolution of Software Tests
- SAC - ACM/SIGAPP Symposium on Applied Computing
- EDCC - European Dependable Computing Conference
- ETAPS - European Joint Conferences on Theory
And Practice of Software
- TACAS - Tools and Algorithms for the
Construction and Analysis of Systems
- FASE - Int. Conf.on
Fundamental Approaches in Software Engineering
- SPIN - Int. Symp. Model Checking of Software
- MARS - Workshop on Models for Formal Analysis of
Real Systems
- ICSE - Int. Conf. on Software
Engineering
- AST - Int. Conf. on Automation of Software Test
- DeepTest - Int. Workshop on Deep
Learning for Testing and Testing for Deep Learning
- FTW - Int. Flaky Test Workshop
- SBFT - Int. Workshop on Search-Based and Fuzz
Testing
- FORMALISE - Int. Conf. on Formal
Methods in Software Engineering
- UCAAT - User Conference on Advanced Automated
Testing
- ICT.OPEN - Conference for Dutch ICT-Research
- NFM - NASA Formal Methods Symposium
- CIbSE - Ibero-American Conference on
Software Engineering
- FM - Int. Symp. on on
Formal Methods
- TAP - Int. Conf. on Tests And Proofs
- TAP 2026
Tokyo, Japan, May 18-22, 2026, track of FM 2026
- ABZ - Int. Conf. on Rigorous State Based Methods
- ICST - Int. Conf. on Software Testing,
Verification, and Validation
- SWQD - Software Quality Days
- ENASE - Int. Conf. on Evaluation of Novel
Approaches to Software Engineering
- SOFTENG - Int. Conf. on Advances and Trends in
Software Engineering
- EMMSAD – Int. Conf. on Exploring Modeling Methods
for Systems Analysis and Development
- FORTE - IFIP Int. Conf. on Formal
Techniques for Distributed Objects, Components and Systems
- ICE - Interaction and Concurrency Experience
- LCTES - ACM SIGPLAN/SIGBED Int. Conf. on
Languages, Compilers, Tools and Theory of Embedded Systems
- EuroSTAR – European Conf. on Software
Testing, Analysis, and Review
- Petri Nets - Int. Conf. on Application and Theory
of Petri Nets and Concurrency
- STAF - Software Technologies: Applications and
Foundations
- ECMFA - European Conference on Modelling
Foundations and Applications
- VORTEX - Int. Workshop on Verification and Monitoring
at Runtime Execution
- TASE - Int. Symp. on Theoretical
Aspects of Software Engineering
- FSE - ACM Int. Conf. on the Foundations of
Software Engineering
- SSBSE - Symp. on Search-Based Software
Engineering
- COMPSAC - IEEE Conf. on Computers, Software, and
Applications
- MET - Int. Workshop on Testing for Metamorphic
Testing
- SAT - Int. Conf. on Theory and Applications of
Satisfiability Testing
- QRS - Int. Conf. on Software Quality, Reliability
& Security
·
AITest - IEEE Int. Conf. on Artificial Intelligence Testing
- CAV - Int. Conf. on Computer Aided Verification
- Euro-Par - Int. Eur. Conf. on Parallel and
Distributed Computing
- FORMATS - Int. Conf. on Formal Modeling and
Analysis of Timed Systems
- CONCUR - Int.Conf. on
Concurrency Theory
- FMICS - Int. Conf. on Formal
Methods for Industrial Critical Systems
- SEAA - Euromicro
Conference on Software Engineering and Advanced Applications
- FMCAD - Formal Methods in Computer-Aided Design
- CECIIS - Central European Conference on
Information and Intelligent Systems
- VARIABILITY – Int. Conf. on Software and Systems
Reuse, Product Lines, and Configuration
- ISSTA - Int. Symp. on Software Testing and
Analysis
·
MODELS -
Int. Conf. on Model Driven Engineering Languages and Systems
- EMSOFT - Int. Conf. on Embedded Software
- MEMOCODE -Int. Conf. on Formal Methods and Models
for System Design
- ISSRE - Int. Symp. on Software
Reliability Engineering
- ICGI - Int. Conf. on Grammatical Inference
- ICTSS - IFIP Int. Conf. on Testing
Software and Systems
- AutomationSTAR – European Test Automation
Conference
- ICTAC
- Int. Coll. on Theoretical Aspects of Computing
- ICFEM – Int. Conf. on Formal
Engineering Methods
- VECoS - Int. Conf. on
Verification and Evaluation of Computer and Communication Systems
Other Conference Lists
Summer / Winter Schools