View source for IFM 2017

{{Event
|Acronym=IFM 2017
|Title=13th International Conference on Integrated Formal Methods
|Series=IFM
|Type=Conference
|Start date=2017/09/18
|End date=2017/09/22
|City=Turin
|Country=Italy
|Submitted papers=61
|Accepted papers=24
|Accepted short papers=4
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-66845-1#toc
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line

==Topics==
==Submissions==
==Important Dates==

==Committees==
* Co-Organizers
* General Co-Chairs
** [[has general chair::some person]], some affiliation, country

* PC Co-Chairs
** [[has program chair::some person]], some affiliation, country

* Workshop Chair
** [[has workshop chair::some person]], some affiliation, country

* Panel Chair
** [[has OC member::some person]], some affiliation, country

* Seminars Chair
** [[has tutorial chair::some person]], some affiliation, country

* Demonstration Co-Chairs
** [[has demo chair::some person]], some affiliation, country
** [[has demo chair::some person]], some affiliation, country

* Local Organizing Co-Chairs
** [[has local chair::some person]], some affiliation, country

* Program Committee Members
** [[has PC member::some person]], some affiliation, country
-->