Conference Information
iFM 2018: International Conference on integrated Formal Methods
Submission Date:
2018-04-25 Extended
Notification Date:
Conference Date:
Maynooth, Ireland
CORE: b   QUALIS: b1   Viewed: 11118   Tracked: 4   Attend: 0
Conference Location
Call For Papers
Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis: the combination of (formal and semi-formal) methods for system development, regarding both modelling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Areas of interest include but are not limited to:

     - Formal and semi-formal modelling notations
     - Combining formal methods
     - Integration of formal methods into software engineering practice
     - 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
Last updated by Dou Sun in 2018-04-22
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
CF'Cloud Forward Conference2015-07-132015-08-022015-10-06
cab1CoopISInternational Conference on Cooperative Information Systems2020-07-152020-08-132020-10-26
VANETInternational Workshop on VehiculAr Inter-NETworking, Systems, and Applications 2012-04-162012-06-25
a1IPTPSInternational workshop on Peer-To-Peer Systems 2010-02-282010-04-27
AMRMTInternational Conference on Advanced Materials Research and Manufacturing Technologies2021-08-102021-08-302021-10-15
WS-FMInternational Workshop on Web Services and Formal Methods 2012-07-212012-09-06
ISCTEEInternational Seminar on Information Science, Computer Technology and Electrical Engineering2017-08-11 2017-08-18
SIELAInternational Symposium on Electrical Apparatus and Technologies2018-02-15 2018-06-03
ba*b1IJCARInternational Joint Conference on Automated Reasoning2020-01-162020-03-202020-06-29
Related Journals
CCFFull NameImpact FactorPublisherISSN
bFormal Methods in System Design0.875Springer0925-9856
Sustainable Computing2.798Elsevier2210-5379
Computational Science and Engineering SoftwareRational Publication0000-0000
International Journal of Distributed and Parallel Systems AIRCC2229-3957
cIntegration, the VLSI Journal1.214Elsevier0167-9260
Journal of Enterprise Information Management2.126Emerald1741-0398
cThe Journal of Strategic Information Systems5.231Elsevier0963-8687
IPSJ Transactions on System LSI Design Methodology Information Processing Society of Japan1882-6687
Enterprise Information Systems1.908Taylor & Francis1751-7575
cDistributed and Parallel Databases0.757Elsevier0926-8782