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

http://ifm2019.hvl.no/

===========================================================

                  CALL FOR PARTICIPATION

                         iFM 2019    

 

15th International Conference on integrated Formal Methods 

           December 2-6, 2019 - Bergen, Norway

 

                   http://ifm2019.hvl.no/

===========================================================

 

=== Registration ===

 

https://ifm2019.hvl.no/registration/

 

Early registration deadline: November 6

 

https://en.visitbergen.com

 

=== Keynote speakers ===

 

Corina Pasareanu - Safe Deep Neural Networks

NASA Ames and Carnegie Mellon University, United States

https://ti.arc.nasa.gov/profile/pcorina/

 

Jean-Christophe Filliatre - Deductive Verification of OCaml Libraries

CNRS, France

https://www.lri.fr/~filliatr/

 

Tiziana Margaria - The Digital Thread in Industry 4.0

University of Limerick and Confirm, Ireland

https://www.lero.ie/people/tiziana-margaria

 

Accepted papers: https://ifm2019.hvl.no/accepted/

 

=== 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: https://ifm2019.hvl.no/registration/#pp

 

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