2nd call for participation: integrated Formal Methods (iFM) 2019 - Bergen, Norway (Dec 2-6)

by Lars Michael Kristensen, Oct. 30, 2019

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

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