CfParticipation: integrated Formal Methods (iFM) 2019 - Bergen, Norway (Dec 2-6)

by Lars Michael Kristensen, Oct. 2, 2019

15th International Conference on integrated Formal Methods
December 2-6, 2019 - Bergen, Norway


                  CALL FOR PARTICIPATION

                         iFM 2019    


15th International Conference on integrated Formal Methods 

           December 2-6, 2019 - Bergen, Norway





=== Registration ===


Early registration deadline: November 6


=== Keynote speakers ===


Corina Pasareanu - Safe Deep Neural Networks

NASA Ames and Carnegie Mellon University, United States


Jean-Christophe Filliatre - Deductive Verification of OCaml Libraries

CNRS, France


Tiziana Margaria - The Digital Thread in Industry 4.0

University of Limerick and Confirm, Ireland


Accepted papers:


=== Tutorials and Workshops ===


1st International Workshop on "Formal Methods - Fun for Everybody"


PhD Symposium on Formal Methods: Algorithms, Tools and Applications


Workshop on Formal Methods and Artificial Intelligence for Logistics


Tutorial on Refactoring


COEMS Workshop on Continuous Observation of Embedded Multicore Systems


Preliminary programme:


=== About the iFM conference ===


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: 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.


iFM 2019 is organized by The Western Norway University of Applied Sciences,

with support from the Research Council of Norway and Springer.