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
-->
Acceptance rate	39.3 +
Accepted papers	24 +
Accepted short papers	4 +
Acronym	IFM 2017 +
End date	September 22, 2017 +
Event in series	IFM +
Event type	Conference +
Has coordinates	45° 4' 4", 7° 40' 57"Latitude: 45.067755555556 Longitude: 7.6824888888889 +
Has location city	Turin +
Has location country	Category:Italy +
IsA	Event +
Start date	September 18, 2017 +
Submitted papers	61 +
Title	13th International Conference on Integrated Formal Methods +