[Caml-list] [iFM'17] Call for Participation for the International Conference on integrated Formal Methods 2017

********************************************************************************

                         iFM 2017 - CALL FOR PARTICIPATION

              13th International Conference on integrated Formal Methods

                          18-22 September 2017, Turin, Italy

                             http://ifm2017.di.unito.it/

********************************************************************************

We warmly invite you to take part in the 13th International Conference on 

integrated Formal Methods, which will take place at Turin University between 

Monday 18 and Friday 22 September, 2017.

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.

VENUE

=====

University of Turin, Italy

REGISTRATION

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

* Registration is now open at http: http://ifm2017.di.unito.it/registration.php

* Early registration deadline: Monday, July 24, 2017

RESEARCH PROGRAM

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

Preliminary program is available at http://ifm2017.di.unito.it/program.php

INVITED SPEAKERS

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

* Jane Hillston (University of Edinburgh, UK)

* André Platzer (Carnegie Mellon University, USA)

* Matrin Vechev (ETH Zurich, Switzerland)

DOCTORAL SYMPOSIUM

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

The doctoral symposium offers an excellent opportunity to PhD students and young 

researchers to present their work in an international setting, and to get 

feedback from senior researchers in the field.

CO-LOCATED WORKSHOPS

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

* FMICS-AVoCS: International Workshop on Formal Methods for Industrial Critical 

  Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)

* ALP4IoT: Architectures, Languages and Paradigms for IoT

* WAO: Actors and Active Objects

* FVAV: Formal Verification of Autonomous Vehicles

* PrePost: Pre- and post-deployment verification techniques

* V2CPS: Verification and Validation of Cyber-Physical Systems

UPDATES

=======

For up-to-date information, please check iFM's website and Twitter:

Website:      http://ifm2017.di.unito.it/

Twitter:      https://twitter.com/iFMconf, @iFMconf

—

Ingrid Chieh Yu

Associate professor
Dept. of Informatics, University of Oslo
Tel + 47 2284 5525, email ingridcy@ifi.uio.no