- SOFSEM - Int. Conf. on Current Trends in Theory
and Practice of Computer Science
- CSER - Conference on Systems Engineering Research
- DATE - Design, Automation and Test in Europe
- MARS - Workshop on Models for Formal Analysis of
Real Systems
- Embedded World Conference
- ICT.OPEN - Conference for Dutch ICT-Research
- ENASE - Int. Conf. on Evaluation of Novel
Approaches to Software Engineering
- A-MOST - Workshop on Advances in Model Based
Testing
- AIST - Workshop on Artificial Intelligence in
Software Testing
- CCIW - CI/CD Industry Workshop
- InSTA - Workshop on Software Test
Architecture
- ITEQS - Workshop on Testing Extra-Functional
Properties and Quality Characteristics of Software Systems
- IWCT - Workshop on Combinatorial Testing
- MODAL - NSF Workshop on Infrastructure for Mobile
App Data Collection & Analysis
- Mutation - Workshop on Mutation Analysis
- NEXTA - Workshop on the Next Level of Test
Automation
- TestADS - Testing of Automated Driving
Systems
- TestEd - Workshop on Software Testing
Education
- FORTE - IFIP Int. Conf. on Formal
Techniques for Distributed Objects, Components and Systems
- GandALF - Int. Symp. on Games,
Automata, Logics, and Formal Verification
- IEEE/IFIP Int. Conf. on Dependable Systems and
Networks
- VERDI - Int. Workshop on Verification &
Validation of Dependable Cyber-Physical Systems
- LCTES - ACM SIGPLAN/SIGBED Int. Conf. on
Languages, Compilers, Tools and Theory of Embedded Systems
- Petri Nets - Int. Conf. on Application and Theory
of Petri Nets and Concurrency
- SAMOS - Int. Conf. on embedded computer Systems:
Architectures, MOdeling and Simulation
- QRS - IEEE Int. Conf. on Software Quality,
Reliability & Security
- LearnAut - Learning and Automata
- ICSOFT – Int. Conf. on Software Technologies
- FSE - ACM Int. Conf. on the Foundations of
Software Engineering
- CAV - Int. Conf. on Computer Aided Verification
- SAT - Int. Conf. on Theory and Applications of
Satisfiability Testing
- ARES - Int. Conf. on Availability, Reliability
and Security
- Euro-Par - Int. Eur. Conf. on Parallel and
Distributed Computing
- SEAA - Euromicro
Conference on Software Engineering and Advanced Applications
- FDL - Forum on Specification and Design
Languages
- FMICS - Int. Conf. on Formal
Methods for Industrial Critical Systems
- TAP - Int. Conf. on Tests And Proofs
- FACS - Int. Conf. on Formal Aspects of Component
Software
- FORMATS - Int. Conf. on Formal Modeling and
Analysis of Timed Systems
- CONCUR - Int.Conf. on
Concurrency Theory
- QUATIC - Int. Conf. on Quality of
Information and Communications Technology
- A-TEST – Workshop on Automating Test Case Design,
Selection and Evaluation
- VORTEX - Int. Workshop on Verification and
Monitoring at Runtime Execution
- FUZZING - Int. Fuzzing Workshop
- Gamify: Int. Workshop on Gamification of Software
Development, Verification and Validation
- MET - Int. Workshop on Testing for Metamorphic
Testing
- CECIIS - Central European Conference on
Information and Intelligent Systems
- MODELS - Int. Conf. on Model Driven
Engineering Languages and Systems
- MODELS 2024
Linz, Austria, Sept. 22-27, 2024
- MoDeVVa - Workshop on Model Driven
Engineering, Verification, and Validation
- MoDeVVa 2024
Linz, Austria, Sept. 22-27, 2024, co-located with MODELS 2024
- SAM - System Analysis and Modelling Conference
- SAM 2024
Linz, Austria, Sept. 23-24, 2024, co-located with MODELS
- VALID - Int. Conf. on Advances in System Testing
and Validation Lifecycle
- ICSEA - Int. Conf. on Software Engineering
Advances
- EMSOFT - Int. Conf. on Embedded Software
- MEMOCODE -Int. Conf. on Formal Methods and Models
for System Design
- SRDS - Int. Symposium on Reliable Distributed
Systems
- AutomationSTAR – European Test Automation
Conference
- QA&TEST – Int. Conf. on Embedded
Software Testing
- FMCAD - Formal Methods in Computer-Aided Design
- VECoS - Int. Conf. on
Verification and Evaluation of Computer and Communication Systems
- ATVA – Int. Symp. on Automated Technology
for Verification and Analysis
- AMDE - Int. Workshop on the Advancements in Model
Driven Engineering & software engineering
- ISSRE - Int. Symp. on Software
Reliability Engineering
- DSA - Dependable Systems and Their Applications
- SEFM - Int. Conf. on Software Engineering
and Formal Methods
- iFM - Int.
Conf. on integrated Formal Methods
- BENEVOL - Belgium-Netherlands Software Evolution
Workshop
- ICTAC
- Int. Coll. on Theoretical Aspects of Computing
- OVERLAY - Workshop on Artificial Intelligence and
fOrmal VERification,
Logic, Automata, and sYnthesis
- ICFEM – Int. Conf. on Formal
Engineering Methods
- ICSOC - Int. Conf. on Service-Oriented Computing
- APSEC - Asia-Pacific Software Engineering
Conference
- ICFNDS - Int. Conf. on Future Networks &
Distributed Systems
- VAMOS - Int. Workshop on Variability Modelling of
Software-Intensive Systems
- MODELSWARD - Int. Conf. on Model-Based Software
and Systems Engineering
- SANER - IEEE Int. Conf. on Software
Analysis, Evolution, and Reengineering
- VST - Workshop on Validation, Analysis and
Evolution of Software Tests
- ICST - Int. Conf. on Software Testing,
Verification, and Validation
- SAC - ACM/SIGAPP Symposium on Applied Computing
- FAACS - Int. Workshop on Formal Approaches for
Advanced Computing Systems
- UCAAT - User Conference on Advanced Automated
Testing
- FSEN - Int. Conf. on Fundamentals of Software
Engineering
- EDCC - European Dependable Computing Conference
- ICSE - Int. Conf. on Software
Engineering
- FORMALISE - Int. Conf. on Formal
Methods in Software Engineering
- AST - ACM/IEEE 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
- 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
- ICCPS - ACM/IEEE Int. Conf. on
Cyber-Physical Systems
- CIbSE - Ibero-American Conference on
Software Engineering
- SOFTENG - Int. Conf. on Advances and Trends in
Software Engineering
- SWQD - Software Quality Days
- EuroSTAR – European Conf. on Software
Testing, Analysis, and Review
- STAF - Software Technologies: Applications and
Foundations
- ECMFA - European Conference on Modelling
Foundations and Applications
- NFM - NASA Formal Methods Symposium
- ISSTA - ACM SIGSOFT Int. Symp. on Software
Testing and Analysis
- TASE - Int. Symp. on Theoretical
Aspects of Software Engineering
- SAFECOMP - Int. Conf. on Computer Safety,
Reliability, and Security
- ICTSS - IFIP Int. Conf. on Testing
Software and Systems
- FM - Int. Symp. on on
Formal Methods
- FM 2026
Tokyo, Japan, May 18-22, 2026
- ABZ - Int. Conf. on Rigorous State Based Methods
Other Conference Lists
Summer / Winter Schools
- MOVEP - School on Modelling and Verification of
Parallel Processes
- TAROT - Int. Summer School on Software
Testing, Verification & Validation
- VTSA - Summer School on Verification Technology,
Systems and Applications
- Marktoberdorf Int. Summer School on
Engineering and Dependable Software Systems
- FAME - Int. School on Foundations and Advances of
Model-Based Engineering