resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



VERIFICATION EVENTS

Filter: Verification

Country



Categories



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 understanding, and software maintenance. The series of Static Analysis Symposia has served as the ...
VERIFICATION   ABSTRACT INTERPRETATION   AUTOMATED DEDUCTION   SECURITY  
ICFEM 2020 : The 22nd International Conference on Formal Engineering Methods
Singapore
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 international forum for researchers and practitioners who have been seriously applying formal methods to p...
FORMAL METHODS   VERIFICATION   SOFTWARE ENGINEERING   PROGRAM ANALYSIS  
BSC 2020 : The 3rd International Workshop on Blockchains and Smart Contracts
Paris, France
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 Smart Contracts (BSC 2020), which will be held in conjunction with the 11th IFIP International...
BLOCKCHAIN   SECURITY   TESTING AND VERIFICATION   COMPUTER SCIENCE  
VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC)
Basque Coast - Bayonne, France
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, privacy and reliability of software technologies. The idea is to foster research and development for ...
SOFTWARE TESTING   STATIC ANALYSIS   FORMAL VERIFICATION   SECURITY & PRIVACY  
AVES 2019 : International Conference on Advances in VLSI & Embedded Systems (AVES-2019)
NIT Surat, INDIA
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 technology are being overcome by new architectures, algorithms, implementation methodologies, re-con...
VLSI   EMBEDDED SYSTEMS   TESTING AND VERIFICATION   DEVICES & EMERGING TECHNOLOGY  
FMSAV 2019 : Formal Methods for Software Analysis and Verification - Special track of VALID 2019
Valencia
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 role of software systems has gone hand in hand with an increase of critical errors and failures that ...
COMPUTER SCIENCE   ANALYSIS   VERIFICATION   FORMAL METHODS  
FTSCS 2019 : 7th International Workshop on Formal Techniques for Safety-Critical Systems
Shenzhen, China
When: Nov 9, 2019 - Nov 9, 2019 Submission Deadline: Sep 3, 2019
------------------------------------------------------------------- •                        Call for Papers •                           FTSCS 2019 &bul...
FORMAL METHODS   SOFTWARE ENGINEERING   VERIFICATION   INDUSTRIAL APPLICATIONS  
IEEE-5G-Security 2020 : IEEE Communications Magazine Feature Topic “5G Security: Can 5G Be Verifiably Secure?”
N/A
Submission Deadline: Sep 15, 2019
---------------------------------------------- • IEEE Communications Magazine Feature Topic • “5G Security: Can 5G Be Verifiably Secure?” • ---------------------------------------------- • 5G heralds the advent of the true convergence of IT and Wireless and Wireline netwo...
5G   SECURITY   FORMAL METHODS   VERIFICATION  
NSAD 2019 : Numerical and Symbolic Abstract Domains
Porto
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 methods to design, compose, • compare, study, prove, and apply abstract domains, notably for ...
ABSTRACT INTERPRETATION   VERIFICATION   FORMAL METHODS   NUMERICAL DOMAINS  
ICST 2020 : 13th IEEE Conference on Software Testing, Validation and Verification Conference Series : International Conference on Software Testing, Verification, and Validation  
Porto, Portugal
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 researchers, scientists, engineers and practitioners throughout the world to present their latest r...
SOFTWARE TESTING   VERIFICATION  
DETECT 2019 : The international workshop on moDeling, vErification and Testing of dEpendable CriTical systems 2019
Toulouse
When: Oct 28, 2019 - Oct 28, 2019 Submission Deadline: Jun 22, 2019
...
COMPUTER SYSTEM   CRITICAL SYSTEM   MODELING   VERIFICATION  
RV 2019 : The 19th International Conference on Runtime Verification Conference Series : Runtime Verification  
Porto
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 correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness com...
FORMAL METHODS   VERIFICATION   TESTING  
GandAlf 2019 : The Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Bordeaux, France
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 edition of the symposium is the tenth edition. It is organized in the city of Bordeaux by the LABRI labo...
GAMES   AUTOMATA   LOGICS   FORMAL VERIFICATION  
FVPS 2019 : 2nd Workshop on Formal Verification of Physical Systems
Prague, Czech Republic
When: Jul 8, 2019 - Jul 12, 2019 Submission Deadline: Apr 25, 2019
...
FORMAL METHODS   CYBER-PHYSICAL SYSTEMS   SAFETY   FORMAL VERIFICATION  
FAACS 2019 : 3rd Workshop on Formal Approaches for Advanced Computing Systems
Paris, France
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 Advanced Computing Systems FAACS 2019 • http://faacs.di.unimi.it • co-located with the 13th...
SOFTWARE ARCHITECTURE   SOFTWARE ENGINEERING   FORMAL METHODS   SOFTWARE VERIFICATION  
IFIP-ICTSS 2019 2019 : THE 31ST IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS
Paris
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, October 15-17, 2019 • http://ictss2019.centralesupelec.fr • ifipictss2019@easychair.org &b...
INTERNATIONAL CONFERENCE   TESTING   FORMAL METHODS   VERIFICATION  
FT4DAS 2019 : Formal Techniques for Dependable Autonomous Systems
Turku, Finland
When: Sep 10, 2019 - Sep 10, 2019 Submission Deadline: May 13, 2019
...
FORMAL VERIFICATION   FORMAL METHODS   AUTONOMOUS SYSTEMS   SAFETY  
SERENE 2019 : 11th International Workshop on Software Engineering for Resilient Systems Conference Series : Software Engineering for Resilient Systems  
Naples, Italy
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 papers • 11th International Workshop on Software Engineering for Resilient Systems • 17 Sep...
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 consider • certification as an essential paradigm for their work. Certification • here means f...
COMPUTER SCIENCE   VERIFICATION   MATHEMATICS   FORMAL METHODS  
RP 2019 : 13th International Conference on Reachability Problems (RP 2019) Conference Series : Reachability Problems  
BRUSSELS, BELGIUM
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 will take place in the Brussels city center. • Papers presenting original contributions relate...
THEORETICAL COMPUTER SCIENCE   VERIFICATION   ALGORITHMS   LOGIC  
VSTTE 2019 : Verified Software: Theories, Tools and Experiments Conference Series : Verified Software: Theories, Tools, Experiments  
New York
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) • =================================================================== • The Verified Software Initiative (VSI), spearheaded by T...
VERIFICATION   FORMAL METHODS  
VECoS 2019 : 13th International Conference on Verification and Evaluation of Computer and Communication Systems
Porto, Portugal
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 and Communication Systems • October 7-9, 2019, Porto, Portugal • Co-located with 23rd Inte...
FORMAL METHODS   MODEL-CHECKING   CRITICAL SYSTEMS   VERIFICATION  
ENTROPY 2019 : ENabling TRust through Os Proofs… and beYond
Stockholm, Sweden
When: Jun 16, 2019 - Jun 16, 2019 Submission Deadline: Mar 15, 2019
************************************************************************** • Final Call for papers — ENTROPY 2019 • ENabling TRust through Os Proofs … and beYond • Second International workshop on the use of theorem provers for modelling • and verification at the hardware...
OPERATING SYSTEMS   THEOREM PROVERS   SECURITY   VERIFICATION  
CAV 2019 : 31st International Conference on Computer-Aided Verification Conference Series : Computer Aided Verification  
New York City
When: Jul 13, 2019 - Jul 18, 2019 Submission Deadline: Feb 7, 2019
CAV 2019 is the 31st 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 covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools...
VERIFICATION   FORMAL METHODS  
ATVA 2019 : International Symposium on Automated Technology for Verification and Analysis Conference Series : Automated Technology for Verification and Analysis  
Taipei, Taiwan
When: Oct 28, 2019 - Oct 31, 2019 Submission Deadline: May 3, 2019
ATVA 2019 is the 17th in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in...
FORMAL METHODS   VERIFICATION   SOFTWARE ENGINEERING   MODEL CHECKING  
SynCoP 2019 : International Workshop on Synthesis of Complex Parameters
Prague
When: Apr 6, 2019 - Apr 7, 2019 Submission Deadline: Jan 14, 2019
...
COMPUTER SCIENCE   VERIFICATION  
VECoS 2019 : International Conference on Verification and Evaluation of Computer and Communication Systems
Porto, Portugal
When: Oct 7, 2019 - Oct 9, 2019 Submission Deadline: Apr 13, 2018
• VECoS 2019 will be held in Porto, Portugal from 7-9 october 2019 and is co-located with the International Symposium on Formal Methods, FM 2019. • The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network...
FORMAL METHODS   VERIFICATION   PERFORMANCE  
VVIoT 2019 : International Workshop on Verification and Validation of Internet of Things
Xian, China
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 • Important dates • - Submission: 21st of January 2019 • - Notification: 1st of February 20...
SOFTWARE TESTING   IOT   VERIFICATION   SOFTWARE ENGINEERING  
HCVS 2019 : 6th Workshop on Horn Clauses for Verification and Synthesis
Prague, Czech Republic
When: Apr 7, 2019 - Apr 7, 2019 Submission Deadline: Feb 15, 2019
6th Workshop on Horn Clauses for Verification and Synthesis (HCVS) • Co-located with ETAPS 2019 • April 7, 2019 - Prague, Czech Republic • https://conf.researchr.org/track/etaps-2019/hcvs-2019-papers • Many Program Verification and Synthesis problems of interest can be &bull...
CONSTRAINTS   VERIFICATION   SYNTHESIS   TESTING  
WTSC19@FC 2019 : WTSC19@FC 2019 : 3rd Workshop on Trusted Smart Contracts 2019
St. Kitts
When: Feb 22, 2019 - Feb 22, 2019 Submission Deadline: Dec 20, 2018
--------------------------------------------------------------------------- • 3rd Workshop on Trusted Smart Contracts (WTSC'19) - https://fc19.ifca.ai/wtsc/ • February 22, 2019 • St. Kitts Marriott Resort • In Association with Financial Cryptography 19 (FC 2019) - https://fc1...
BLOCKCHAIN TECHNOLOGIES   SMART CONTRACT VERIFICATION   DECENTRALISED COMPUTING   CRYPTOCURRENCIES  


EVENTS RECENTLY ADDED

SEE 2021 : International Symposium on Energy Economy
Sanya, China
Jan 22, 2021
Project Management 2020 : Project Management for Administrative Professionals
Online
Mar 05, 2020
DAWSN 2020 : Special Issue - Distributed Algorithms for Wireless Sensor Networks

RSVT - ACM 2020 : 2nd International Conference on Robotics Systems and Vehicle Technology - EI Compendex, Scopus
Xiamen University of Technology, Xiamen, China
Dec 03, 2020
BDSIC 2020 : 2nd International Conference on Big-data Service and Intelligent Computation - EI Compendex, Scopus
Xiamen University of Technology, Xiamen, China
Dec 03, 2020
ADIP ACM 2020 : 2nd Asia Digital Image Processing Conference - EI Compendex, Scopus
Kyoto, Japan
Dec 18, 2020
ACM AICCC 2020 : 3rd Artificial Intelligence and Cloud Computing Conference - EI Compendex, Scopus
Kyoto, Japan
Dec 18, 2020
MLA 2021 : Where are the Wonder Girls? Heroines and Persistence in Campus Novels
Toronto, Canada
Jan 07, 2021
BI 2020 : 13th International Conference on Brain Informatics
Padova, Italy
Sep 18, 2020
CyRA 2020 : 1st International Workshop on Cyber Resilience and Antifragility in Complex, Distributed Systems
Washington DC
Aug 17, 2020
Accounting Principles 2020 : Mind the GAAP
Online
Mar 06, 2020
ICECCS 2020 : 25th International Conference on Engineering of Complex Computer Systems
Singapore
Oct 28, 2020
Agri Food Aqua 2020 : 2nd World Congress On Agri, Food & Aqua
Rome, Italy
Jul 13, 2020
IoTSMS 2020 : The 7th International Conference on Internet of Things
Milan, Italy
Oct 26, 2020
Charismatic Leadership 2020 : Be the Person People CHOOSE to Follow
Online
Feb 27, 2020
EAI ICDF2C 2020 : 11th EAI International Conference on Digital Forensics & Cyber Crime
Boston, United States
Oct 14, 2020
CSOC 2020 : CNIT International Workshop on Connected Societies
Cagliari, Italy
Sep 07, 2020
EAI BDCC 2020 : 3rd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing
Coimbatore, India
Dec 18, 2020
CHIRA 2020 : 4th International Conference on Computer-Human Interaction Research and Applications
Budapest, Hungary
Nov 05, 2020
ECTA 2020 : 12th International Conference on Evolutionary Computation Theory and Applications
Budapest, Hungary
Nov 02, 2020