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



FORMAL METHODS EVENTS

Filter: Formal Methods

Country



Categories



ABZ 2021 : 8th International Conference on Rigorous State Based Methods
Ulm
When: Jun 07, 2021 - Jun 11, 2021 Submission Deadline: Feb 22, 2021
The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardwar...
FORMAL METHODS   COMPUTER SCIENCE  
ESOP 2021 : 30th European Symposium on Programming
Luxembourg
When: Mar 27, 2021 - Apr 01, 2021 Submission Deadline: Oct 15, 2020
...
FORMAL METHODS   PARALLEL COMPUTING   PROGRAMMING   VERIFICATION  
FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems
Online
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 stimulate collaboration between the robotics and formal methods communities. This workshop will incl...
FORMAL METHODS   AUTONOMOUS SYSTEMS   ROBOTICS   FORMAL VERIFICATION  
FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering
Tehran, Iran
When: May 19, 2021 - May 21, 2021 Submission Deadline: Nov 01, 2020
FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer...
SOFTWARE ENGINEERING   FORMAL METHODS   SOFTWARE TESTING   COMPUTER SCIENCE  
ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
When: Nov 28, 2020 - Nov 30, 2020 Submission Deadline: Jul 15, 2020
The 4th Edition of the International Conference on Advanced Aspects of Software Engineering (ICAASE’20) will be held in November 28-30, 2020. The conference will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications in the domain of ...
SOFTWARE ENGINEERING   FORMAL METHODS   ARTIFICIAL INTELLIGENCE   EMERGING SYSTEMS  
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
When: Nov 25, 2020 - Nov 27, 2020 Submission Deadline: Jul 17, 2020
...
FORMAL METHODS   COMPUTER SCIENCE   SOFTWARE TESTING  
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
When: Dec 02, 2020 - Dec 04, 2020 Submission Deadline: Jun 26, 2020
Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience add...
FORMAL METHODS   COMPUTER SCIENCE   SOFTWARE TESTING   EMBEDDED SYSTEMS  
iFM 2020 : 16th International Conference on integrated Formal Methods
Lugano, Switzerland
When: Nov 16, 2020 - Nov 20, 2020 Submission Deadline: Jun 22, 2020
The Integrated Formal Methods (iFM) conference series targets research in formal approaches that combine different methods for modeling and analysis. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and the...
FORMAL METHODS   MODELING   SOFTWARE ENGINEERING  
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification: Theory and Applications
Moscow, Russia
When: Nov 03, 2020 - Nov 04, 2020 Submission Deadline: Sep 14, 2020
Program Committee solicites regular research submissions in the form of extended abstracts (up to 8 pages, LNCS style) in English (additional details could be included in an appendix up to 4 pages for Program Committee), each regular research submission will be reviewed by 3 PC members; work...
FORMAL METHODS   SEMANTICS  
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems
L'Aquila, Italy
When: Sep 14, 2020 - Sep 15, 2020 Submission Deadline: Jun 24, 2020
The main objective of the workshop is to foster the integration between the formal methods and the software architecture communities, and to foster cooperation between them. We encourage researchers and practitioners to share novel ideas, methods, techniques, and tools, that seek significant achieve...
FORMAL METHODS   SOFTWARE ENGINEERING   SOFTWARE ARCHITECTURE  
CPP 2021 : Certified Programs and Proofs
Copenhagen, Denmark
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 their work. CPP spans areas of computer science, mathematics, logic, and education. • CPP 2021 wil...
COMPUTER SCIENCE   VERIFICATION   MATHEMATICS   FORMAL METHODS  
ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment
Amsterdam, The Netherlands
When: Sep 15, 2020 - Sep 15, 2020 Submission Deadline: Jun 16, 2020
ASYDE 2020 is the 2nd International Workshop on Automated and verifiable Software sYstem DEvelopment, co-located with the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020). • ASYDE 2020 provides a forum for researchers and practitioners to propose and discuss ...
SOFTWARE ENGINEERING   FORMAL METHODS   MACHINE LEARNING  
GraMSec 2020 : The 7th International Workshop on Graphical Models for Security
Online
When: Jun 22, 2020 - Jun 22, 2020 Submission Deadline: Apr 24, 2020
The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security researchers, as well as security professionals from the industry and government, have proposed various gra...
SECURITY   FORMAL METHODS   VISUALIZATION   COMPUTER SCIENCE  
QEST 2020 : International Conference on Quantitative Evaluation of SysTems
Vienna, Austria
When: Aug 31, 2020 - Sep 03, 2020 Submission Deadline: Apr 03, 2020
The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements. Performance metrics of interest include response time, reliability, availability, safety, sec...
FORMAL METHODS   SECURITY  
CONISOFT 2020 : 8th International Conference on Software Engineering Research and Innovation
Chetumal, Quintana Roo, Mexico
When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: May 22, 2020
The 8th International Conference in Software Engineering Research and Innovation (CONISOFT’20) will be held at the Instituto Tecnológico de Chetumal (Technological Institute of Chetumal), in Chetumal City, State of Quintana Roo, Mexico. November 04th-06th, 2020. The purpose of...
SOFTWARE ENGINEERING   FORMAL METHODS  
SETTA 2020 : Symposium on Dependable Software Engineering Theories, Tools and Applications
Guangzhou, China
When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Jul 04, 2020
The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Guangzhou China on November 24-27, 2020. SETTA 2020 will be sponsored by Institute of Software Chinese Academy of Sciences and organised by Institute of Intelligent Software, Guangzhou. ...
FORMAL METHODS   EMBEDDED SYSTEMS   SOFTWARE ENGINEERING   SAFETY  
WiL 2020 : 4th Women in Logic Workshop
Paris, France
When: Jun 30, 2020 - Jun 30, 2020 Submission Deadline: Apr 22, 2020
Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. The Women in Logic workshop (WiL) provides an opportunity to increas...
ARTIFICIAL INTELLIGENCE   BIOINFORMATICS   FORMAL METHODS  
GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification
Brussels, Belgium
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 a workshop on Stochastic Games organised by the GAMENET network (https://gametheorynetwork.com) whi...
COMPUTER SCIENCE   FORMAL METHODS   GAMES   THEORETICAL COMPUTER SCIENCE  
DAWSN 2020 : Special Issue - Distributed Algorithms for Wireless Sensor Networks
Submission Deadline: Oct 01, 2020
Today, the growing interest in Wireless Sensor Networks has led to their deployment at large scale in several fields ranging from environmental monitoring to smart transportation, industrial systems, health and biomedical systems, intelligent environments, etc. Sensors being a key component of the I...
DISTRIBUTED COMPUTING   WIRELESS NETWORKS   FORMAL METHODS   NETWORKING  
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  
ICE 2020 : 13th Interaction and Concurrency Experience
University of Malta, Valletta
When: Jun 19, 2020 - Jun 20, 2020 Submission Deadline: Apr 22, 2020
Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions. The general scope of the venue includes th...
COMPUTER SCIENCE   CONCURRENCY   FORMAL METHODS   PROGRAMMING LANGUAGES  
FMICS 2020 : 25th International Conference on Formal Methods for Industrial Critical Systems
Vienna, Austria
When: Sep 02, 2020 - Sep 03, 2020 Submission Deadline: May 15, 2020
The aim of FMICS is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the...
FORMAL METHODS  
EXPRESS/SOS 2020 : Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Vienna, Austria
When: Aug 31, 2020 - Aug 31, 2020 Submission Deadline: Jun 26, 2020
The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programming concepts (such as concurrent, functional, imp...
FORMAL METHODS   SEMANTICS   THEORETICAL COMPUTER SCIENCE   LOGIC  
TTCS 2020 : Topics in Theoretical Computer Science
Tehran, Iran
When: Jul 01, 2020 - Jul 03, 2020 Submission Deadline: Feb 16, 2020
TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science.  • There will be a number of sate...
COMPUTER SCIENCE   MACHINE LEARNING   FORMAL METHODS   SECURITY  
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  
ABZ 2020 : 7th International Conference on Rigorous State Based Methods Conference Series : Abstract State Machines, Alloy, B and Z  
Ulm, Germany
When: May 27, 2020 - May 29, 2020 Submission Deadline: Jan 20, 2020
ABZ 2020: International Conference on Rigorous State Based Methods • ------------------------------------------------------------------------------------------------ • First Call for Papers, Answers to case studies, Workshops, Tutorials • ----------------------------------------------...
COMPUTER SCIENCE   FORMAL METHODS   FORMAL SPECIFICATION   RIGOROUS METHODS  
CoSim-CPS 2019 : 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems
Oslo, Norway
When: Sep 16, 2019 - Sep 17, 2019 Submission Deadline: Jul 1, 2019
# CoSim-CPS-19: 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems • **Oslo, Norway, September 16-17, 2019** • ## Overview • **Conference website:** https://sites.google.com/view/cosimcps19 • **Submission link:** https://easychair.org/conferences/?conf=cosimcps19 ...
FORMAL METHODS   CO-SIMULATION   MODELLING   SAFETY  


EVENTS RECENTLY ADDED

RAMS 2021 : Annual Reliability and Maintainability Symposium
Orlando, USA
Jan 25, 2021
ESREL 2020 : 30th European Safety and Reliability Conference
Venice, Italy
Nov 01, 2020
PSAM 2020 : 15th Probabilistic Safety Assessment and Management Conference
Venice, Italy
Nov 01, 2020
ASAT 2021 : 19th International Conference on Aerospace Sciences & Aviation Technology
Cairo, Egypt
Apr 06, 2021
CLSB 2020 : International Conference on Cloud Computing, Security and Blockchain
Sydney, Australia
Oct 24, 2020
ICISCE 2020 : 7th International Conference on Information Science and Control Engineering
Changsha, Hunan, China
Dec 18, 2020
Med-Climate 2020 : The Mediterranean and climate change
Virtual
Oct 28, 2020
SAFEPROCESS 2021 : 11th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes
Pafos, Cyprus
Jun 08, 2021
Romantic Ethics 2022 : Romantic Ethics and the Woke Romantics - Edited Volume, Anglistik und Englischunterricht

Online Live SecITC 2020 : International Conference on Information Technology and Communications
Online via Zoom
Nov 19, 2020
DeepWind 2021 : EERA DeepWind
Trondheim, Norway
Jan 13, 2021
KSEM 2021 : The 14th International Conference on Knowledge Science, Engineering and Management
Tokyo, Japan
Aug 14, 2021
NWCOM 2020 : 6th International Conference on Networks & Communications
Sydney, Australia
Oct 24, 2020
ICxS 2021 : 6th Special Session on Intelligent and Contextual Systems
Phuket/online
Apr 07, 2021
FI-CyberSec 2021 : Feature Papers for Future Internet - Cybersecurity Section

NLPD 2020 : International Conference on NLP & Big Data
Copenhagen, Denmark
Sep 26, 2020
ArIT 2020 : International Conference on Advances in Artificial Intelligence Techniques
Copenhagen, Denmark
Sep 26, 2020
SANER 2021 : The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
Virtual
Mar 09, 2021
Art Machines 2021 : International Symposium on Machine Learning and Art
Hong Kong
Jun 10, 2021
VLDB 2021 : 47th International Conference on Very Large Data Bases
Copenhagen, Denmark
Aug 16, 2021