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



FORMAL METHODS EVENTS

Filter: Formal Methods

Country



Categories



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  
ICFEM Doctoral Symposium 2019 : The 21st International Conference on Formal Engineering Methods - Doctoral Symposium
Shenzhen, China
When: Nov 5, 2019 - Nov 9, 2019 Submission Deadline: Jul 12, 2019
http://csse.szu.edu.cn/icfem2019/symposium.html • Background and Objectives • The ICFEM 2019 Doctoral Symposium is an international forum for PhD students working in all areas related to formal methods. The technical scope of the symposium including but not limited to the following: &bu...
FORMAL METHODS   PROGRAM ANALYSIS   SOFTWARE ENGINEERING  
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  
Overture 2019 : The 17th Overture Workshop on VDM
Porto, Portugal
When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jun 16, 2019
The 17th Overture Workshop will be held on 08 October 2019 in association with the the 3rd World Congress on Formal Methods (FM2019). • The 17th Overture Workshop is the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related to...
FORMAL METHODS   SOFTWARE   MODELLING   MBSE  
iFM 2019 : International Conference on integrated Formal Methods Conference Series : Integrated Formal Methods  
Bergen
When: Dec 4, 2019 - Dec 8, 2019 Submission Deadline: Jul 5, 2019
...
FORMAL METHODS   SOFTWARE ENGINEERING  
FHPNC 2019 : Functional High-Performance and Numerical Computing
Berlin, Germany
When: Aug 18, 2019 - Aug 18, 2019 Submission Deadline: May 25, 2019
The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or declarative programming languages or techniques in scientific computing, and specifically in the domains ...
HIGH-PERFORMANCE COMPUTING   DECLARATIVE LANGUAGES   FORMAL METHODS   NUMERICAL PROGRAMMING  
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  
FOSAD 2019 : 19th FOSAD Summerschool on Foundations of Security Analysis and Design Conference Series : Foundations of Security Analysis and Design  
Bertinoro, Italy
When: Aug 26, 2019 - Aug 30, 2019 Submission Deadline: Jul 5, 2019
• *** Application Deadline: July 5, 2019 • FOSAD has been one of the foremost events established • with the goal of disseminating knowledge about • foundations of security analysis and design to • graduate students and young computer scientists from • academia or ...
SECURITY   COMPUTER SCIENCE   FORMAL METHODS   INFORMATION TECHNOLOGY  
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  
FACS 2019 : Formal Aspects of Component Software Conference Series : Formal Aspects of Component Software  
Amsterdam
When: Oct 23, 2019 - Oct 25, 2019 Submission Deadline: Jul 12, 2019
** • ** Call for Papers: FACS 2019 • ** • ** 16th International Conference on • ** Formal Aspects of Component Software • ** • ** 23-25 October 2019, Amsterdam • ** • ** http://facs2019.org • ** • ## NEWS • * Deadline extension -- abs...
FORMAL METHODS   SOFTWARE ENGINEERING   MODELING   PROGRAMMING LANGUAGES  
FCS 2019 : Workshop on Foundations of Computer Security 2019
Hoboken, USA
When: Jun 24, 2019 - Jun 24, 2019 Submission Deadline: Apr 22, 2019
Computer security is an established field of both theoretical and practical significance. In recent years, there has been sustained interest in the formal foundations of methods used in computer security. The aim of the FCS 2019 workshop is to provide a forum for the discussion of continued research...
SECURITY   COMPUTER SCIENCE   FORMAL METHODS  


EVENTS RECENTLY ADDED

IRS 2020 : 1st International Workshop on Industrial Recommendation Systems
San Diego, CA
Aug 24, 2020
BIOKDD 2020 : 19th International Workshop on Data Mining in Bioinformatics
San Diego, CA - USA
Aug 24, 2020
FIM 2020 : SCMSPS 2020
Chennai, India
Nov 25, 2020
IMHE 2020 : First International Workshop on Intelligence Support for Mentoring Processes in Higher Education
Athens, Greece
Jun 08, 2020
CPS-Sec 2020 : 5th International Workshop on Cyber-Physical Systems Security
Avignon, France
Jun 29, 2020
CoNEXT 2020 : The 16th International Conference on emerging Networking EXperiments and Technologies
Barcelona, Spain
Dec 01, 2020
IMC 2020 : Internet Measurement Conference
Pittsburgh, US
Oct 27, 2020
eLife 2020 : Drive forward Research Communication and Culture
Cambridge, UK
Sep 02, 2020
ACSTY 2020 : 6th International Conference on Advances in Computer Science and Information Technology
Copenhagen, Denmark
Apr 25, 2020
ICOSP 2020 : 6th International Conference on Signal Processing
Amsterdam, The Netherlands
Oct 14, 2020
ICOAI 2020 : 7th International Conference on Artificial Intelligence
Amsterdam, The Netherlands
Oct 14, 2020
ICCSIT 2020 : 13th International Conference on Computer Science and Information Technology
Amsterdam, The Netherlands
Oct 14, 2020
ICTCE 2020 : 4th International Conference on Telecommunications and Communication Engineering
Singapore
Dec 04, 2020
ICIST 2020 : 3rd International Conference on Intelligent Science and Technology
Tokai University, Tokyo, Japan
Nov 27, 2020
IEEE ICCS 2020 : The 2nd International Conference on Circuits and Systems
Chengdu, China
Oct 16, 2020
ICSCC 2020 : 6th International Conference on Systems, Control and Communications
Chongqing, China
Dec 04, 2020
ICCIS 2020 : 5th International Conference on Communication and Information Systems
Chongqing, China
Dec 04, 2020
ICRAI 2020 : 6th International Conference on Robotics and Artificial Intelligence
Singapore
Nov 20, 2020
ICRAE 2020 : 5th International Conference on Robotics and Automation Engineering
Singapore
Nov 20, 2020
WSIM 2020 : International Workshop on Information Management
St.Petersburg, Russia
Oct 16, 2020