[TYPES/announce] [iFM'17] Call for Participation for the International Conference on integrated Formal Methods 2017

[Christoph Seidl]

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

-- 
Dr.-Ing. Christoph Seidl
Wissenschaftlicher Mitarbeiter
Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig

Tel.:(+49) 531 391-2296

E-Mail: c.seidl at tu-braunschweig.de
Skype: christoph.seidl.tud

Besucheradresse:
Raum IZ 417 (TU Braunschweig)
Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

DeltaEcore - Plug & Play Variability for Models http://www.deltaecore.org