12th International Conference on integrated Formal Methods (iFM 2016)

June 1- 3, 2016

Iceland

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 modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. 

Topics

Formal and semi-formal modelling notations 
Integration of formal methods into software engineering practice 
Hybrid systems 
Program verification 
Program synthesis 
Model checking 
Static analysis 
Runtime analysis, monitoring, performance evaluation 
Decision procedures, SAT and SMT solving 
Software engineering 
Component-based systems (compositional, embedded, distributed,...) 
Testing 
Abstraction and refinement 

IMPORTANT DATES

Paper submission: January 13, 2016 

                       

Notification of acceptance: February 29, 2016 

           

Final manuscripts due: March 14, 2016 

                       

Conference dates:  June 1-3, 2016 

User Name : MANI
Posted on

Related CFPs

IJCCMS   International Journal of Chaos, Control, Modelling and Simulation
CGDEIJ   Computer Game Development and Education
IEIJ   Informatics Engineering, an International Journal
IJGTT   International Journal of Game Theory and Technology