IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools

Validation Workshops

Find Events


When: Jun 24, 2024 - Jun 24, 2024 Submission Deadline: Mar 22, 2024
----------------------------------------------------------- • VERDI 2024 - 1st call for papers • Co-located with the 54th Annual IEEE/IFIP International Conference on Dependable Systems a...

When: Jun 4, 2024 - Jun 5, 2024 Submission Deadline: Feb 18, 2024
The 8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024), co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024), will be h...
SOFTWARE ARCHITECTURE   FORMAL METHODS   VALIDATION AND VERIFICATION   GENERATIVE AI  



When: Mar 12, 2024 - Mar 12, 2024 Submission Deadline: Dec 18, 2023
*** DEADLINE EXTENDED: Paper submission until Dec 18, 2023 AoE *** • VST 2024 -- 7th International Workshop on • Validation, Analysis and Evolution of Software Tests • March 12, 202...
SOFTWARE TESTING   TEST VALIDATION   TEST CASE GENERATION   TEST EVOLUTION  

When: Oct 1, 2023 - Oct 3, 2023 Submission Deadline: Jul 20, 2023
MoDeVVa 2023: 20th Workshop on Model Driven Engineering, Verification and Validation • Co-located with MODELS 2023 • 1-3 October 2023 (precise date to be decided) • Västerås, Swed...
SOFTWARE ENGINEERING   SYSTEMS ENGINEERING  

When: Sep 18, 2023 - Sep 19, 2023 Submission Deadline: Jun 30, 2023
The 7th Workshop on Formal Approaches for Advanced Computing Systems (FAACS’2023) Co-located with the 17th European Conference on Software Architecture (ECSA) • Istanbul, Turkey, September 18...
SOFTWARE ARCHITECTURE   FORMAL METHODS   VALIDATION AND VERIFICATION   AUTONOMOUS SYSTEMS  

When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 13, 2022
[Apologies for cross and multiple postings] • ------------------------------------------------------------------------------------------------------------------- • Call for Papers •...
SOFTWARE ENGINEERING   ROBOTICS   VERIFICATION & VALIDATION   AUTONOMOUS SYSTEMS  

When: Oct 16, 2022 - Oct 21, 2022 Submission Deadline: Jul 20, 2022
Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models i...
FORMAL METHODS   VERIFICATION   MODELING   TEST  

When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 6, 2022
------------------------------------------------------------------------------------------------------------------- • Call for Papers • Second Workshop on Agents and Robots for reliable E...
AUTONOMOUS SYSTEMS   VERIFICATION & VALIDATION   ROBOTICS   SOFTWARE ENGINEERING  

When: Jul 13, 2020 - Jul 17, 2020 Submission Deadline: TBD
...
TESTING   VALIDATION   MBT   AI  

When: Jul 22, 2019 - Jul 29, 2019 Submission Deadline: TBD
The objective of the workshop is to bring together industry and science by providing a platform for discussion, interaction and collaboration. Industrial papers should either describe challenges of sy...
TESTING   VALIDATION   IOT   AI  

When: May 20, 2019 - May 20, 2019 Submission Deadline: Jan 15, 2019
On 14 June 2018, 3GPP rolled out the standalone (SA) version of the 5G standard. 5G has now moved to the trial phase. In no later than two years from now, we expect to see first deployments of commerc...
5G   TRIALS  

When: Apr 23, 2019 - Apr 23, 2019 Submission Deadline: Jan 21, 2019
Second International Workshop on Verification and Validation of Internet of Things • 23rd of April 2019, Xian - China • (co-located with ICST 2019) • www.fe.up.pt/vviot2019 • I...
SOFTWARE TESTING   IOT   VERIFICATION   SOFTWARE ENGINEERING  




Find and Compare Upcoming Validation Workshops. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.

Events Recently Added
ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
MAS-GAIN 2025: 1st International Workshop on Multi-Agent Systems using Generative Artificial INtelligence for Automated Software Engineering
Seoul, South Korea
Nov 16, 2025
WoSC 2025: 11th International Workshop on Serverless Computing (WoSC11)
Vanderbilt University Nashville, TN, US
Dec 15, 2025
Ecology and Indian Transgender Cinema 2025: Ecological Book Chapters for 'The Handbook of Indian Trans Cinema: Film, Television, and Web Series' Exploring Transgender Themes
Publication
Jul 1, 2025
COMINDS 2025: 4th Workshop on Collaboration Mining for Distributed Systems (COMINDS) @ ICPM 2025
Montevideo, Uruguay
Oct 20, 2025
EG 2026: Eurographics
Aachen, Germany
May 4, 2026
DCC 2025: Data Compression Conference
123
Jan 1, 2025
ArIT 2025: 6th International Conference on Advances in Artificial Intelligence Techniques
Toronto, Canada
Jul 19, 2025
SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
GamiFIN 2026: 10th International GamiFIN Conference
Saariselkä, Lapland, Finland
Mar 23, 2026
Neuroscience Congress 2026: 4th International Conference on Neuroscience and Mental Health
Kuala Lumpur, Malaysia
May 14, 2026
PQMI 2025: The 10th International Workshop on Process Querying, Manipulation, and Intelligence
Montevideo, Uruguay
Oct 20, 2025
ICCAR 2026: 2026 12th International Conference on Control, Automation and Robotics (ICCAR 2026)
Nagoya, Japan
Apr 8, 2026
ICCAR--EI 2026: 2026 12th International Conference on Control, Automation and Robotics (ICCAR 2026)
Nagoya, Japan
Apr 8, 2026
ICMAA 2026: 2026 The 10th International Conference on Mechanical, Aeronautical and Automotive Engineering (ICMAA 2026)
Tokyo, Japan
Apr 1, 2026
ICMAA--EI 2026: 2026 The 10th International Conference on Mechanical, Aeronautical and Automotive Engineering (ICMAA 2026)
Tokyo, Japan
Apr 1, 2026
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICMIP 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
CSP 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026