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

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

[Ingrid Chieh Yu]

[-- Attachment #1: Type: text/plain, Size: 2970 bytes --]


********************************************************************************
                         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<mailto:ingridcy@ifi.uio.no>



[-- Attachment #2: Type: text/html, Size: 7714 bytes --]