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



iFM 2020 : 16th International Conference on integrated Formal Methods

Lugano, Switzerland
Event Date: Nov 16, 2020 - Nov 20, 2020
Abstract Submission Deadline: Jun 15, 2020
Submission Deadline: Jun 22, 2020
Camera Ready Version Due : Aug 14, 2020

About

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 their integration into software engineering practice.

Call For Paper

Areas of interest include but are not limited to:

  • Formal and semi-formal modelling notations
  • Combining formal methods with different simulation and system analysis techniques
  • Program verification, model checking, and static analysis
  • Theorem proving, decision procedures, SAT/SMT solving
  • Runtime analysis, monitoring, and testing
  • Program synthesis
  • Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems
  • Abstraction and refinement
  • Model learning and inference
  • Approaches to integrating formal methods into software engineering practice

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER FORMAL METHODS EVENTS

SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
Dec 02, 2020
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification
Moscow, Russia
Nov 03, 2020
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems
L'Aquila, Italy
Sep 14, 2020
CPP 2021 : Certified Programs and Proofs
Copenhagen, Denmark
Jan 18, 2021

OTHER MODELING EVENTS

CMC 2020 : 6th International Conference on Control, Modeling and Computing
Toronto, Canada
Jul 11, 2020
Eclipse SAM IoT 2020 : First Eclipse International Conference on Security, Artificial Intelligence and Modelling for the next generation Internet of Things
Online
Sep 17, 2020
MODELSWARD 2021 : 9th International Conference on Model-Driven Engineering and Software Development
Vienna, Austria
Feb 08, 2021
ATMOS 2020 : Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems
Pisa, Italy
Sep 07, 2020
SIMUL 2020 : The Twelfth International Conference on Advances in System Simulation
Porto, Portugal
Oct 18, 2020

OTHER SOFTWARE ENGINEERING EVENTS

WESOACS 2020 : 16th International Workshop on Engineering Service-Oriented Applications and Cloud Services
Heraklion, Crete, Greece
Sep 28, 2020
CICCSI 2020 : IV International Congress of Computer Sciences and Information Systems
Mendoza, Argentina
Nov 19, 2020
SEA 2020 : 9th International Conference on Software Engineering and Applications
London, United Kingdom
Jul 25, 2020
ESES 2020 : Evolving Software Ecosystems and Services
Nice, France
Jul 26, 2020
CSITY 2020 : 6th International Conference on Computer Science, Engineering and Information Technology
Sydney, Australia
Oct 24, 2020