IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
iFM 2020 : 16th International Conference on integrated Formal Methods
iFM 2020 : 16th International Conference on integrated Formal Methods

iFM 2020 : 16th International Conference on integrated Formal Methods

Lugano, Switzerland
Event Date: November 16, 2020 - November 20, 2020
Abstract Submission Deadline: June 15, 2020
Submission Deadline: June 22, 2020
Camera Ready Version Due: August 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 Papers

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



Summary

iFM 2020 : 16th International Conference on integrated Formal Methods will take place in Lugano, Switzerland. It’s a 5 days event starting on Nov 16, 2020 (Monday) and will be winded up on Nov 20, 2020 (Friday).

iFM 2020 falls under the following areas: FORMAL METHODS, MODELING, SOFTWARE ENGINEERING, etc. Submissions for this Conference can be made by Jun 22, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 14, 2020 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the iFM 2020

  • Short Name: iFM 2020
  • Full Name: 16th International Conference on integrated Formal Methods
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of iFM 2020
  • Event Type: Conference
  • Website Link: https://ifm20.si.usi.ch/
  • Location/Address: Lugano, Switzerland


Credits and Sources

[1] iFM 2020 : 16th International Conference on integrated Formal Methods


Check other Conferences, Workshops, Seminars, and Events


OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER MODELING EVENTS

MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
GMP 2025: Geometric Modeling and Processing
St. Louis, MO, USA
May 28, 2025
APDSP--EI 2026: 2026 10th Asia-Pacific Digital Signal Processing Conference (APDSP 2026)
Chengdu, China
Feb 28, 2026
VMV 2025: Vision Modeling and Visualization
Erlangen, Germany
Sep 29, 2025
ICAMMIS 2025: 2025 International Conference on Applied Mathematics, Modeling, and Information Security
Nanjing
Jun 14, 2025
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL