IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 

Verification Events

Find Events


When: Oct 18, 2021 - Oct 22, 2021 Submission Deadline: Apr 09, 2021
The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regi...
SOFTWARE VERIFICATION   MACHINE LEARNING  


When: Dec 07, 2020 - Dec 07, 2020 Submission Deadline: Sep 11, 2020
This one day workshop will bring together researchers working on a range of techniques for formal verification of autonomous systems, to present recent work in the area, discuss key difficulties, and ...
FORMAL METHODS   AUTONOMOUS SYSTEMS   ROBOTICS   FORMAL VERIFICATION  

When: Dec 13, 2020 - Dec 16, 2020 Submission Deadline: Sep 07, 2020
Indocrypt 2020 is the 21st International Conference on Cryptology in India. The conference will take place during 13th-16th December, 2020, at the International Institute of Information Technolog...
CRYPTOLOGY   COMPUTER SECURITY   FORMAL VERIFICATION  

When: Jan 18, 2021 - Jan 19, 2021 Submission Deadline: Sep 22, 2020
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for the...
COMPUTER SCIENCE   VERIFICATION   MATHEMATICS   FORMAL METHODS  

When: Sep 21, 2020 - Sep 23, 2020 Submission Deadline: Jun 15, 2020
The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-23, 2020. This year, GANDALF will be organised together with...
COMPUTER SCIENCE   FORMAL METHODS   GAMES   THEORETICAL COMPUTER SCIENCE  

SAS 2020 : Static Analysis Symposium

Chicago, Illinois, United States
When: Nov 18, 2020 - Nov 20, 2020 Submission Deadline: Apr 24, 2020
Welcome to the 27th Static Analysis Symposium (SAS 2020)! Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understa...
VERIFICATION   ABSTRACT INTERPRETATION   AUTOMATED DEDUCTION   SECURITY  

When: Nov 02, 2020 - Nov 06, 2020 Submission Deadline: May 01, 2020
International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an intern...
FORMAL METHODS   VERIFICATION   SOFTWARE ENGINEERING   PROGRAM ANALYSIS  

When: Jul 06, 2020 - Jul 08, 2020 Submission Deadline: Mar 20, 2020
Following the success of the previous edition of the workshop on Blockchains and Smart Contracts (BSC 2019), we are pleased to announce the 3rd International Workshop on Blockchains and...
BLOCKCHAIN   SECURITY   TESTING AND VERIFICATION   COMPUTER SCIENCE  

When: Jul 19, 2020 - Jul 24, 2020 Submission Deadline: Jan 28, 2020
CAV 2020 is the 32nd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference will take place Jul...
SOFTWARE ENGINEERING   PROGRAMMING   COMPUTER SCIENCE  

When: Jun 10, 2020 - Jun 12, 2020 Submission Deadline: Feb 29, 2020
VSC track brings the opportunity for researchers and developers from industry and the academic world to report the state of the art and exchange ideas on correctness, confidentiality, security, privac...
SOFTWARE TESTING   STATIC ANALYSIS   FORMAL VERIFICATION   SECURITY & PRIVACY  

When: Dec 20, 2019 - Dec 21, 2019 Submission Deadline: Sep 15, 2019
With recent advancements in the CMOS and allied novel technologies, major research and development efforts are ongoing in the field of VLSI and Embedded Systems. Challenges faced by conventional CMOS ...
VLSI   EMBEDDED SYSTEMS   TESTING AND VERIFICATION   DEVICES & EMERGING TECHNOLOGY  

When: Nov 24, 2019 - Nov 28, 2019 Submission Deadline: Sep 18, 2019
In recent years, software-based systems have experienced a continuous growth in dimensions, complexity, and significance in a very wide range of fields and applications. Unsurprisingly, this central r...
COMPUTER SCIENCE   ANALYSIS   VERIFICATION   FORMAL METHODS  

When: Nov 9, 2019 - Nov 9, 2019 Submission Deadline: Sep 3, 2019
------------------------------------------------------------------- •                        Call for Papers •     &nb...
FORMAL METHODS   SOFTWARE ENGINEERING   VERIFICATION   INDUSTRIAL APPLICATIONS  

Submission Deadline: Sep 15, 2019
---------------------------------------------- • IEEE Communications Magazine Feature Topic • “5G Security: Can 5G Be Verifiably Secure?” • --------------------------------------...
5G   SECURITY   FORMAL METHODS   VERIFICATION  

Submission Deadline: Jan 1, 2020
Modeling, specification, verification, and simulation of distributed systems are extremely important during the development of IoT systems, cloud computing, etc. However, formalisms and mechanisms for...
IMDS   DISTRIBUTED SYSTEMS  

When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jul 4, 2019
Objective : • Abstract domains are a key notion in Abstract Interpretation theory • and practice. The Abstract Interpretation framework provides • constructive and systematic formal ...
ABSTRACT INTERPRETATION   VERIFICATION   FORMAL METHODS   NUMERICAL DOMAINS  

When: Mar 23, 2020 - Mar 27, 2020 Submission Deadline: Oct 14, 2019
• ICST 2020 • 13th IEEE Conference on Software Testing, Validation and Verification • 23–27 March 2020 | Porto, Portugal • ICST 2020 is intended to provide a common forum for...
SOFTWARE TESTING   VERIFICATION  


When: Oct 8, 2019 - Oct 11, 2019 Submission Deadline: May 21, 2019
Scope • Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system corre...
FORMAL METHODS   VERIFICATION   TESTING  

When: Sep 2, 2019 - Sep 4, 2019 Submission Deadline: May 19, 2019
The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The 2019 edit...
GAMES   AUTOMATA   LOGICS   FORMAL VERIFICATION  


When: Sep 9, 2019 - Sep 10, 2019 Submission Deadline: Jun 8, 2019
CFP: Formal Approaches for Advanced Computing Systems - workshop @ ECSA 2019 • ***************************************************************** • 3rd Workshop on Formal Approaches for Adv...
SOFTWARE ARCHITECTURE   SOFTWARE ENGINEERING   FORMAL METHODS   SOFTWARE VERIFICATION  

When: Oct 15, 2019 - Oct 17, 2019 Submission Deadline: Jun 2, 2019
---------------------------------------------------------------------- • IFIP-ICTSS 2019 • THE 31st IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS • Paris, France, Oct...
INTERNATIONAL CONFERENCE   TESTING   FORMAL METHODS   VERIFICATION  


When: Sep 17, 2019 - Sep 17, 2019 Submission Deadline: Jun 14, 2019
[Please accept our apologies if you receive multiple copies of this • announcement.] • ================================================================ • SERENE 2019 — Call for pap...
SOFTWARE ENGINEERING   SELF-ADAPTIVE SYSTEMS   RESILIENT SYSTEMS   VERIFICATION  

CPP 2020 : Certified Programs and Proofs

New Orleans, Louisiana, USA
When: Jan 20, 2020 - Jan 21, 2020 Submission Deadline: Oct 21, 2019
**1st CFP for Certified Programs and Proofs (CPP 2020)** • Certified Programs and Proofs (CPP) is an international conference on • practical and theoretical topics in all areas that consid...
COMPUTER SCIENCE   VERIFICATION   MATHEMATICS   FORMAL METHODS  

When: Sep 11, 2019 - Sep 13, 2019 Submission Deadline: Jun 17, 2019
ABOUT • The Applied Mathematics Department at UCLouvain and the Computer Science Department at ULB jointly organize the 13th International Conference on Reachability Problems (RP'19). The event ...
THEORETICAL COMPUTER SCIENCE   VERIFICATION   ALGORITHMS   LOGIC  

When: Jul 13, 2019 - Jul 14, 2019 Submission Deadline: Apr 29, 2019
CALL FOR PAPERS • Verified Software: Theories, Tools and Experiments (VSTTE) 2019 • July 13-14, 2019, New York City, USA (co-located with CAV 2019) • ================================...
VERIFICATION   FORMAL METHODS  

When: Oct 7, 2019 - Oct 9, 2019 Submission Deadline: May 8, 2019
***************************************************************** • VECoS 2019 • Call for Papers • 13th International Conference on • Verification and Evaluation of Computer an...
FORMAL METHODS   MODEL-CHECKING   CRITICAL SYSTEMS   VERIFICATION  




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

Events Recently Added
LBIS 2021: Law, Business and Innovation Studies (LBIS) Conference
London
Sep 09, 2021
SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
AMICT 2021: 15th Workshop on Advances in Methods of Information and Communication Technology
Oulu, Finland
Oct 28, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
ICPaH 2021: International Conference Photography and History
Funchal (Portugal)
Dec 15, 2021
SoICT 2021: THE 11TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY
Hanoi, Vietnam
Dec 02, 2021
RAID 2021: Research in Attacks, Intrusions and Defenses
Donostia / San Sebastian, Spain
Oct 06, 2021
CCCG 2021: Canadian Conference on Computational Geometry
Halifax, Nova Scotia, Canada
Aug 10, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
SILM 2021: 3rd Workshop on the Security of Software / Hardware Interfaces
Online
Sep 06, 2021
DLonSC 2021: The 6th International Workshop on Deep Learning on Supercomputers
Frankfurt, Germany
Jul 02, 2021
PACBB 2021: 15th International Conference on Practical Applications of Computational Biology & Bioinformatics
Salamanca, Spain
Oct 06, 2021
ICNLP 2021: 3rd International Conference on Natural Language Processing
Beijing, China
Mar 26, 2021
FGIP 2021: International Workshop on Frontiers of Graphics and Image Processing
Xi'an, China
May 21, 2021
ICICA 2021: 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
ICITIES 2021: SECOND INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGIES IN EDUCATION AND SCIENCE
Melitopol, Ukraine
Jun 10, 2021
IJCTCM 2021: International Journal of Control Theory and Computer Modelling

IPPR 2021: 7th International Conference on Image Processing and Pattern Recognition
Copenhagen, Denmark
Apr 24, 2021
ITCSE 2021: 10th International Conference on Information Technology Convergence and Services
Sydney, Australia
Jun 26, 2021